Possibilità e impossibilità

Questo articolo è uno schema riguardante la filosofia e la logica .

Puoi condividere la tua conoscenza migliorandola ( come? ) secondo le raccomandazioni dei progetti corrispondenti .

Consulta l'elenco delle attività da svolgere nella pagina di discussione .

La possibilità logica si riferisce ad una proposta che può essere la logica conseguenza di un'altra, basata sugli assiomi di un sistema logico dato. Pertanto, una proposizione logicamente possibile è coerente con gli assiomi del sistema logico in cui si trova. formula. Pertanto, la possibilità di una proposizione dipenderà dal sistema logico utilizzato.

Alcuni sistemi logici limitano le inferenze basate su proposizioni inconsistenti o consentono vere contraddizioni , mentre altri hanno una logica multivalore invece del sistema binario di verità a due valori  : vero o falso. Tuttavia, rispetto alla possibilità logica, si assume generalmente che il sistema in questione sia la logica proposizionale classica.

La possibilità logica deve essere differenziata da altri tipi di possibilità congiuntive. Ad esempio, può essere logicamente possibile che le leggi fisiche dell'universo siano diverse da ciò che realmente sono. In questo caso, molte cose - che consideriamo impossibili - diventano logicamente possibili: ad esempio, potrebbe essere possibile viaggiare più veloci della luce o scappare dai buchi neri. Molti filosofi hanno quindi sostenuto che questi scenari sono logicamente possibili, ma in pratica impossibili a causa di leggi fisiche.

Tenendo presente questa comprensione della possibilità logica, si possono definire altre modalità logiche:

La possibilità logica si distingue dalla possibilità metafisica: mentre la prima si riferisce a ciò che è permesso in un sistema logico, la seconda riguarda ciò che può essere vero (o esistere) in assoluto. Quindi, certe proposizioni sono logicamente possibili (in un dato sistema logico) sebbene metafisicamente impossibili, o al contrario logicamente impossibili mentre potrebbero essere vere in un mondo possibile. Ma alcuni filosofi sostengono che la possibilità logica è più ampia della possibilità metafisica, così che tutto ciò che è possibile metafisicamente è anche logicamente.

Filosofia

Secondo alcuni filosofi, come Aristotele che distingue tra ciò che è in atto e ciò che risiede in potenza, il possibile è già determinato  : è quindi una realtà latente che manca solo di realizzazione. Ad esempio, l'albero è virtualmente presente nel seme. Le possibilità si dicono allora predeterminate, così come in teologia può esserci una predestinazione nel ricevere la grazia .

Altri filosofi, come Leibniz , rifiutano questa concezione. Per loro, il possibile appartiene al regno delle verità di fatto, o "verità contingenti": se è possibile che io faccia A o B, ciò non significa che sia necessario che io faccia A o B. Individuare la possibilità di predeterminare necessità, cioè a un potere che manca solo di attualizzazione, è in effetti evacuare il libero arbitrio . Attraverso il concetto della nozione completa della monade , o sostanza individuale, Leibniz cerca così di salvare sia la contingenza, e quindi la libertà , sia la scelta divina.

Il virtuale è ciò che esiste potenzialmente e non, di fatto, in modo concreto, ma che agisce come se lo fosse.

Note e riferimenti

  1. Anand Vaidya , "  L'epistemologia della modalità  " , su Stanford Encyclopedia of Philosophy , Stanford Encyclopedia of Philosophy (consultato il 10 ottobre 2015 )

Vedi anche