b 2015

Úvod do logiky: klasická predikátová logika

RACLAVSKÝ, Jiří

Basic information

Original name

Úvod do logiky: klasická predikátová logika

Name (in English)

[Introduction to Logic: Classical Predicate Logic

Authors

Edition

1. vyd. Brno, 348 pp. 2015

Publisher

Masarykova univerzita

Other information

Language

Czech

Type of outcome

Učebnice

Field of Study

60300 6.3 Philosophy, Ethics and Religion

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

Organization unit

Faculty of Arts

ISBN

978-80-210-7867-3

Keywords in English

predicate logic; first-order logic; quantifiers; argument validity; entailment; deduction

Tags

Tags

Reviewed
Změněno: 17/9/2015 15:08, Mgr. Radka Vyskočilová

Abstract

ORIG EN

V originále

Kniha Úvod do logiky: klasická predikátová logika je druhou částí vícedílného úvodu do logiky, jenž je zaměřen především na humanitní a společenskovědní publikum a další zájemce o logiku. Kromě důležitých poznatků o klasické predikátové logice jako takové je čtenář postupně seznamován jednak s metodami prošetřování sémantických vlastností formulí a metodami formálního dokazování, jednak s aplikacemi tohoto na oblast přirozeného jazyka. V knize najde čtenář rovněž řadu praktických cvičení, v nichž se kromě formálních postupů naučí zejména pohotově budovat ekvivalenty či negace vět a ověřovat platnost úsudků.

In English

The book "Introduction to Logic: Classical Predicate Logic" is the first part of an introduction to logic which is intended primarily for students in humanities and related subjects. The book presents not only the main information about propositional logic, whereas an accent is put on the notion of entailment. The reader is gradually introduced to techniques enabling investigation of semantic properties of formulas and methods of formal demonstration as well as their applications in the field of natural language. The book involves a number of practical examples; a great portion of them practise constructing negations, equivalents and checking arguments.

Links

CZ.1.07/2.2.00/28.0216, interní kód MU
Name: Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (Acronym: logika-ramec-rozvoje)
Investor: Ministry of Education, Youth and Sports of the CR, 2.2 Higher education