Logisk form - Logical form

Dette argumentet i begrepet logikk ved bruk av modus ponens bruker tre påstander i logisk form uttrykt på forenklet engelsk.

I logikk er den logiske formen for en uttalelse en presis spesifisert semantisk versjon av den utsagnet i et formelt system . Uformelt forsøker den logiske formen å formalisere en muligens tvetydig uttalelse til en uttalelse med en presis, entydig logisk tolkning med hensyn til et formelt system. I et ideelt formelt språk kan betydningen av en logisk form bestemmes entydig ut fra syntaksen alene. Logiske former er semantiske, ikke syntaktiske konstruksjoner; derfor kan det være mer enn én streng som representerer den samme logiske formen på et gitt språk.

Den logiske formen for et argument kalles argumentformen for argumentet.

Historie

Viktigheten av begrepet form for logikk var allerede anerkjent i eldgamle tider. Aristoteles , i Prior Analytics , var sannsynligvis den første som brukte variable bokstaver for å representere gyldige slutninger. Derfor hevder Jan Łukasiewicz at innføringen av variabler var "en av Aristoteles største oppfinnelser."

I følge tilhengerne av Aristoteles som Ammonius , er det bare de logiske prinsippene som er angitt i skjematiske termer som hører til logikken, og ikke de som er gitt konkret. De konkrete begrepene menneske , dødelig og så videre er analoge med substitusjonsverdiene til de skjematiske plassholderne A , B , C , som ble kalt "saken" (gresk hyle , latin materia ) i argumentet.

Selve begrepet "logisk form" ble introdusert av Bertrand Russell i 1914, i sammenheng med hans program for å formalisere naturlig språk og resonnement, som han kalte filosofisk logikk . Russell skrev: "En eller annen form for kunnskap om logiske former, selv om den ikke er eksplisitt hos folk flest, er involvert i all forståelse av diskurs. Det er filosofisk logikk å utvinne denne kunnskapen fra dens konkrete integrasjoner, og å gjøre den eksplisitt. og ren. "

Eksempel på argumentform

For å demonstrere viktig oppfatningen av formen av et argument, erstatte bokstaver for tilsvarende eiendeler gjennom setningene i den opprinnelige argumentet.

Opprinnelig argument: Alle mennesker er dødelige.; Sokrates er menneske.; Derfor er Sokrates dødelig.
Argumentform: Alle H er M .; S er H .; Derfor, S er M .

Alt som er gjort i argumentformen er å sette H for mennesker og mennesker , M for dødelige og S for Sokrates . Hva som er resultatet er formen på det opprinnelige argumentet. Videre er hver enkelt setning av argumentet formen er den setning formen av dens respektive setning i den original argumentet.

Betydningen av argumentform

Oppmerksomhet gis til argument og setningsform, fordi form er det som gjør et argument gyldig eller kogent. Alle logiske argument er enten induktive eller deduktive. Induktive logiske former inkluderer induktiv generalisering, statistiske argumenter, årsaksargument og argumenter fra analogi. Vanlige deduktive argumentformer er hypotetisk syllogisme , kategorisk syllogisme , argument per definisjon, argument basert på matematikk, argument fra definisjon. De mest pålitelige former for logikk er modus ponens , modus tollens og kjedeargumenter , for hvis argumentets premisser er sanne, følger konklusjonen nødvendigvis. To ugyldige argumentasjonsskjemaer bekrefter den påfølgende og nekter forgjengeren .

Bekrefter den påfølgende: Alle hunder er dyr.; Coco er et dyr.; Derfor er Coco en hund.

Nekter forgjengeren: Alle katter er dyr.; Missy er ikke en katt.; Derfor er ikke Missy et dyr.

Et logisk argument , sett på som et ordnet sett med setninger, har en logisk form som stammer fra formen av dets sammensatte setninger; den logiske formen for et argument kalles noen ganger argumentform. Noen forfattere definerer bare logisk form med hensyn til hele argumenter, som skjematisk eller inferensiell struktur for argumentet. I argumentasjonsteori eller uformell logikk blir en argumentasjonsform noen ganger sett på som en bredere forestilling enn den logiske formen.

Den består i å fjerne alle falske grammatiske funksjoner fra setningen (som kjønn og passive former), og erstatte alle uttrykkene som er spesifikke for gjenstanden for argumentet med skjematiske variabler . Således viser for eksempel uttrykket "alle A er B" den logiske formen som er vanlig for setningene "alle mennesker er dødelige", "alle katter er rovdyr", "alle grekere er filosofer" og så videre.

Logisk form i moderne logikk

Den grunnleggende forskjellen mellom moderne formell logikk og tradisjonell, eller aristotelisk logikk, ligger i deres forskjellige analyse av den logiske formen for setningene de behandler:

På det tradisjonelle synet består setningsformen av (1) et subjekt (f.eks. "Mann") pluss et tegn på mengde ("alt" eller "noe" eller "nei"); (2) kopulaen , som har formen "er" eller "er ikke"; (3) et predikat (f.eks. "Dødelig"). Dermed: "alle mennesker er dødelige." De logiske konstanter som "alle", "nei", og så videre, i tillegg til setnings bindeord som "og" og "eller" ble kalt syncategorematic vilkår (fra gresk kategorei - til predikat, og syn- - sammen med). Dette er et fast skjema, der hver dom har en bestemt størrelse og kopula, som bestemmer den logiske formen for setningen.
Det moderne synet er mer komplekst, siden en enkelt vurdering av Aristoteles system innebærer to eller flere logiske forbindelser. For eksempel innebærer setningen "Alle menn er dødelige", i betegnelsen logikk, to ikke-logiske begreper "er en mann" (her M ) og "er dødelig" (her D ): setningen er gitt av dommen A ( M, D) . I predikatlogikk involverer setningen de samme to ikke-logiske begrepene, her analysert som og , og setningen er gitt av , som involverer de logiske forbindelsene for universell kvantifisering og implikasjon . ${\ displaystyle m (x)}$ ${\ displaystyle d (x)}$ ${\ displaystyle \ forall x (m (x) \ rightarrow d (x))}$

Den mer komplekse moderne utsikten kommer med mer kraft. På det moderne synet er den grunnleggende formen for en enkel setning gitt av et rekursivt skjema, som naturlig språk og involverer logiske forbindelser , som sammenføyes med andre setninger, som igjen kan ha logisk struktur. Middelalderens logikere anerkjente problemet med flere generaler , der aristotelisk logikk ikke klarer å gjengi setninger som "noen gutter har all hell" på tilfredsstillende måte, fordi begge mengdene "alt" og "noen" kan være relevante i en slutning, men den faste ordningen som Aristoteles brukte tillater bare en å styre slutningen. Akkurat som språkforskere gjenkjenner rekursiv struktur i naturlige språk, ser det ut til at logikk trenger rekursiv struktur.

Logiske former i naturlig språkbehandling

I semantisk analyse konverteres utsagn på naturlige språk til logiske former som representerer deres betydning.

Se også

Referanser

Videre lesning

Richard Mark Sainsbury (2001). Logiske former: en introduksjon til filosofisk logikk . Wiley-Blackwell. ISBN 978-0-631-21679-7 .
Gerhard Preyer, Georg Peter, red. (2002). Logisk form og språk . Clarendon Press. ISBN 978-0-19-924555-0 .
Gila Sher (1991). Grensene for logikk: et generalisert synspunkt . MIT Trykk. ISBN 978-0-262-19311-5 .

Eksterne linker

Logisk form hos PhilPapers
Pietroski, Paul. "Logisk skjema" . I Zalta, Edward N. (red.). Stanford Encyclopedia of Philosophy .
Logisk form ved Indiana Philosophy Ontology Project
Beaney, Michael, "Analysis", The Stanford Encyclopedia of Philosophy (Summer 2009 Edition), Edward N. Zalta (red.)
IEP, gyldighet og sunnhet

Languages

In other projects