Filozofie logiky - Philosophy of logic

V návaznosti na vývoj v roce 2006 formální logika s symbolická logika na konci devatenáctého století a matematická logika ve dvacátém, témata tradičně zpracovaná logika nebýt součástí formální logiky mají tendenci být také označovány filozofie logiky nebo filozofická logika pokud už ne jednoduše logika.

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

Filozofie logiky je oblast filozofie věnovaná zkoumání rozsahu a povahy logiky.^[1]
Filozofie logiky je vyšetřování, kritická analýza a intelektuální reflexe o problémech vznikajících v roce 2006 logika. Pole je považováno za odlišné od filozofická logika.
Filozofická logika je obor, který se týká otázek o odkaz, tvrzení, identita, pravda, kvantifikace, existence, obviňování, modalita, a nutnost.^[2]
Filozofická logika je aplikace formálních logických technik na filozofické problémy.^[3]

Tento článek popisuje problémy ve filozofii logiky nebo poskytuje odkazy na příslušné články nebo obojí.

Úvod

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

Pravda

Řekl Aristoteles Říci, že to, co je, není nebo co není, je klam; a říkat, že co je, je a co není, není, je pravda^[4]

Tento zjevný truismus se neprokázal bezproblémovým.

Nositelé pravdy

Logika používá takové výrazy jako pravdivé, nepravdivé, nekonzistentní, platné a vzájemně si odporující. Jak píše Strawson (1952), vyvstávají otázky^[5]

a) Když použijeme tato slova logického hodnocení, co přesně to oceňujeme? a (b) jak je možné logické hodnocení?

Viz také: Věta, Tvrzení, Tvrzení.

Tarského definice pravdy

Vidět:

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

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

A nezbytná pravda je ten, který je pravdivý bez ohledu na stav světa nebo, jak se někdy říká, ve všech možných světech.^[6]
Logické pravdy jsou ty nezbytné pravdy, které jsou nutně pravdivé pouze kvůli významu jejich logických konstant.^[7]
Ve formální logice a logická pravda je jen „příkaz“ (řetězec symbolů, ve kterém se žádná proměnná neobjevuje zdarma), který platí za všech možných podmínek interpretace.
Analytická pravda je ta, jejíž predikátový koncept je obsažen v jeho předmětném pojetí.

Koncept logické pravdy je úzce spjat s konceptem logické pravdy platnost, logický důsledek a obviňování (stejně jako vlastní rozpor, nutně falešný atd.).

Li q je tedy logická pravda p proto q bude platný argument.
Li p1, p2, p3 ... pn tedy q je platný argument, pak jeho odpovídající podmíněné bude logická pravda.
Li p1 & p2 & p3 ... pn znamená q pak If (p1 & p2 & p3 ... pn) then q je logická pravda.
Li q je logickým důsledkem p1 & p2 & p3 ... pn kdyby a jen kdyby p1 & p2 & p3 ... pn znamená q a kdyby a jen kdyby If (p1 & p2 & p3..pn) then q je logická pravda

Mezi problémy, které se vyskytnou, patří:

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 reference
Zprostředkovaná referenční teorie
Teorie přímé reference
Kauzální teorie reference (část Reference)
Deskriptivistická teorie jmen (část Reference)
Saul Kripke (část Reference)
Fregeova hádanka (část Nové teorie referencí a návrat Fregeho puzzle)
Gottlob Frege (část Reference)
Selhání odkazu (část Reference)
Tuhý značkovač (část Kauzálně-historická teorie reference)
Filozofie jazyka (část 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 Intension
Rozšiřující definice
Intenzionální definice
Metakomunikační kompetence

Jména a popisy

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

Problém podmíněného materiálu: viz Materiál podmíněný

Logické konstanty a spojky

Kvantifikátory a kvantifikační teorie

Modální logika

Deviantní logika

Klasická v. Neklasická logika

Filozofické teorie logiky

Další témata

Leibnizův zákon: viz Totožnost nerozbitných
Prázdná jména
Mají predikáty vlastnosti ?: Viz Logika druhého řádu
Smysl, reference, konotace, denotace, rozšíření, intenze
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 výrokový postoj
Kontrafakty
Psychologie

Viz také

Důležité postavy

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

Filozofové logiky

Reference

^ Audi, Robert, ed. (1999). Cambridge Dictionary of Philosophy (2. vyd.). POHÁR.
^ Lowe, E. J. Formy myšlení: Studie ve filozofické logice. New York: Cambridge University Press, 2013.
^ Russell, Gillian Myšlenky, argumenty a chvástání, Sloupec Jc.
^ Aristoteles, metafyzika, knihy Γ, Δ, Ε 2. vydání 1011b25 (1993) trans Kirwan ,: OUP
^ Strawson, P.F. (1952). Úvod do logické teorie. Methuen: Londýn. p. 3.
^ Wolfram (1989), str. 80
^ Wolfram (1989), str. 273

Zdroje

Haack, Susan. 1978. Filozofie logiky. Cambridge University Press. (ISBN 0-521-29329-4)
Quine, W. V. O. 2004. Filozofie logiky. 2. vyd. Harvard University Press. (ISBN 0-674-66563-5)
Alfred Tarski. 1983. Koncept pravdy ve formalizovaných jazycích, s. 152–278, Logic, semantics, metamathematics, papers from 1923 to 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. (Průvodce Blackwell) Filozofická logika. Oxford: Blackwell. ISBN 0-631-20693-0.
Grayling, A. C., 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, Predikace, Nutnost, Pravda. Oxford: Oxford University Press. ISBN 0-19-926263-2.
Quine, Willard Van Orman (1970). Filozofie logiky. Prentice Hall: 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. Koncept pravdy ve formalizovaných jazycích, s. 152–278, Logika, sémantika, metamatematika, práce z let 1923–1938, vyd. John Corcoran (logik) Hackett, Indianapolis 1983.
Wolfram, Sybil, 1989. Filozofická logika: Úvod. Londýn: Routledge. 290 stránek. ISBN 0-415-02318-1, ISBN 978-0-415-02318-4
Journal of Philosophical Logic, Springer SBM

externí odkazy

Routledge Encyclopedia of Philosophy entry

[The_Cambridge_Dictionary_of_Philosophy-1] Audi, Robert, ed. (1999). Cambridge Dictionary of Philosophy (2. vyd.). POHÁR.

[2] Lowe, E. J. Formy myšlení: Studie ve filozofické logice. New York: Cambridge University Press, 2013.

[3] Russell, Gillian Myšlenky, argumenty a chvástání, Sloupec Jc.

[4] Aristoteles, metafyzika, knihy Γ, Δ, Ε 2. vydání 1011b25 (1993) trans Kirwan ,: OUP

[5] Strawson, P.F. (1952). Úvod do logické teorie. Methuen: Londýn. p. 3.

[6] Wolfram (1989), str. 80

[7] Wolfram (1989), str. 273

[1]

[2]

[3]

[4]

[5]

[6]

[7]