Platnost
Platnost termínu v logice platí o argumentech nebo sděleních.
Nepřehlédněte: Tato stránka obsahuje strojový překlad textu z anglické encyklopedie Wikipedia. Pokud budou některé pasáže špatně srozumitelné, zkuste se podívat i na text v originále, který najdete pod odkazem Validity. Překlad byl vytvořen pomocí překladače Eurotran.
Platnost argumentů
An argument je platný jestliže a jediný jestliže pravda v jeho areálu znamená pravdu v jeho závěru. To bylo by protimluvné tvrdit areál a popírat závěr. Odpovídání podmíněný platného argumentu je nutná pravda a popření jeho odpovídání podmíněný je contradition. Závěr je logický následek jeho areálu.
An argument, který není platný je řekl, aby byl “#rquote invalida””.
Příklad platného argumentu je dán následujícím známým úsudkem:
Co dělá toto platný argument není pouhý fakt že to má opravdový areál a pravdivý závěr, ale fakt zákonité nutnosti závěru, daný dva předpoklady. Bez ohledu na to jak vesmír by mohl být budován, to mohlo nikdy být případ že tento argument by měl dopadat mít současně pravdivý areál ale falešný závěr. Nahoře argument může být porovnán s pokračováním invalidní:
V tomto případě, závěr nenásleduje nevyhnutelně od areálu: vesmír je snadno představil si ve kterém “Socrates” není muž ale žena, tak to ve skutečnosti nahoře areál by byl pravdivý ale závěr falešný. Tato možnost dělá argumentu invalidu. (ačkoli zda nebo ne argument je platný nezávisí na čem někdo mohl vlastně představit si být případ, tento přístup pomůže nám ocenit některé argumenty.)
Hlavní průměr je to zda argument je platný je věc argumentu má logický tvar. Mnoho technik je zaměstnané u logiků reprezentovat argument má logický tvar. Jednoduchý příklad, platil o nad dvěma ilustracemi, je sledování: Nechal dopisy “P”, “Q”, a “S” stát, příslušně, pro soubor mužů, soubor smrtelníků, a Socrates. Používat tyto symboly, první argument může být zkrácen jak:
Podobně, druhý argument se stojí:
Tyto zkratky dělají rovině logickou formu každého příslušného argumentu. Na této úrovni, poznamenat, že my můžeme mluvit o nějakých argumentech, které mohou přijmout jednoho nebo jiný nad dvěma konfiguracemi, tím, že nahradí dopisy P, Q a s vhodnými výrazy. Zvláštního zájmu je skutečnost, že my můžeme využívat formu argumentu pomoci zjistit zda nebo ne argument od kterého to bylo trval je nebo je ne platný. To dělá toto, my definujeme “výklad” argumentu jako převod souborů objektů k horní-dopisy případu v argumentovém ročníku a převod jednoho individuálního člena souboru k malým písmenům argumentu se tvoří. Tak, pouštění P kandidovat na soubor mužů, Q kandidovat na soubor smrtelníků, a s stát pro Socratese je výklad každý nad argumenty. Používat tuto terminologii, my můžeme dávat formální obdobu definice deduktivní platnosti:
Jak už viděný, výklad dávaný nad laněmi způsobit druhou formu argumentu mít opravdový areál a nepravdivý závěr, od této doby demonstrovat jeho invaliditu.
Platnost sdělení
Sdělení může být voláno platný jestliže to je pravdivé ve všech výkladech. Například:
V logickém ročníku, toto je:
Dané sdělení může také být platný příbuzný k (pravda) jiná sdělení. Toto znamená, že hádka s daným sdělením jako jeho závěr a jiná sdělení jako jeho areál je platný argument.
Platnost a zdravost
Jedna věc my bychom měli poznámka je že platnost dedukce není vůbec zasažený pravdou v předpokladu nebo pravdě v závěru. Následující dedukce je dokonale platná:
Problém s argumentem je že to není zvuk. V objednávce deduktivního argumentu být zdravý, dedukce musí být platná a předpoklad musí být pravdivý.
Logické pravdy
Logické pravdy (včetně tautologií) jsou nutně pravdivé. Jedna teorie je to problém takový jak “jestliže p a q, pak p” a problém “všichni manželé jsou ženatí” být logické pravdy protože oni jsou pravdiví kvůli jejich vlastním významům a ne protože nějakých faktů světa. Oni jsou takoví že oni nemohli být nepravdiví.
logická pravda byl zvažován Ludwig Wittgenstein být sdělení který je pravdivý ve všech možných světech. Toto je porovnáno s syntetický požadavek (nebo fakt) který je jen pravdivý v toto svět jako to historicky se rozvinul.
Pozdnější, se vzestupem formální logiky logická pravda byla považována za sdělení, které je pravdivé pod všemi možnými výklady.
