Deflační teorie pravdy - Deflationary theory of truth

Tento článek obsahuje seznam obecných Reference, ale zůstává z velké části neověřený, protože postrádá dostatečné odpovídající vložené citace. Prosím pomozte zlepšit tento článek představuji přesnější citace. (Březen 2013) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

v filozofie a logika, a deflační teorie pravdy (taky sémantický deflacionismus^[1] nebo jednoduše deflacionismus) je jednou z rodiny teorií, které mají všechny společné tvrzení, že tvrzení predikátu pravda výroku nepřisuzujte tomuto tvrzení vlastnost zvanou „pravda“.

Teorie nadbytečnosti

Gottlob Frege byl pravděpodobně prvním filozofem nebo logikem, který si všiml, že predikující pravda nebo existence nevyjadřuje nic nad rámec tvrzení, kterému se přisuzuje.^{[Citace je zapotřebí ]} Poznamenal:

Stojí za povšimnutí, že věta „Cítím vůni fialek“ má stejný obsah jako věta „Je pravda, že cítím vůni fialek“. Zdá se tedy, že k myšlence není nic přidáno tím, že jsem jí připisoval vlastnost pravdy. (Frege, G., 1918. „Myšlenka“, v jeho Logická vyšetřování, Oxford: Blackwell, 1977)^[2]

První vážný pokus o formulaci teorie pravdy, která se pokoušela systematicky definovat predikát pravdy z existence, lze přičíst F. P. Ramsey. Ramsey argumentoval proti převládajícím proudům doby, že nejenže nebylo nutné konstruovat teorii pravdy na základě předchozí teorie smyslu (nebo mentálního obsahu), ale že jakmile byla úspěšně formulována teorie obsahu, bylo by zřejmé, že již není potřeba teorie pravdy, protože by se ukázalo, že predikát pravdy je nadbytečný. Proto se jeho konkrétní verze deflaceismu běžně označuje jako teorie redundance. Ramsey poznamenal, že v běžných kontextech, ve kterých připisujeme pravdu nějakému tvrzení přímo, jako v „Je pravda, že byl zavražděn Caesar“, se nezdá, že by predikát „je pravdivý“ dělal nějakou práci. „Je pravda, že Caesar byl zavražděn,“ znamená „Caesar byl zavražděn“, a „Je falešné, že Caesar byl zavražděn“, znamená to, že „Caesar nebyl zavražděn“.

Ramsey si uvědomil, že jednoduchá eliminace predikátu pravdy ze všech výroků, v nichž se používá v běžném jazyce, nebyla cestou, jak se pokusit o konstrukci komplexní teorie pravdy. Vezměte si například větu Všechno, co John říká, je pravda. To lze snadno přeložit do formální věty s proměnnými sahajícími přes výroky Pro všechny P, pokud John říká P, pak P je pravda. Ale pokus o přímé vyloučení „je pravda“ z této věty, na standardní řád prvního řádu výklad z kvantifikace pokud jde o objekty, mělo by to za následek ungrammatickou formulaci Pro všechny P, pokud John říká P, pak P. Je to negramatické, protože P musí být v takovém případě nahrazeno jménem objekt a ne návrh. Ramseyovým přístupem bylo naznačit, že takové věty jako „Má vždy pravdu“ lze vyjádřit ve smyslu vztahů: „Pro všechny A, R a b, pokud tvrdí aRb, pak aRb".

Ramsey si také všiml, že ačkoli jeho parafráze a definice lze snadno interpretovat logickou symbolikou, zásadnějším problémem bylo, že v běžné angličtině je eliminace predikátu pravdy ve frázi jako Všechno, co John říká, je pravda by mělo za následek něco jako „Pokud John něco řekne, pak žeRamsey to připisoval vadě přirozeného jazyka, což naznačuje, že taková pro-věty jako s „tím“ a „s čím“ se zacházelo, jako by to byla zájmena. To „vede k umělým problémům ohledně podstaty pravdy, které zmizí najednou, když jsou vyjádřeny logickou symbolikou ...“ Podle Ramseyho je to jen proto, že přirozeným jazykům chybí to, co nazval, pro-věty (výrazy, které stojí ve vztahu k větám jako zájmenům k podstatným jménům), že predikát pravdy nelze definovat ve všech kontextech.

A. J. Ayer posunuli Ramseyovu myšlenku o krok dále tím, že prohlásili, že nadbytečnost predikátu pravdy znamená, že takové vlastnictví jako pravda.

Existují věty ... ve kterých slovo „pravda“ znamená něco skutečného; a to vede spekulativního filozofa k otázce, co to „něco“ je. Přirozeně nedostává uspokojivou odpověď, protože jeho otázka je nelegitimní. Naše analýza ukázala, že slovo „pravda“ nestojí za ničím, tak, jak to taková otázka vyžaduje.

Tato extrémní verze deflaceismu byla často nazývána teorie zmizení nebo žádná pravda teorie pravdy a je snadné pochopit proč, protože Ayer zde zřejmě tvrdí, že predikát „je pravda“ je nadbytečné (a proto zbytečné) a taky že takové není vlastnictví jako pravdu mluvit.

Performativní teorie

Peter Strawson formuloval a performativní teorie pravdy v padesátých letech. Stejně jako Ramsey, Strawson věřil, že kromě stanovení sémantického obsahu (nebo faktů o světě), který dává slovům a větám jazyka významy, které mají, neexistuje samostatný problém pravdy. Jakmile budou otázky smyslu a odkazu vyřešeny, už nebude existovat žádná otázka pravdy. Strawsonův pohled se liší od názoru Ramseyho v tom, že Strawson tvrdí, že výraz „je pravdivý“ hraje důležitou roli: konkrétně má performativní role podobná „Slibuji, že dům uklidím“. Tvrdit to str je pravda, nejen to tvrdíme str ale také provést „řečový akt „Potvrzení pravdivosti tvrzení v kontextu. Signalizujeme náš souhlas nebo schválení dříve vysloveného tvrzení nebo potvrzujeme nějakou běžně používanou víru nebo naznačujeme, že to, co tvrdíme, bude pravděpodobně přijato ostatními ve stejném kontextu.

Tarski a deflační teorie

Několik let předtím, než Strawson rozvinul svůj popis vět, které obsahují predikát pravdy jako performativní promluvy, Alfred Tarski vyvinul svůj tzv sémantická teorie pravdy. Tarskiho základním cílem bylo poskytnout důsledně logickou definici výrazu „pravdivá věta“ v rámci a specifický formální jazyk a objasnit základní podmínky materiální přiměřenost to by musela být splněna jakoukoli definicí predikátu pravdy. Pokud by byly všechny tyto podmínky splněny, bylo by možné se tomu vyhnout sémantické paradoxy tak jako paradox lháře (tj. „Tato věta je nepravdivá.“) Tarskiho podmínka materiální přiměřenosti neboli Úmluva T je: definice pravdy pro objektový jazyk implikuje všechny instance sentenciální formy

(T) S je skutečný kdyby a jen kdyby P

kde S se nahrazuje názvem věty (v jazyk objektu ) a P se nahrazuje překladem dané věty v metajazyku. Například „La neve è bianca je skutečný právě když je sníh bílý "je věta, která odpovídá úmluvě T; jazykem objektu je italština a metajazykem angličtina. Predikát"skutečný„neobjevuje se v objektovém jazyce, takže žádná věta objektového jazyka nemůže přímo ani nepřímo tvrdit pravdu nebo nepravdu. Tarski tak formuloval dvoustupňové schéma, které se vyhýbá sémantickým paradoxům, jako je Russellův paradox.

Tarski formuloval svou definici pravdy nepřímo prostřednictvím rekurzivní definice spokojenosti sentenciální funkce a poté definováním pravdy z hlediska spokojenosti. Příklad vězeňské funkce je „X poražen y v prezidentských volbách v USA v roce 2004 “; tato funkce je považována za uspokojivou, když nahradíme proměnné X a y s názvy objektů, které stojí ve vztahu označeném jako „poražený v amerických prezidentských volbách v roce 2004“ (v případě, který byl právě zmíněn, X s „Georgem W. Bushem“ a y s „Johnem Kerrym“ by funkci uspokojil, což by vedlo ke skutečné větě). Obecně, A₁, ..., A_n uspokojit an n-ary predikát φ (X₁. ..., X_n) pokud, a pouze pokud nahrazení jmen "A₁", ..., "A_n„pro proměnné φ v příslušném pořadí výnosy“ φ (A₁, ..., A_n) "a φ (A₁, ..., A_n). Vzhledem k tomu, metoda pro stanovení spokojenosti (nebo ne) každého atomová věta formuláře A(..., X_k, ...), obvyklá pravidla pro pravdivě funkční spojky a kvantifikátory přinést definici podmínky spokojenosti všech vět objektového jazyka. Například pro jakékoli dvě věty A, B, věta A & B je spokojen právě tehdy A a B jsou spokojeni (kde '&' znamená spojení ), pro jakoukoli větu A, ~A je spokojen právě tehdy A nesplní, a to za jakoukoli otevřenou větu A kde x je zdarma v A, (X)A je spokojen, právě když pro každé nahrazení položky z doména pro X poddajný A*, A* je spokojen. To, zda je splněna jakákoli složitá věta, závisí na její struktuře. An výklad je úkolem denotace ke všem nelogickým podmínkám jazyka objektu. Věta A je pravda (podle výkladu Já) právě tehdy, pokud je splněna v Já.

Tarski myslel na svou teorii jako na druh korespondenční teorie pravdy, nikoli deflační teorie.

Diskototionalismus

Na základě Tarskiho sémantické koncepce W. V. O. Quine vyvinuli to, co se nakonec začalo nazývat diskotační teorie pravdy nebo diskototismus. Quine interpretoval Tarskiho teorii jako v podstatě deflační. Přijal Tarského zacházení s tresty jako jedinými nositeli pravdy. Quine proto navrhl, že pravdivostní predikát lze použít pouze na věty v jednotlivých jazycích. Základní princip diskototacionismu spočívá v tom, že přisuzování pravdy větě ruší účinky uvozovek, které byly použity k tvorbě vět. Namísto (T) výše by Quinina formulace byla něco jako následující „Disquotation Schema“:

(DS) Věta „S“ je pravdivá právě tehdy, pokud S.

Diskototionalisté dokážou vysvětlit existenci a užitečnost predikátu pravdy v takových kontextech zobecnění, jako je „John věří všemu, co Mary říká“ tvrzením s Quinem, že se v těchto kontextech nemůžeme obejít bez predikátu pravdy, protože vhodné vyjádření takových zobecnění je právě role predikátu pravdy v jazyce. V případě „John věří všemu, co Mary říká“, pokud se pokusíme zachytit obsah Johnových přesvědčení, budeme muset vytvořit nekonečnou spojku, například následující:

Pokud Mary říká, že citrony jsou žluté, pak citrony jsou žluté, a pokud Mary říká, že citrony jsou zelené, pak jsou citrony zelené a ...

Schéma diskvalifikace (DS) nám umožňuje přeformulovat toto jako:

Pokud Mary říká, že citrony jsou žluté, pak věta „citrony jsou žluté“ je pravdivá, a pokud Mary říká, že citrony jsou zelené, pak věta „citrony jsou zelené“ je pravdivá a ...

Od té doby X je ekvivalentní k „x“ je pravda, pro disquotationalist, pak výše uvedené nekonečné spojky jsou také ekvivalentní. V důsledku toho můžeme zobecnit:

Pro všechny věty „S“ platí, že pokud Mary řekla S, pak „S“.

Protože bychom toto tvrzení nemohli vyjádřit bez predikátu pravdy v duchu těch, které jsou definovány deflačními teoriemi, je právě role predikátu pravdy při formování takových zevšeobecnění charakterizující vše, co je třeba o konceptu pravdy charakterizovat.

Prosentencialismus

Grover, Camp a Belnap vyvinuli deflační teorii pravdy zvanou prosentencialismus, který byl od té doby bránil Robert Brandom.

Prosentencialismus tvrdí, že existují prozentence, které zastávají a odvozují svůj význam z vět, které nahrazují. V prohlášení:

Bill je unavený a má hlad.

zájmeno „on“ přebírá odkaz od podstatného jména „Bill“. Analogicky, v prohlášení:

Vysvětlil, že je ve finanční tísni, řekl, že to tak bylo, a že proto potřebuje zálohu.

klauzule „takto to bylo“ dostává svůj odkaz z dříve se vyskytující sentenciální klauzule „byl ve finanční tísni“, uvádí prosententialistický účet.

Jak to souvisí s pravdou? Prosentencialisté považují výroky obsahující „je pravda“ za věty, které neobsahují predikát pravdy, ale obsahují je nějaký forma prozřetelnosti; samotný predikát pravdy je součástí anaforické nebo prozentenciální konstrukce. Prosentencialisté poukazují na mnoho paralel, které existují mezi zájmeny a prozřetencemi. Zájmena jsou často používána z „lenivosti“, jako například v:

Bill je unavený a má hlad

nebo je lze použít v kvantifikačních kontextech, například:

Někdo je v místnosti a je vyzbrojen puškou.

Podobným způsobem lze „je to pravda“ použít jako prozřetelnost lenosti, jako například v:

Fred věří, že prší a je to pravda.

a jako kvantifikační proentence, jako například:

Cokoli Alice věří, je pravda.

Prosententialists proto odmítají myšlenku, že pravda je vlastnost nějakého druhu.

Minimalismus

Paul Horwich je minimální teorie pravdy, také známý jako minimalismus, bere primární entity nesoucí pravdu spíše než věty než propozice. Podle minimalistického pohledu je pak pravda ve skutečnosti vlastnost propozic (případně vět), ale je to tak minimální a anomální vlastnost, o které nelze říci, že by nám poskytovala jakékoli užitečné informace nebo vhled do povaha pravdy. V zásadě to není nic jiného než druh metalingvistické vlastnosti.

Dalším způsobem, jak formulovat minimalistickou tezi, je tvrdit, že spojení všech instancí následujícího schématu:

Tvrzení, že P je pravdivé právě tehdy, když P.

poskytuje implicitní definici vlastnosti pravdy. Každá taková instance je axiomem teorie a takovýchto případů je nekonečné množství (jeden pro každý skutečný nebo možný návrh ve vesmíru). Naše pojetí pravdy se skládá z ničeho jiného než z dispozice souhlasit se všemi případy výše uvedeného schématu, když se s nimi setkáme.

Námitky proti deflacionismu

Jednu z hlavních námitek proti deflačním teoriím všech příchutí formulovali Jackson, Oppy a Smith v roce 1994 (po Kirkhamovi 1992). Podle námitky, pokud je deflacionismus interpretován jako a sentenciální teorie (tj. teorie, kde je pravda předurčena větami na levé straně dvojpodmínečků, jako je (T) výše), je deflacionismus falešný; na druhé straně, pokud je vykládán jako a propoziční teorie, pak je to triviální. Prozkoumejte další jednoduchou instanci standardního schématu ekvivalence:

Tráva je zelená platí tehdy a jen tehdy, když je tráva zelená.

námitka spočívá pouze v tom, že pokud jsou slova kurzívou brána jako věta, pak je to nepravdivé, protože k tomu, aby celé tvrzení bylo pravdivé, je zapotřebí něco víc, než jen skutečnost, že „tráva je zelená“ je pravdivá. Je také nutné, aby věta „tráva je zelená“ znamenala, že tráva je zelená, a to dále jazykové faktem se schéma ekvivalence nezabývá.

Pokud to však nyní předpokládáme tráva je zelená na levé straně se odkazuje na tvrzení, pak se teorie zdá být triviální, protože tráva je zelená je definována jako pravdivá právě tehdy, když je tráva zelená. Všimněte si, že trivialita, která se zde týká, není způsobena konceptem pravdy, ale konceptem tvrzení. Pouhé přijetí triviality výrokové verze každopádně znamená, že přinejmenším v Deflační teorii pravdy nelze vysvětlit souvislost mezi větami a věcmi, které vyjadřují; tj. propozice.

Normativnost tvrzení

Michael Dummett mimo jiné tvrdí, že deflacionismus nemůže odpovídat za skutečnost, že pravda by měla být normativním cílem tvrzení. Myšlenka je, že pravda hraje ústřední roli v činnosti uvádění faktů. Deflacionistická odpověď spočívá v tom, že tvrzení, že pravda je normou tvrzení, lze konstatovat pouze ve formě následující nekonečné spojky:

Jeden by měl prosazovat tvrzení, že tráva je zelená, pouze pokud je tráva zelená, a jeden by měl prosazovat tvrzení, že citrony jsou žluté, pouze pokud jsou citrony žluté, a jeden by měl prosazovat tvrzení, že čtvercový kruh je nemožný, pouze pokud je nemožný čtvercový kruh a. ..

To lze zase přeformulovat jako:

U všech tvrzení P by reproduktory měly prosazovat tvrzení, že P, pouze pokud je tvrzení, že P je pravdivé.

Může se stát, že k vyjádření této normy použijeme predikát pravdy, ne proto, že by to mělo něco společného s povahou pravdy v nějakém inflačním smyslu, ale proto, že je to vhodný způsob vyjádření tohoto jinak nevyslovitelného zobecnění.

Viz také

• Koherentismus
• Potvrzovací holismus
• Pravda
• Teorie pravdy

související témata

Poznámky

Reference

• Ayer, A. J. (1952). Jazyk, pravda a logika. New York: Dover Publications.
• Beall, J. C. a Armor-Garb, B. (eds.) (2006). Deflacionismus a paradox. Oxford: Clarendon.
• Brandom, Robert Expresivní versus vysvětlující deflacionismus o pravdě v Deflační pravda Armor-Garb B.P. a Beall J.C. (ed.), Chicago a La Salle, Illinois: Open Court Publishing, 2005, s. 237–257.
• Butler, M.K. (2017). Deflacionismus a sémantické teorie pravdy. Manchester: Pendlebury Press.
• Candlish, Stewart, a Damnjanovic, Nicolas J., „Stručná historie pravdy“, Dale Jacquette (ed.), Příručka filozofie vědy, svazek 11, Filozofie logiky. Časné pohledy (1903-1930), Střední pohledy (1930-1970), Pozdější pohledy (1970-2000), a Reference.
• Grover, Dorothy, Camp, Joseph & Belnap, Nuel (1975), Prosperenční teorie pravdy, Filozofické studie, 27, 73-125.
• Horwichi, Paule (1998), Pravda, Oxford University Press, Londýn, Velká Británie.
• Frege, G. (1918) Ricerche Logiche. M. di Francesco (ed.). tr: R. Casati. Milan: Guerini. 1998.
• Jackson, Frank, Graham Oppy & Michael Smith (1994), „Minimalismus a trefnost pravdy“, Mysl 103, 287-302.
• Kirkham, Richard (1992), Teorie pravdy, MIT Stiskněte.
• Quine, W. V. O. (1970), Filozofie logiky, Prentice Hall, Englewood Cliffs, NJ.
• Ramsey, F. P. (1927), „Facts and Proposition“, Aristotelian Society Doplňkový svazek 7, 153–170. Přetištěno, str. 34–51, F. P. Ramsey, Filozofické práce, David Hugh Mellor (ed.), Cambridge University Press, Cambridge, UK, 1990.
• Ramsey, F. P. (1990), Filozofické práce, David Hugh Mellor (ed.), Cambridge University Press, Cambridge, UK.
• Strawson, P. F. (1949) "Pravda", Analýza, 9: 83-97.
• Tarski, A. (1935), „Der Wahrheitsbegriff in den formalisierten Sprachen“, Studia Philosophica 1, str. 261–405. Přeloženo jako „Koncept pravdy ve formalizovaných jazycích“, Tarski (1983), s. 152–278.
• Tarski, Alfred (1944), „Sémantická koncepce pravdy a základy sémantiky“, Filozofie a fenomenologický výzkum 4 (3), 341–376.
• Tarski, Alfred (1983), Logic, Semantics, Metamathematics: Papers from 1923 to 1938, J.H. Woodger (trans.), Oxford University Press, Oxford, UK, 1956. 2. vydání, John Corcoran (ed.), Hackett Publishing, Indianapolis, IN, 1983.

externí odkazy

• Stoljar, Daniel a Damnjanovic, Nic (2007), „Deflační teorie pravdy“, Stanfordská encyklopedie filozofie, Edward N. Zalta (ed.).
• „Prosperenční teorie pravdy“. Internetová encyklopedie filozofie.