b 2015

Úvod do logiky: klasická výroková logika

RACLAVSKÝ, Jiří

Základní údaje

Originální název

Úvod do logiky: klasická výroková logika

Název anglicky

[Introduction to Logic: Classical Propositional Logic

Autoři

RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí)

Vydání

1. vyd. Brno, 238 s. 2015

Nakladatel

Masarykova univerzita

Další údaje

Jazyk

čeština

Typ výsledku

Učebnice

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Česká republika

Utajení

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

Kód RIV

RIV/00216224:14210/15:00114955

Organizační jednotka

Filozofická fakulta

ISBN

978-80-210-7790-4

Klíčová slova anglicky

propositional logic; logical connectives; argument validity; entailment; deduction

Příznaky

Recenzováno
Změněno: 19. 6. 2020 12:16, prof. PhDr. BcA. Jiří Raclavský, Ph.D.

Anotace

ORIG EN

V originále

Kniha "Úvod do logiky: klasická výroková logika" je první čá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é výrokové 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ů.

Anglicky

The book "Introduction to Logic: Classical Propositional 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.

Návaznosti

CZ.1.07/2.2.00/28.0216, interní kód MU
Název: Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (Akronym: logika-ramec-rozvoje)
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia, 2.2 Vysokoškolské vzdělávání