Logická forma - Logical form

Tento argument v termínu logika využívající modus ponens využívá tři výroky v logické formě vyjádřené ve zjednodušené angličtině.
Tento článek je o pojmu použitém v logice. Termín lingvistiky viz Logická forma (lingvistika) .
„Argumentová struktura“ přeadresuje tady. Možné doplňky slovesa v lingvistice viz argument slovesa .

V logice , logická forma z příkazu je přesně specifikovaný sémantické verze tohoto prohlášení ve formálním systému . Logická forma se neformálně pokouší formalizovat možná nejednoznačný výrok do výroku s přesným a jednoznačným logickým výkladem s ohledem na formální systém. V ideálním formálním jazyce lze význam logické formy určit jednoznačně pouze ze syntaxe . Logické formy jsou sémantické, nikoli syntaktické konstrukty; proto může existovat více než jeden řetězec, který představuje stejnou logickou formu v daném jazyce.

Logická forma argumentu se nazývá argumentační forma argumentu.

Dějiny

Důležitost pojmu forma pro logiku byla uznána již ve starověku. Aristoteles v Prior Analytics byl pravděpodobně první, kdo použil variabilní písmena, aby představoval platné závěry. Proto Jan Lukasiewicz tvrdí, že zavedení proměnné byl „jeden z největších vynálezů Aristotelovy.“

Podle Aristotelových stoupenců, jako je Ammonius , k logice patří pouze logické principy uvedené ve schematických termínech, nikoli ty, které jsou uvedeny konkrétně. Konkrétní pojmy člověk , smrtelník atd. Jsou analogické substitučním hodnotám schematických zástupných symbolů A , B , C , které byly nazývány „hmotou“ (řecky hyle , latinsky materia ) argumentu.

Samotný termín „logická forma“ představil Bertrand Russell v roce 1914 v rámci svého programu formalizace přirozeného jazyka a uvažování, který nazval filozofickou logikou . Russell napsal: „Nějaká znalost logických forem, i když u většiny lidí není explicitní, je zapojena do veškerého porozumění diskurzu. Jde o filozofickou logiku, aby tyto znalosti získala ze svých konkrétních integrálů a učinila je explicitními. a čisté. “

Příklad formy argumentu

Chcete-li demonstrovat důležitou představu o formě argumentu, nahraďte písmena podobnými položkami ve větách původního argumentu.

Původní argument
Všichni lidé jsou smrtelní.
Socrates je člověk.
Sokrates je proto smrtelný.
Argument
Všechny H jsou M .
S je H .
Z tohoto důvodu, S je M .

Vše, co bylo provedeno ve formě argumentu, je dát H pro člověka a lidi , M pro smrtelníka a S pro Sokrata . Výsledkem je forma původního argumentu. Každá jednotlivá věta formy argumentu je navíc větnou formou příslušné věty v původním argumentu.

Důležitost formy argumentu

Pozornost je věnována argumentu a formě věty, protože forma je to, co činí argument platným nebo přesvědčivým. Všechny argumenty logické formy jsou buď indukční, nebo deduktivní. Induktivní logické formy zahrnují induktivní zobecnění, statistické argumenty, kauzální argument a argumenty z analogie. Běžné deduktivní formy argumentů jsou hypotetický sylogismus , kategorický sylogismus , argument podle definice, argument založený na matematice, argument z definice. Nejspolehlivějšími formami logiky jsou modus ponens , modus tollens a řetězové argumenty, protože pokud jsou argumenty pravdivé, pak nutně následuje závěr. Dvě neplatné formy argumentů potvrzují důsledek a popírají předchůdce .

Potvrzující důsledek
Všichni psi jsou zvířata.
Coco je zvíře.
Coco je tedy pes.
Popření předchůdce
Všechny kočky jsou zvířata.
Missy není kočka.
Missy proto není zvíře.

Logický argument , viděný jako uspořádaná sada vět, má logickou formu, která je odvozena z formy jejích vět; logická forma argumentu se někdy nazývá forma argumentu. Někteří autoři definují pouze logickou formu s ohledem na celé argumenty, jako schémata nebo inferenční strukturu argumentu. V teorii argumentace nebo neformální logice je forma argumentu někdy považována za širší pojem než logická forma.

Skládá se z odstranění všech falešných gramatických znaků z věty (například pohlaví a pasivních forem) a nahrazení všech výrazů specifických pro předmět argumentu schematickými proměnnými . Například výraz „všechna A jsou B“ tedy ukazuje logickou podobu, která je společná větám „všichni lidé jsou smrtelníci“, „všechny kočky jsou masožravci“, „všichni Řekové jsou filozofové“ atd.

Logická forma v moderní logice

Základní rozdíl mezi moderní formální logikou a tradiční neboli aristotelovskou logikou spočívá v jejich odlišné analýze logické formy vět, které zpracovávají:

  • V tradičním pohledu se forma věty skládá z (1) předmětu (např. „Muž“) plus znaménka množství („vše“ nebo „některé“ nebo „ne“); (2) spona , která má tvar „je“ nebo „není“; (3) predikát (např. „Smrtelník“). Tedy: „všichni lidé jsou smrtelní.“ Logické konstanty jako „vše“, „ne“ a tak dále, plus sentenciální spojky jako „a“ a „nebo“, se nazývaly syncategorematické výrazy (z řeckého kategororei - predikovat a syn - společně s). Jedná se o pevné schéma, kde každý úsudek má určitou kvantitu a sponu, určující logickou formu věty.
  • Moderní pohled je složitější, protože jediný úsudek Aristotelova systému zahrnuje dvě nebo více logických spojek. Například věta „Všichni muži jsou smrtelní“ zahrnuje z hlediska logiky dva nelogické výrazy „je člověk“ (zde M ) a „je smrtelný“ (zde D ): věta je dána rozsudkem A ( M, D) . V predikátové logice zahrnuje věta stejné dva nelogické pojmy, zde analyzované jako a , a věta je dána tím , že zahrnuje logické spojky pro univerzální kvantifikaci a implikaci .

Složitější moderní pohled přichází s větším výkonem. V moderním pohledu je základní forma jednoduché věty dána rekurzivním schématem, jako je přirozený jazyk a zahrnující logické spojky , které jsou spojeny juxtapozicí s jinými větami, které naopak mohou mít logickou strukturu. Středověcí logici uznali problém vícenásobné obecnosti , kde aristotelská logika není schopna uspokojivě vykreslit takové věty jako „někteří lidé mají štěstí“, protože jak množství „vše“, tak „některé“ mohou být v závěru relevantní, ale pevné schéma že Aristoteles používá umožňuje pouze jeden řídit závěr. Stejně jako lingvisté rozpoznávají rekurzivní strukturu v přirozených jazycích, zdá se, že logika potřebuje rekurzivní strukturu.

Logické formy při zpracování přirozeného jazyka

Při sémantické analýze se příkazy v přirozených jazycích převádějí do logických forem, které představují jejich význam.

Viz také

Reference

Další čtení

externí odkazy