Logikk i filosofi
← BackInnledning
Forholdet mellom logikk og filosofi er dypt og tosidig. Filosofi har formet utviklingen av logikk, mens logikk gir verktøy for å analysere filosofiske argumenter og klargjøre filosofiske begreper.
Fra antikkens aristoteliske syllogismer til moderne modallogikk har filosofer vært både skapere og brukere av logiske systemer. Logikk hjelper filosofer med å formalisere argumenter, oppdage feilslutninger og utforske strukturen i resonnering selv.
Denne guiden utforsker logikkens filosofi (spørsmål om logikkens natur selv), filosofisk logikk (anvendelser av logikk på filosofiske problemer), og den historiske utviklingen av logisk tankegang i filosofi.
Logikkens filosofi
Logikkens filosofi undersøker grunnleggende spørsmål om logikk selv: Hva er logikk? Hva er logiske sannheter? Blir logiske lover oppdaget eller oppfunnet?
Disse meta-logiske spørsmålene undersøker logikkens natur, omfang og grenser som disiplin, og utforsker hva som gjør logisk resonnering spesielt og om logikk er universell eller kontekstavhengig.
Metafysikk om logisk sannhet
Hva gjør logiske sannheter (som 'A ∨ ¬A') nødvendigvis sanne? Er de sanne i kraft av mening, form eller noe annet? Filosofer debatterer om logisk sannhet er konvensjonell eller objektiv.
Logisk nødvendighets natur
Logiske sannheter virker nødvendigvis sanne - sanne i alle mulige verdener. Men hva forklarer denne nødvendigheten? Er det språklig konvensjon, metafysisk faktum, eller noe om selve tankens struktur?
Deskriptiv eller preskriptiv?
Beskriver logiske lover hvordan vi faktisk resonnerer (deskriptivt) eller foreskriver de hvordan vi bør resonnere (normativt)? Kan folk bryte logiske lover, eller indikerer brudd ganske enkelt irrasjonalitet?
Konvensjonalisme vs platonisme
Konvensjonalister argumenterer for at logiske sannheter er sanne ved språklig konvensjon. Platonister hevder at logikk oppdager objektive sannheter om abstrakte logiske entiteter. Denne debatten paralleller lignende debatter i matematikk.
Historisk utvikling
Logikkens historie i vestlig filosofi strekker seg over mer enn to årtusener, fra Aristoteles' syllogistikk til moderne utvikling innen modal og ikke-klassisk logikk.
Aristoteles' syllogistiske logikk
Aristoteles systematiserte logisk resonnering i sitt Organon, og utviklet syllogistisk logikk: argumenter med to premisser og en konklusjon som involverer kategoriske proposisjoner (Alle/Ingen/Noen S er P).
Middelalderlogikk og skolastikk
Middelalderfilosofer forfinet aristotelisk logikk betydelig, og utviklet sofistikerte teorier om konsekvens, forpliktelser og semantiske paradokser. Arbeidet deres ble gjenoppdaget på 1900-tallet.
Leibniz' Mathesis Universalis
Gottfried Leibniz forestilte seg et universelt logisk språk (characteristica universalis) som kunne uttrykke all menneskelig kunnskap og løse filosofiske tvister gjennom beregning.
Freges revolusjon
Gottlob Frege skapte moderne predikatlogikk med kvantorer (∀, ∃), transformerte logikk til en matematisk disiplin og muliggjorde analysen av matematisk resonnering.
Russells og Whiteheads logisisme
Bertrand Russell og Alfred North Whitehead forsøkte å redusere all matematikk til logikk i Principia Mathematica, med dyp innflytelse på både logikk og matematikkens filosofi.
Wienerkretsen og logisk positivisme
Wienerkretsen brukte logikk til å analysere vitenskapelig språk og foreslo verifikasjonsprinsippet: meningsfulle utsagn må enten være analytisk sanne eller empirisk verifiserbare.
Filosofisk logikk - emner
Filosofisk logikk anvender logiske verktøy på filosofiske problemer, og utvider klassisk logikk til å håndtere modalitet, tid, plikt, kunnskap og mer.
Modallogikk
Legger til operatorer for nødvendighet (□) og mulighet (◇) for å analysere modale begreper. 'Nødvendigvis P' (□P) betyr at P er sann i alle mulige verdener. Essensiell for metafysikk og språkfilosofi.
Temporal logikk
Introduserer operatorer for fortid, nåtid og framtid for å formalisere resonnering om tid. Brukes i tidsfilosofi og informatikk for å spesifisere systemadferd over tid.
Deontisk logikk
Logikk for plikt og tillatelse. Operatorene O (obligatorisk), P (tillatt), F (forbudt) formaliserer moralsk og juridisk resonnering. Adresserer paradokser som pliktstridige forpliktelser.
Epistemisk logikk
Logikk for kunnskap og tro. Operatorene K (vet), B (tror) modellerer epistemiske tilstander. Analyserer kunnskapsbetingelser, felles kunnskap og epistemiske paradokser som kunnskapsparadokset.
Betinget logikk
Studerer kontrafaktiske betingelser ('Hvis det hadde regnet, ville kampen vært avlyst') som ikke er tilstrekkelig fanget av materiell implikasjon. Avgjørende for kausalitet og beslutningsteori.
Relevanslogikk
Avviser prinsippet om at hva som helst følger av en motsigelse (ex falso quodlibet) og at tautologier følger av hva som helst. Krever logisk forbindelse mellom premiss og konklusjon.
Logikk og språk
Naturlig språk inneholder logisk struktur, men forholdet mellom grammatisk form og logisk form er komplekst. Filosofer bruker logikk til å analysere mening og sannhetsbetingelser.
Problemer som skoptvetydighet, bestemte beskrivelser og presupposisjon viser at formell logikk belyser, men ikke perfekt speiler naturlig språk.
Nøkkelemner i logikk og språk
- Logisk form vs grammatisk form: 'Noen politiker er ærlig' har forskjellig logisk struktur fra det grammatikken antyder
- Tvetydighet og skop: 'Alle elsker noen' kan bety ∀x∃y eller ∃y∀x - forskjellige logiske strukturer
- Bestemte beskrivelser: Russells analyse av 'Frankrikes konge er skallet' som kvantifisert utsagn heller enn enkel predikasjon
- Presupposisjon: 'Frankrikes konge er skallet' forutsetter eksistensen av kongen - forskjellig fra påstand
- Implikatur: Grice viste hvordan logisk mening skiller seg fra samtaleimplikatur (det som implisitt kommuniseres)
- Naturlige vs formelle språk: Formelle språk ofrer uttrykksevne for presisjon; naturlige språk er rikere men logisk rotete
Argumentanalyse
Logikk gir verktøy for å evaluere argumenter - sentralt for filosofisk metodologi. Å skille gyldige fra ugyldige argumenter og solide fra usolide argumenter er grunnleggende for kritisk tenkning.
Gyldighet vs soliditet
Et argument er gyldig hvis konklusjonen følger logisk av premissene (hvis premisser sanne, må konklusjon være sann). Et argument er solid hvis det er gyldig og har sanne premisser.
Deduksjon vs induksjon
Deduktive argumenter sikter mot logisk nødvendighet - hvis premisser sanne, må konklusjon være sann. Induktive argumenter sikter mot probabilistisk støtte - premisser gjør konklusjon sannsynlig, men ikke sikker.
Abduktiv resonnering
Inferens til beste forklaring: gitt bevis, utled hypotesen som best ville forklare det. Vanlig i vitenskap og daglig resonnering, selv om logisk ikke-demonstrativ.
Uformell logikk og argumentasjon
Studerer argumenter i naturligspråklige kontekster, inkludert feilslutninger, retoriske strategier og argumentasjonsskjemaer. Komplementerer formell logikks symbolske tilnærming.
Paradokser i logikk
Logiske paradokser er argumenter som ser ut til å utlede motsigelser fra tilsynelatende akseptable premisser ved tilsynelatende gyldig resonnering. De avslører grenser og motiverer forfinelser av logiske systemer.
Løgnerparadokset
Vurder 'Denne setningen er usann.' Hvis den er sann, er den usann (som den hevder); hvis den er usann, er den sann (siden den hevder å være usann). Et selvrefererende paradoks som utfordrer klassisk logikk.
Russells paradoks
La R = {x : x ∉ x}. Er R ∈ R? Hvis ja, da R ∉ R (etter definisjon); hvis nei, da R ∈ R (etter definisjon). Dette paradokset ødela naiv mengdelære.
Sorites-paradokset (haugparadokset)
Ett korn er ikke en haug. Å legge til ett korn skaper ikke en haug. Likevel har vi til slutt en haug. Dette paradokset om vaghet utfordrer klassisk logikks bivalens (ethvert utsagn er sant eller usant).
Currys paradoks
Hvis (hvis denne setningen er sann, da P), da P. Hvis vi aksepterer denne betingelsen, kan vi bevise ethvert utsagn P. Viser problemer med ubegrenset selvreferanse i betingelser.
Løsninger og implikasjoner
Forskjellige paradokser antyder forskjellige løsninger: typeteori (Russell), sannhetsverdigap (Løgner), flerverdige logikker (Sorites), begrenset selvreferanse (Curry). Paradokser driver logisk innovasjon.
Logiske systemer
Forskjellige logiske systemer gjør forskjellige antakelser. Klassisk logikk er standard, men ikke-klassiske logikker utfordrer eller modifiserer dens prinsipper av teoretiske eller praktiske grunner.
Klassisk logikk
Antar bivalens (ethvert utsagn er sant eller usant), ekskludert midten (A ∨ ¬A), ikke-motsigelse (¬(A ∧ ¬A)), og standard sannhetsfunksjonelle konnektiver. Standardsystemet i matematikk.
Ikke-klassiske logikker
Intuisjonistisk logikk avviser ekskludert midten. Parakonsistent logikk aksepterer noen motsigelser. Flerverdige logikker bruker mer enn to sannhetsverdier. Hver adresserer begrensninger ved klassisk logikk.
Logisk pluralisme
Synet at flere logiske systemer kan være like korrekte, kanskje for forskjellige domener eller formål. Står i kontrast til logisk monisme (én sann logikk). Et aktivt område for filosofisk debatt.