Název:
Hypotetické soudy, pravdivost a tvrditelnost
Překlad názvu:
Hypothetical Judgements, Truth and Assertibility
Autoři:
Punčochář, Vít ; Kolman, Vojtěch (vedoucí práce) ; Sedlár, Igor (oponent) ; Bílková, Marta (oponent) Typ dokumentu: Disertační práce
Rok:
2016
Jazyk:
cze
Abstrakt: [cze][eng] Vít Punčochář Disertační práce na téma: Hypotetické soudy, pravdivost a tvrditelnost Abstrakt: Základním tématem této disertační práce je logika indikativních kondicionálních vět, tj. vět, které mají obvykle tvar Pokud A, tak B. V klasické logice jsou tyto věty analyzovány pomocí tzv. materiální implikace, avšak tato analýza je v mnoha ohledech problematická. Část této práce je věnována rozboru problémů, se kterými se musíme potýkat, když chceme modelovat indikativní kondicionální věty pomocí standardní sémantiky klasické logiky. Je přitom kladen důraz na zdánlivě paradoxní situaci, v níž se přitom ocitáme. Některé obecné principy klasické logiky (jako třeba ten, podle něhož můžeme z věty Platí A nebo B odvodit větu Pokud A neplatí, tak platí B) vypadají na první pohled zcela nezpochybnitelně, avšak přitom mají velmi kontroverzní důsledky. V práci jsou představeny jak pokusy o obhajobu klasické logiky, tak i pokusy o její revizi. Přístupy k logické analýze kondicionálních vět jsou v předkládané práci rozděleny na dva základní druhy: ontický a epistemický. Ontický přístup vymezuje všechny klíčové sémantické pojmy pomocí pojmu pravdivosti, která se v logice chápe jako vztah mezi větami daného jazyka a stavy světa. Oproti tomu epistemický přístup se neopírá o pojem pravdivosti, nýbrž o pojem tvrditelnosti....Vít Punčochář Dissertation: Hypothetical Judgements, Truth and Assertibility Abstract: The main topic of this thesis is the logic of indicative conditionals, i.e. sentences of the form If A then B. In classical logic, these sentences are analysed with the help of the so- called material implication. However, the analysis is problematic in many respects. Some chapters of the thesis are devoted to the explanation of the problems, which one necessarily faces when analysing conditionals with the apparatus of standard classical logic. The stress is laid upon the fact that here we are led to a paradoxical situation: some general principles of classical logic (e.g. the principle according to which one can infer If not-A then B from A or B) seem to be unquestionable, but they have very controversial consequences. In the thesis, attempts are presented to defend classical logic as well as to revise it. The approaches to the logical analysis of conditionals are classified into two basic kinds: the first one might be called ontic and the second one epistemic. The ontic approach defines all crucial semantic notions in terms of the concept of truth that is modelled in logic as a relation between sentences of a given language and states of affairs. In contrast, the epistemic approach is not based on the concept of truth...
Klíčová slova:
inkvizitivní sémantika; intuicionistická logika; Kondicionální věty; pragmatika; pravdivost; sémantika; tvrditelnost; assertibility; Conditionals; inquisitive semantics; intuitionistic logic; pragmatics; semantics; truth