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
RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution)
Edition
1. vyd. Brno, 348 pp. 2015
Publisher
Masarykova univerzita
Other information
Language
Czech
Type of outcome
Textbook
Field of Study
60300 6.3 Philosophy, Ethics and Religion
Country of publisher
Czech Republic
Confidentiality degree
is not subject to a state or trade secret
RIV identification code
RIV/00216224:14210/15:00114956
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
Reviewed
Changed: 19/6/2020 12:16, prof. PhDr. BcA. Jiří Raclavský, Ph.D.
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 |
|