Mulighet og umulighet

Denne artikkelen er en oversikt over filosofi og logikk .

Du kan dele din kunnskap ved å forbedre den ( hvordan? ) I henhold til anbefalingene fra de tilsvarende prosjektene .

Se listen over oppgaver som skal utføres på diskusjonssiden .

Den logiske muligheten refererer til et forslag som kan være den logiske konsekvensen av et annet, basert på aksiomene til et systemlogisk gitt. Derfor er en logisk mulig proposisjon en som er i samsvar med aksiomene til det logiske systemet det er funnet i. formel. Derfor vil muligheten for en proposisjon avhenge av det logiske systemet som brukes.

Noen logikksystemer begrenser slutninger basert på inkonsekvente proposisjoner eller tillater ekte motsetninger , mens andre har flervurdert logikk i stedet for det binære toverdige sannhetssystemet  : sant eller usant. Imidlertid antas det generelt at det aktuelle systemet er klassisk proposisjonslogikk med hensyn til logisk mulighet .

Den logiske muligheten må skilles fra andre typer konjunktivmuligheter. For eksempel kan det være logisk mulig at de fysiske lovene i universet er forskjellige fra hva de egentlig er. I dette tilfellet blir mange ting - som vi anser som umulige - logisk mulig: å reise fortere enn lys eller unnslippe sorte hull kan være mulig. Mange filosofer har derfor hevdet at disse scenariene er logisk mulig, men i praksis umulige på grunn av fysiske lover.

Med denne forståelsen av logisk mulighet i tankene, kan andre logiske modaliteter defineres:

• en proposisjon er logisk nødvendig hvis det ikke kan være mulig at det er falskt i et logisk system;
• en proposisjon er logisk umulig hvis det ikke er mulig for det å være sant i et logisk system;
• et forslag er logisk betinget hvis det logisk kan være sant eller usant.

Logisk mulighet skilles fra metafysisk mulighet: mens den første refererer til det som er tillatt i et logisk system, gjelder den andre det som kan være sant (eller eksistere) i det absolutte. Dermed er visse proposisjoner logisk mulig (i et gitt logisk system), men metafysisk umulig, eller omvendt logisk umulig, mens de kan være sanne i en mulig verden. Men noen filosofer hevder at den logiske muligheten er bredere enn den metafysiske muligheten, slik at alt som er metafysisk mulig også er logisk.

Filosofi

I følge visse filosofer, som Aristoteles som skiller mellom det som er i handling og det som ligger i potensialet, er det mulige allerede bestemt  : det er da en latent virkelighet som bare mangler realisering. For eksempel er treet praktisk talt tilstede i frøet. Mulighetene sies da å være forutbestemt, akkurat som i teologien kan det være en forutbestemmelse i å motta nåde .

Andre filosofer, som Leibniz , avviser denne forestillingen. For dem tilhører det mulige faktiske sannheter eller "kontingente sannheter": hvis det er mulig at jeg gjør A eller B, betyr ikke det at det er nødvendig at jeg gjør A eller B. Identifiser muligheten til forhåndsbestemt nødvendighet, det vil si til en kraft som bare mangler aktualisering, er det i virkeligheten å evakuere fri vilje . Gjennom konseptet med den komplette forestillingen om monaden , eller individuelle substanser, prøver Leibniz dermed å redde både beredskap, og derfor frihet , og guddommelig valg.

Det virtuelle er det som eksisterer potensielt og ikke faktisk på en konkret måte, men som fungerer som om det var.

Merknader og referanser

• (pt) Denne artikkelen er helt eller delvis hentet fra Wikipedia-artikkelen på portugisisk med tittelen “  Possibilidade lógica  ” ( se forfatterlisten ) .

1. Anand Vaidya , "  The Epistemology of Modality  " , på Stanford Encyclopedia of Philosophy , Stanford Encyclopedia of Philosophy (åpnet 10. oktober 2015 )

Se også

• Lydopptak av et universitetsseminar "Det mulige og kontingenten"
• Diodorus Cronos