Stav: |
Velmi dobrý, podpis majitele, lehce uhnuté desky
|
Dostupnost: | Skladem pro e-shop |
Vazba: | Brožovaná |
Počet stran: | 131 |
Jazyky: |
![]() |
Edice: | Knižnica všeobecného vzdelania 2x, Knižnice všeobecného vzdělání. Řada Horizont 1x |
Vydání: | 1. vyd. |
Vydáno v: | Praha |
Vystaveno: | út 30. dubna 2024 13:33 |
Číslo položky: | 830991 |
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í.
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
Objednávkám nad 699 Kč
Sběratelské kusy i knižní novinky
A s radostí
Za hotové a s vlastním odvozem