Sémantika logiky - Semantics of logic
 | tento článek potřebuje další citace pro ověření. (Dubna 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
v logika, sémantika logiky nebo formální sémantika je studium sémantiky, nebo interpretace, z formální a (idealizace) přirozené jazyky obvykle se snaží zachytit předteoretickou představu o obviňování.
Přehled
Pravdivé podmínky různých vět, se kterými se můžeme setkat argumenty bude záviset na jejich významu, a logičtí pracovníci se tak nemohou zcela vyhnout potřebě určitého zacházení s významem těchto vět. Sémantika logiky odkazuje na přístupy, které logici zavedli k pochopení a určení té části významu, o kterou se zajímají; logik se tradičně nezajímá o vyslovenou větu, ale o tvrzení, idealizovaná věta vhodná pro logickou manipulaci.[Citace je zapotřebí ]
Až do příchodu moderní logiky Aristoteles je Organon, zvláště De Interpretatione, poskytl základ pro pochopení významu logiky. Zavedení kvantifikace, potřebné k vyřešení problém více obecnosti, znemožnil druh subjektu - predikátové analýzy, která se řídila Aristotelovým účtem, i když existuje obnovený zájem o termínová logika, pokoušet se najít kameny v duchu Aristotelova sylogismu, ale s obecností moderní logiky založené na kvantifikátoru.
Hlavní moderní přístupy k sémantice pro formální jazyky jsou následující:
- Archetyp model-teoretická sémantika je Alfred Tarski je sémantická teorie pravdy, na základě jeho T-schéma, a je jedním ze zakládajících konceptů teorie modelů. Toto je nejrozšířenější přístup a je založen na myšlence, že význam různých částí propozic je dán možnými způsoby, jak z nich můžeme rekurzivně specifikované skupině interpretačních funkcí přiřadit některé předem definované matematické oblasti: výklad z predikátová logika prvního řádu je dáno mapováním z pojmů do vesmíru Jednotlivci a mapování od výroků k hodnotám pravdy „true“ a „false“. Model-teoretická sémantika poskytuje základy pro přístup k teorii významu známé jako podmíněná sémantika pravdy, který propagoval Donald Davidson. Kripkeho sémantika zavádí inovace, ale je obecně v Tarskianské formě.
- Důkazová teoretická sémantika spojuje význam výroků s rolemi, které mohou v závěrech hrát. Gerhard Gentzen, Dag Prawitz a Michael Dummett jsou obecně považováni za zakladatele tohoto přístupu; je silně ovlivněn Ludwig Wittgenstein pozdější filozofie, zejména jeho aforismus „význam je použití“.
- Sémantika hodnoty pravda (také běžně označované jako substituční kvantifikace) byl zastán Ruth Barcan Marcus pro modální logiku na počátku 60. let a později prosazované J. Michael Dunn, Nuel Belnap a Leblanc pro standardní logiku prvního řádu. James Garson přinesla určité výsledky v oblastech přiměřenosti pro intenzionální logika vybavené takovou sémantikou. Pravdivé podmínky pro kvantifikované vzorce jsou uvedeny čistě ve smyslu pravdy bez odvolání k doménám (a tedy i jejímu názvu) sémantika pravdivostní hodnoty).
- Sémantika hry nebo herně teoretická sémantika došlo k oživení hlavně kvůli Jaakko Hintikka pro logiku (konečné) částečně objednané kvantifikace, kterou původně zkoumal Leon Henkin, který studoval Henkinovy kvantifikátory.
- Pravděpodobnostní sémantika pochází z H. Fielda a bylo prokázáno, že je rovnocenné s přirozeným zobecněním sémantiky hodnoty pravdy. Stejně jako sémantika pravdivostní hodnoty má také nereferenční povahu.
Viz také
Reference
- Jaakko Hintikka (2007), Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning, Cambridge: Cambridge University Press.
- Ilkka Niiniluoto (1999), Kritický vědecký realismus, Oxford: Oxford University Press.