Forma logiczna - Logical form

Ten argument w logice terminologicznej wykorzystującej modus ponens wykorzystuje trzy zdania w logicznej formie wyrażone w uproszczonym języku angielskim.

W logice , forma logiczna z oświadczeniem jest precyzyjnie określony semantyczny wersja tego rachunku w systemie formalnym . Nieformalnie forma logiczna próbuje sformalizować możliwie niejednoznaczne stwierdzenie w oświadczenie z precyzyjną, jednoznaczną logiczną interpretacją w odniesieniu do systemu formalnego. W idealnym języku formalnym znaczenie formy logicznej można jednoznacznie określić na podstawie samej tylko składni . Formy logiczne są konstrukcjami semantycznymi, a nie syntaktycznymi; dlatego może istnieć więcej niż jeden ciąg, który reprezentuje tę samą formę logiczną w danym języku.

Forma logiczna argumentu nazywana jest formą argumentu argumentu.

Historia

Znaczenie pojęcia formy dla logiki uznano już w starożytności. Arystoteles w Prior Analytics był prawdopodobnie pierwszym, który użył zmiennych liter do przedstawienia ważnych wniosków. Dlatego Jan Łukasiewicz twierdzi, że wprowadzenie zmiennych było „jednym z największych wynalazków Arystotelesa”.

Według zwolenników Arystotelesa, takich jak Amoniusz , do logiki należą tylko zasady logiczne przedstawione w kategoriach schematycznych, a nie podane w kategoriach konkretnych. Konkretne terminy człowiek , śmiertelnik itd. Są analogiczne do wartości zastępczych schematycznych symboli zastępczych A , B , C , które nazywano „materią” (greckie hyle , łac. Materia ) argumentu.

Sam termin „forma logiczna” został wprowadzony przez Bertranda Russella w 1914 r. W kontekście jego programu sformalizowania języka naturalnego i rozumowania, który nazwał logiką filozoficzną . Russell napisał: „Pewien rodzaj wiedzy o formach logicznych, chociaż u większości ludzi nie jest wyraźny, jest zaangażowany we wszelkie rozumienie dyskursu. Zadaniem logiki filozoficznej jest wydobycie tej wiedzy z jej konkretnych powłok i nadanie jej jednoznaczności i czysty. "

Przykład formy argumentu

Aby zademonstrować ważne pojęcie formy argumentu, zamień litery na podobne pozycje w zdaniach w pierwotnym argumencie.

Oryginalny argument
Wszyscy ludzie są śmiertelni.
Sokrates jest człowiekiem.
Dlatego Sokrates jest śmiertelny.
Formularz argumentacji
Wszystkie H to M .
S jest H .
W związku z tym, S jest M .

Wszystko, co zostało zrobione w formie argumentu, to wstawienie H dla człowieka i ludzi , M dla śmiertelnika i S dla Sokratesa . Jakie wyniki ma postać oryginalnego argumentu. Co więcej, każde pojedyncze zdanie formularza argumentacyjnego jest formą zdania odpowiedniego zdania w pierwotnym argumencie.

Znaczenie formy argumentacji

Zwraca się uwagę na argumentację i formę zdania, ponieważ forma jest tym, co sprawia, że ​​argument jest ważny lub przekonujący. Wszystkie argumenty w postaci logicznej są indukcyjne lub dedukcyjne. Indukcyjne formy logiczne obejmują indukcyjne uogólnienie, argumenty statystyczne, argument przyczynowy i argumenty z analogii. Najczęstsze formy argumentów dedukcyjne są hipotetyczne sylogizm , kategoryczny sylogizm argument definicji argument oparty na matematyce, argument z definicji. Najbardziej wiarygodnymi formami logiki są modus ponens , modus tollens i argumenty łańcuchowe, ponieważ jeśli przesłanki argumentu są prawdziwe, wówczas wniosek musi wynikać. Dwie niepoprawne formy argumentacji potwierdzają następnik i zaprzeczają poprzednikowi .

Potwierdzając następnik
Wszystkie psy to zwierzęta.
Coco to zwierzę.
Dlatego Coco to pies.
Zaprzeczanie poprzednikowi
Wszystkie koty to zwierzęta.
Missy nie jest kotem.
Dlatego Missy nie jest zwierzęciem.

Argument logiczny , postrzegany jako uporządkowany zbiór zdań, ma formę logiczną, która wywodzi się z formy zdań składowych; logiczna forma argumentu jest czasami nazywana formą argumentu. Niektórzy autorzy definiują logiczną formę jedynie w odniesieniu do całych argumentów, jako schematy lub inferencyjną strukturę argumentu. W teorii argumentacji lub logice nieformalnej forma argumentu jest czasami postrzegana jako pojęcie szersze niż forma logiczna.

Składa się on z rozbiórki wszystkie fałszywe funkcje gramatyczne ze zdania (takie jak płeć, oraz form pasywnych) i zastąpienie wszystkich konkretnych wyrażeń przedmiotu argumentu przez zmienne schematycznych . Na przykład wyrażenie „wszyscy A to B” pokazuje logiczną formę, która jest wspólna dla zdań „wszyscy ludzie są śmiertelnikami”, „wszystkie koty są mięsożercami”, „wszyscy Grecy są filozofami” i tak dalej.

Forma logiczna we współczesnej logice

Podstawowa różnica między nowoczesną logiką formalną a logiką tradycyjną lub arystotelesowską polega na odmiennej analizie logicznej formy zdań, które rozpatrują:

  • W tradycyjnym ujęciu forma zdania składa się z (1) podmiotu (np. „Człowiek”) oraz znaku ilości („wszystko”, „trochę” lub „nie”); (2) kopuła , która ma postać „jest” lub „nie jest”; (3) predykat (np. „Śmiertelnik”). A zatem: „wszyscy ludzie są śmiertelni”. Stałe logiczne, takie jak „wszystko”, „nie” itd. Oraz łączniki zdaniowe, takie jak „i” i „lub”, nazywane były terminami syncategorematycznymi (z greckiego kategorei - do orzeczenia i syn - razem z). Jest to ustalony schemat, w którym każdy wyrok ma określoną ilość i łącznik, określający logiczną formę wyroku.
  • Współczesny pogląd jest bardziej złożony, ponieważ pojedynczy sąd systemu Arystotelesa obejmuje dwa lub więcej logicznych łączników. Na przykład zdanie „Wszyscy ludzie są śmiertelni” obejmuje, w terminologii logicznej, dwa wyrażenia nielogiczne „jest człowiekiem” (tutaj M ) i „jest śmiertelny” (tutaj D ): wyrok jest wydany przez wyrok A ( M, D) . W logice predykatów zdanie zawiera te same dwa nielogiczne pojęcia, analizowane tutaj jako i , a zdanie jest dane przez , obejmujące logiczne łączniki dla uniwersalnej kwantyfikacji i implikacji .

Bardziej złożony, nowoczesny widok ma większą moc. We współczesnym ujęciu podstawowa forma zdania prostego jest nadana przez schemat rekurencyjny, taki jak język naturalny i zawierający łączniki logiczne , które są połączone przez zestawienie z innymi zdaniami, które z kolei mogą mieć strukturę logiczną. Średniowieczni logicy rozpoznali problem wielorakiej ogólności , w której logika Arystotelesa nie jest w stanie w zadowalający sposób przedstawić takich zdań, jak „niektórzy ludzie mają całe szczęście”, ponieważ zarówno ilości „wszystko”, jak i „niektóre” mogą mieć znaczenie w wnioskowaniu, ale ustalony schemat , którego użył Arystoteles, pozwala tylko jednemu rządzić wnioskiem. Tak jak lingwiści rozpoznają strukturę rekurencyjną w językach naturalnych, wydaje się, że logika potrzebuje struktury rekurencyjnej.

Formy logiczne w przetwarzaniu języka naturalnego

W analizie semantycznej instrukcje w językach naturalnych są przekształcane w formy logiczne, które reprezentują ich znaczenie.

Zobacz też

Bibliografia

Dalsza lektura

Linki zewnętrzne