Forma logiczna - Logical form
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ż
- Gramatyka kategorialna
- Rozważ i odniesienie
- Rozróżnienie analityczno-syntetyczne
- Lista prawidłowych form argumentów
Bibliografia
Dalsza lektura
- Richard Mark Sainsbury (2001). Formy logiczne: wprowadzenie do logiki filozoficznej . Wiley-Blackwell. ISBN 978-0-631-21679-7 .
- Gerhard Preyer, Georg Peter, wyd. (2002). Forma logiczna i język . Clarendon Press. ISBN 978-0-19-924555-0 .
- Gila Sher (1991). Granice logiki: uogólniony punkt widzenia . MIT Press. ISBN 978-0-262-19311-5 .
Linki zewnętrzne
- Forma logiczna w PhilPapers
- Pietroski, Paul. „Forma logiczna” . W Zalta Edward N. (red.). Stanford Encyclopedia of Philosophy .
- Forma logiczna w Indiana Philosophy Ontology Project
- Beaney, Michael, „Analiza”, The Stanford Encyclopedia of Philosophy (wydanie lato 2009), Edward N. Zalta (red.)
- IEP, ważność i rzetelność