Filosofia della scienza-14.

Filosofia della scienza
Filosofia della scienza, circolo di vienna, karl popper, thomas kuhn, platone, La società aperta e i suoi nemici, ludwig wittgenstein, metascienza, norberto bobbio, Sambursky, Il mondo fisico dei Greci, william whevell, il declino della violenza, stephen pinker, l'universo senza stringhe, smolin, Evidence Based Medicine, chaim perelman, rodney stark, metafisica cristiana, giustificazione, edmund gettier, testimonianza scientifica, conoscenza scientifica, imre lakatos, Rodney Stark, A Gloria di Dio-Come il cristianesimo ha prodotto le eresie la scienza la caccia alle streghe e la fine della schiavitù, probabilità iniziale, probabilità finale, la logica della scoperta scientifica, karl popper, Niiniluoto,

di Sergio Mauri

a e b: almeno uno dei due è vero, escludiamo il caso siano entrambi falsi.

Non (non a e non b); quindi sono veri.

Possiamo usare solo non e oppure? Se sono entrambi veri allora non (non a e non b).

I connettivi vero-funzionali nel linguaggio logico formale sono funzione di verità degli enunciati che ne fanno parte.

I connettivi VF sono almeno 16. Qui ne vedremo tre.

Per noi è importante non avere troppi simboli e non avere frasi troppo lunghe.

VF l’enunciato a è vero-funzionale ≡ il valore di verità a dipende solo dai valori di verità dei componenti di a.

VF è una definizione formulata in modo rigoroso. Gli elementi costitutivi di VF sono due espressioni linguistiche collegate dal simbolo “≡”.

Che si legge in uno di questi modi:

  • “ha lo stesso significato di”
  • “è uguale per definizione a”

CVneg: condizione di verità della negazione.

CVcong: condizione di verità della congiunzione.

CVdisg: condizione di verità della disgiunzione.

I mondi possibili, termine leibniziano, sono intesi come possibilità reciprocamente esclusive ed esaustive, nel senso che una e una sola di esse si realizza. Il mondo possibile che si realizza viene chiamato “mondo reale”. Ma come conciliare il migliore dei mondi possibili col terremoto di Lisbona? Perché altrimenti potremmo avere un mondo dove manca la libertà umana.

“Mondi possibili” e “mondo reale” possono essere sostituiti da “possibili stati di cose” e “reale stato di cose”. La logica se ne frega del mondo vero e reale. Parlando di mondi possibili di un linguaggio simbolico L ci riferiamo ai mondi possibili che possono venire identificati mediante le risorse espressive di L. Più aumenta la ricchezza del linguaggio, più aumentano i mondi possibili identificati dai nomi di quel linguaggio. Le regole in base alle quali viene costruito un linguaggio simbolico L ci consentono di determinare il valore di verità degli enunciati di L in ciascun mondo possibile di L.

L è semanticamente determinato; è determinato nel significato delle espressioni linguistiche.

Nella scienza dobbiamo avere certezza del significato di un enunciato, dobbiamo essere oltre le ambiguità del linguaggio naturale di uso quotidiano.

La nozione di significato è strettamente connessa a quella di verità, nel senso che il significato di un enunciato a è determinato, almeno in ampia misura, dall’insieme di mondi possibili nei quali a è vero. Linguaggio semanticamente determinato –> SD.

Da SD segue che da ogni enunciato a di L, si può determinare l’insieme m(a) dei mondi possibili in cui a è vero.

M(a) è l’ambito di possibilità di a, o l’ambito di a. Determinare m(a) permette di stabilire cosa dice a: possiamo quindi dire che m(a) è la proposizione espressa da a.

Useremo la {} per gli insiemi.

“Piove oppure non piove” è una verità logica.

“Piove e non piove” è una falsità logica.

Accertare la verità di un mondo richiede l’osservazione, cioè la scienza.

Sergio Mauri
Autore Sergio Mauri Blogger. Premio speciale al Concorso Claudia Ruggeri nel 2007; terzo posto al Premio Igor Slavich nel 2020. Ha pubblicato con Terra d’Ulivi nel 2007 e nel 2011, con Hammerle Editori nel 2013 e 2014 e con Historica Edizioni e Alcova Letteraria nel 2022 e Silele Edizioni (La Tela Nera) nel 2023.
** Se puoi sostenere il mio lavoro, comprami un libro | Buy me a book! **

About the Author

Sergio Mauri
Blogger, autore. Perito in Sistemi Informativi Aziendali, musicista e compositore, Laurea in Discipline storiche e filosofiche. Premio speciale al Concorso Claudia Ruggeri nel 2007; terzo posto al Premio Igor Slavich nel 2020. Ha pubblicato con Terra d'Ulivi nel 2007 e nel 2011, con Hammerle Editori nel 2013 e 2014, con PGreco nel 2015 e con Historica Edizioni e Alcova Letteraria nel 2022 e Silele Edizioni (La Tela Nera) nel 2023.