Filozofie logiky - Philosophy of logic

V návaznosti na vývoj filozofického studia formální logiky se symbolickou logikou na konci devatenáctého století a matematické logiky ve dvacátém století se témata tradičně zpracovaná logikou, která není součástí formální logiky, obvykle označují jako filozofie logiky nebo filozofická logika, pokud ne delší prostě logika .

Ve srovnání s historií logiky je vymezení filozofie logiky a filozofické logiky nedávné ražení mincí a ne vždy zcela jasné. Charakteristiky zahrnují:

• Filozofie logiky je oblast filozofie věnovaná zkoumání rozsahu a povahy logiky.
• Filozofie logiky je zkoumání, kritická analýza a intelektuální reflexe problémů vznikajících v logice . Pole je považováno za odlišné od filozofické logiky .
• Filozofická logika je obor, který se zabývá otázkami o referencích , predikcích , identitě , pravdě , kvantifikaci , existenci , zapojení , modalitě a nezbytnosti .
• Filozofická logika je aplikace formálních logických technik na filozofické problémy.

Tento článek popisuje problémy ve filozofii logiky nebo poskytuje odkazy na relevantní články nebo obojí.

Úvod

Tento článek využívá následující termíny a koncepty:

• Rozlišování typu – token
• Rozdíl použití - zmínka

Pravda

Aristoteles řekl Říct, že to, co je, není nebo co není, je lež; a říkat, co je, je a co není, není pravda, je pravda

Tento zjevný truismus se nepotvrdil jako bezproblémový.

Pravdomluvci

Logika používá výrazy jako pravdivé, nepravdivé, nekonzistentní, platné a protichůdné. Otázky vyvstávají, jak píše Strawson (1952)

a) Když používáme tato slova logického hodnocení, co přesně hodnotíme? a b) jak je možné logické hodnocení?

Tarskiho definice pravdy

Vidět:

• Sémantická teorie pravdy § Tarského teorie
• T-schéma
• Záznam Stanfordské encyklopedie filozofie o definicích Tarského pravdy
• Vlastní odkaz: 2.1 Důsledky sémantických paradoxů ve Stanfordské encyklopedii filozofie

Analytické pravdy, logická pravda, platnost, logické důsledky a implikace

Protože použití, význam, ne -li smysluplnost termínů je součástí diskuse, je možné pro účely diskuse poskytnout pouze následující pracovní definice:

• Nutné pravda je taková, která platí bez ohledu na to, co stát na světě, nebo jak to je někdy řečeno, ve všech možných světů.
• Logické pravdy jsou nezbytné pravdy, které jsou nutně pravdivé pouze díky významu jejich logických konstant.
• Ve formální logice je logická pravda jen „tvrzení“ (řetězec symbolů, ve kterém se žádná proměnná nevyskytuje zdarma), což je pravda ve všech možných interpretacích .
• Analytická pravda je ta, jejíž koncept predikátu je obsažen v jejím předmětu.

Pojem logické pravdy je úzce spojen s pojmy platnosti , logických důsledků a implikací (stejně jako protichůdnost vůči sobě, nutně falešná atd.).

• Pokud q je logická pravda, pak p proto q bude platný argument.
• Pokud p1, p2, p3 ... pn je tedy q platný argument, pak jeho odpovídající podmíněné bude logickou pravdou.
• Pokud p1 & p2 & p3 ... pn zahrnuje q, pak If (p1 & p2 & p3 ... pn) pak q je logická pravda.
• Je -li q logickým důsledkem p1 & p2 & p3 ... pn právě tehdy, pokud p1 & p2 & p3 ... pn zahrnuje q a právě tehdy, pokud (p1 & p2 & p3..pn) pak q je logická pravda

Problémy, které vznikají, zahrnují:

• Pokud existují pravdy, které musí být pravdivé, co je činí?
• Existují analytické pravdy, které nejsou logickými pravdami?
• Existují nutné pravdy, které nejsou analytickými pravdami?
• Existují nutné pravdy, které nejsou logickými pravdami?
• Je rozdíl mezi analytickou pravdou a syntetickou pravdou falešný?

Viz také [1]

Paradox

Význam a reference

Vidět

• Smysl a reference
• Teorie odkazu
• Teorie zprostředkované reference
• Teorie přímé reference
• Kauzální teorie reference (část Reference)
• Deskriptivistická teorie jmen (část Reference)
• Saul Kripke (sekce Reference)
• Fregeova hádanka (část Nové teorie reference a návrat Fregeovy hádanky)
• Gottlob Frege (sekce Reference)
• Selhání reference (část Reference)
• Tuhý označení (část Kauzálně-historická teorie reference)
• Filozofie jazyka (sekce Reference)
• Rejstřík filozofie jazykových článků
• Teorie předpokladů (část Reference)
• Odkazující výraz
• Význam (filozofie jazyka)
• Denotace a konotace
• Rozšíření a intenzita
• Extenzionální definice
• Intenzivní definice
• Metakomunikační kompetence

Jména a popisy

• Neodkázání
• Vlastní jméno (filozofie)
• Jednoznačný popis
• Deskriptivistická teorie jmen
• Teorie popisů
• Singulární termín
• Pojmová logika § Singulární výrazy
• Prázdné jméno
• Bas van Fraassen § Jedinečné podmínky, mezery v hodnotě pravdy a bezplatná logika
• Základy aritmetiky § Vývoj Fregeova vlastního pohledu na číslo
• Filozofie jazyka § odkazy
• Přímá reference
• Teorie zprostředkované reference

Formální a materiální důsledek

• Problém podmíněnosti materiálu: viz Podmínka materiálu

Logické konstanty a spojky

Kvantifikátory a kvantifikační teorie

Modální logika

Deviantní logika

Klasická v. Neklasická logika

Filozofické teorie logiky

• Konceptualismus
• Konstruktivismus
• Dialialismus
• Fictionalism
• Finitismus
• Formalismus
• Intuicionismus
• Logický atomismus
• Logicismus
• Nominalismus
• Realismus
• Platonický realismus
• Strukturalismus
• Nyaya Epistemologie

Další témata

• Leibnizův zákon: viz Identita nerozeznatelných
• Vtipná jména
• Mají predikáty vlastnosti ?: Viz logika druhého řádu
• Smysl, reference, konotace, denotace, rozšíření, záměr
• Stav zákonů logiky
• Klasická logika
• Intuicionismus
• Realismus: viz platonický realismus , filozofický realismus
• Zákon vyloučeného středu: viz zákon vyloučeného středu
• Modalita, intenzita a propoziční postoj
• Konfliktní fakta
• Psychologie

Viz také

• Dvojznačnost
• Gramatika bez kontextu
• Intenzita
• „ Je logika empirická? “
• Teorie zřetězení
• Jazyková modalita
• Filozofie matematiky
• Pierceovo rozlišování typových tokenů
• Rozlišování typ-token
• Rozdíl použití - zmínka
• Vágnost

Důležité postavy

Čísla ve filozofii logiky zahrnují (ale nejsou omezeny na):

Filozofové logiky

Reference

Prameny

• Haack, Susan . 1978. Filozofie logiky . Cambridge University Press . ( ISBN  0-521-29329-4 )
• Quine, WVO 2004. Filozofie logiky . 2. vyd. Harvard University Press . ( ISBN  0-674-66563-5 )
• Alfred Tarski . 1983. Pojem pravdy ve formalizovaných jazycích, s. 152–278, Logika, sémantika, metamatematika, referáty od roku 1923 do roku 1938, ed. John Corcoran (logik) , Hackett, Indianapolis 1983.

Další čtení

• Fisher Jennifer, O filozofii logiky, Thomson Wadworth, 2008, ISBN  978-0-495-00888-0
• Goble, Lou, ed., 2001. (The Blackwell Guide to) Philosophical Logic. Oxford: Blackwell . ISBN  0-631-20693-0 .
• Grayling, AC , 1997. Úvod do filozofické logiky. 3. vyd. Oxford: Blackwell. ISBN  0-631-19982-9 .
• Jacquette, Dale, ed., 2002. Společník filozofické logiky. Oxford Blackwell. ISBN  1-4051-4575-7 .
• Kneale, W&M (1962). Vývoj logiky . Oxford. ISBN 9780198247739.
• McGinn, Colin, 2000. Logické vlastnosti: identita, existence, predikce, nutnost, pravda . Oxford: Oxford University Press . ISBN  0-19-926263-2 .
• Quine, Willard Van Orman (1970). Filozofie logiky . Sál Prentice: New Jersey USA.
• Sainsbury, Mark, 2001. Logické formy: Úvod do filozofické logiky. 2. vyd. Oxford: Blackwell. ISBN  0-631-21679-0 .
• Strawson, PF (1967). Filozofická logika . OUP.
• Alfred Tarski , 1983. Pojem pravdy ve formalizovaných jazycích, s. 152–278, Logika, sémantika, metamatematika, referáty od roku 1923 do roku 1938, ed. John Corcoran (logik) , Hackett, Indianapolis 1983.
• Wolfram, Sybil, 1989. Filozofická logika: úvod. Londýn: Routledge . 290 stran. ISBN  0-415-02318-1 , ISBN  978-0-415-02318-4
• Journal of Philosophical Logic , Springer SBM

externí odkazy

• Routledge Encyclopedia of Philosophy entry