biblio toscana

La prova ontologica (dal greco òntos, genitivo di òn, participio presente di eimì, essere) è una dimostrazione logica dell'esistenza dell'Essere. Per traslazione, nella scolastica divenne la dimostrazione a priori dell'esistenza di Dio. Sin dal tempo dei presocratici si ebbero numerosi tentativi e confutazioni di prove ontologiche: pensiamo all'Essere di Parmenide, o al discorso di Socrate sugli dèi (che gli valse l'accusa di empietà). La maggior parte di simili argomenti si basavano sull'identità tra essere e pensare.

Logica della scoperta scientifica è un celebre saggio di filosofia della scienza di Karl Popper, in cui vengono trattati il significato e la struttura logica a fondamento della scienza e della sua metodologia. Originariamente pubblicato nel 1934 in tedesco col titolo Logik der Forschung (che però significa "Logica della ricerca" e non "della scoperta"), fu riveduto e fu scritta in seguito, nel 1959, un'edizione in inglese ad opera dello stesso Popper, col titolo cambiato appunto in The Logic of Scientific Discovery. Secondo Peter Medawar, questo libro è "uno dei più importanti scritti del XX secolo".

Guglielmo di Occam, od Ockham (in latino: Guillelmus de Ockham, in inglese William of Ockham; Ockham, 1288 – Monaco di Baviera, 1347), è stato un teologo, filosofo e religioso francescano inglese.

Gottfried Wilhelm von Leibniz (pronuncia tedesca [ˈlaɪ̯pnɪʦ]; latinizzato in Leibnitius, e talvolta italianizzato in Leibnizio; tedesco e francese desueto Leibnitz; Lipsia, 1º luglio 1646 – Hannover, 14 novembre 1716) è stato un filosofo, matematico, scienziato, logico, teologo, linguista, glottoteta, diplomatico, giurista, storico, magistrato tedesco. E' uno dei massimi esponenti del pensiero occidentale, nonché una delle poche figure di "genio universale"; la sua applicazione intellettuale a pressoché tutte le discipline del sapere ne rende l'opera vastissima e studiata ancor oggi trasversalmente. A lui, assieme a Isaac Newton, vengono generalmente attribuiti l'introduzione e i primi sviluppi del calcolo infinitesimale, in particolare il concetto di integrale, per il quale si usano ancora oggi molte sue notazioni. A Leibniz si devono i termini "funzione", che egli usò per individuare le proprietà di una curva, tra cui l'andamento, la pendenza, la corda, la perpendicolare in un punto, e "dinamica".Considerato il precursore dell'informatica, della neuroinformatica e del calcolo automatico, fu inventore di una calcolatrice meccanica detta Macchina di Leibniz; inoltre alcuni ambiti della sua filosofia aprirono numerosi spiragli sulla dimensione dell'inconscio che solo nel XX secolo, con Sigmund Freud si tenterà di esplorare.

L'esistenza di Dio costituisce una delle fondamentali questioni aperte della filosofia e in particolare della metafisica. La teologia si occupa fin dai tempi della Grecia antica della natura e delle opere di Dio o degli dei. Le diverse teologie hanno spiegato in vario modo l'origine della fede in Dio facendo riferimento, per esempio, al ragionamento, alla rivelazione soprannaturale o alla libera scelta del singolo. Un esempio della prima posizione è la teologia cattolica, che nella linea di Tommaso d'Aquino ritiene l'esistenza di Dio tutt'altro che auto-evidente alla ragione, ma cui la ragione può giungere in seguito a un ragionamento fondato su argomenti naturali, ovvero non rivelati (cfr. Teologia fondamentale). Un esempio della seconda è il luteranesimo, che conta sul principio dei cinque sola per giustificare la credenza in Dio. Particolarmente nell'età contemporanea (anche se non mancano spunti nel mondo antico) alcuni filosofi hanno teorizzato, usando varie argomentazioni razionali, l'inesistenza di un dio (ateismo). Spesso hanno difeso questa loro tesi in opposizione alle tradizionali ontologie teistiche alla base di metafisiche fisicalistiche, spiritualistiche o umanistiche.

L'epistemologia (dal greco ἐπιστήμη, epistème, "conoscenza certa" ossia "scienza", e λόγος, logos, "discorso") è quella branca della filosofia che si occupa delle condizioni sotto le quali si può avere conoscenza scientifica e dei metodi per raggiungere tale conoscenza. In un'accezione più ristretta l'epistemologia viene a volte identificata con la filosofia della scienza, la disciplina che oltre ai fondamenti e ai metodi delle diverse discipline scientifiche si occupa anche delle implicazioni filosofiche delle scoperte scientifiche. Il termine, coniato nel 1854 dal filosofo scozzese James Frederick Ferrier, indica specificamente quella parte della gnoseologia che studia i fondamenti, la validità e i limiti della conoscenza scientifica. Nei paesi di lingua inglese il concetto di epistemologia è invece principalmente utilizzato come sinonimo di gnoseologia o teoria della conoscenza - la disciplina che si occupa dello studio della conoscenza in generale.