logica induttiva
Claudio Pizzi
Estensione della logica deduttiva che descrive inferenze in cui la conclusione non segue dalle premesse con certezza assoluta ma riceve da queste un certo grado calcolabile [...] espresso da gradi di probabilità, al punto che nella visione dei cosiddetti logicisti (come John M. Keynes e RudolfCarnap) la conferma induttiva si identifica con la probabilità condizionale della conclusione date le premesse e la logica induttiva ...
Leggi Tutto
mondi possibili
Claudio Pizzi
La nozione di mondi possibili si fa risalire storicamente a Gottfried Wilhelm Leibniz, che intendeva i mondi possibili come idee nella mente di Dio. Nella metafisica di [...] è uno dei molteplici mondi possibili e, dal punto di vista di Dio, il migliore dei mondi possibili. Nel 1947 RudolfCarnap riprendeva questa nozione per associare una semantica al più forte dei sistemi modali allora conosciuti (il sistema S5). In tal ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] anni Venti del secolo scorso coi tentativi di Emil L. Post e David Hilbert – ripresi in altra prospettiva da RudolfCarnap nel 1934 con la sua Logische Syntax der Sprache – di fondare un’analisi puramente combinatoria dei sistemi deduttivi visti ...
Leggi Tutto