Pavel Materna
Umíte logicky myslet?

1968 | Státní pedagogické nakladatelství

V úvodních statích vysvětluje autor, co je věcná a formální správnost myšlení a jaké jsou jeho vztahy k jazyku a k formální logice. Pak přistupuje k problematice jazyka, pravdivosti výroků a k rozboru jednoduchých příkladů logického myšlení, k jejichž vyjádření použil symbolů matematické logiky. Postup formalizace teor…ie ukazuje na příkladu formalizace výrokové logiky. Přitom se nejprve vytváří tzv. formalizovaný jazyk, volí se výchozí aximy a stanoví se pravidla pro odvozování dalších formulí. Z příkladů v knize uvedených se čtenář poučí o charakteru dokazování jeho syntaktického postupu a o charakteru sémantického ověřování. V úvodních statích vysvětluje autor, co je věcná a formální správnost myšlení a jaké jsou jeho vztahy k jazyku a k formální logice. Pak přistupuje k problematice jazyka, pravdivosti výroků a k rozboru… jednoduchých příkladů logického myšlení, k jejichž vyjádření použil symbolů matematické logiky. Postup formalizace teorie ukazuje na příkladu formalizace výrokové logiky. Přitom se nejprve vytváří tzv. formalizovaný jazyk, volí se výchozí aximy a stanoví se pravidla pro odvozování dalších formulí. Z příkladů v knize uvedených se čtenář poučí o charakteru dokazování jeho syntaktického postupu a o charakteru sémantického ověřování.

Stav

Dobrý

natrhnutý hřbet, lehké oděrky

Skladem pro e-shop

O knize

Stav:	Dobrý, natrhnutý hřbet, lehké oděrky
Vazba:	brožovaná
Počet stran:	131
Jazyk:	česky
Edice:	Knižnica všeobecného vzdelania, Knižnice všeobecného vzdělání. Řada Horizont
Vydání:	1. vyd.
Vydáno v:	Praha
Vystaveno:	26. 6. 2024 9:44
Číslo položky:	886304

O autorovi

Pavel Materna

Pavel Materna je český logik. Pavel Materna se narodil 21. dubna 1930 v Hněvkovicích. Vystudoval Filozofickou fakultu UK , aspiranturu z logiky ukončil v roce 1957 kandidaturou. V roce 1967 se stal docentem logiky, v letech 1969–1989 mu však bylo v další akademické dráze z politických důvodů zabráněno. Od roku 1990 vědecký pracovník Filozofického ústavu AV ČR. Od roku 1991 profesor logiky na Filozofické fakultě Masarykovy univerzity v Brně a také přednášející na Vídeňské univerzitě. Profesor Materna patří k mezinárodně uznávaným odborníkům v oblasti logické analýzy přirozeného jazyka. Patří ke známým osobnostem školy tzv. transparentní intenzionální logiky – originálního systému, který v průběhu sedmdesátých a osmdesátých let minulého století během svého působení na novozélandské University of Otago vytvořil český logik a filozof Pavel Tichý. Profesor Materna s Tichým od počátku úzce spolupracoval a po jeho smrti se ujal obhajoby a rozvíjení jeho myšlenkového odkazu. V roce 2000 byl oceněn Medailí Ministerstva školství, mládeže a tělovýchovy 1. stupně. V roce 2005 mu byla udělena Medaile Josefa Hlávky. V roce 2011 FÚ AV ČR udělil M. Duží, B. Jespersenovi a P. Maternovi za knihu Procedural Semantics for Hyperintensional Logic, Foundations and Applications of Transparent Intensional Logic cenu Za vynikající vědecký výsledek. Seznam děl v Souborném katalogu ČR, jejichž autorem nebo tématem je Pavel Materna

Více od autora