La scienza bizantina e latina: la nascita di una scienza europea. L'infinito e l'eternita del mondo
Johannes M.M.H. Thijssen
L'infinito e l'eternità del mondo
La questione dell'infinito si è imposta [...]
Per quanto riguarda il contesto storico nel quale fu elaborata la 'logica dell'infinito', gli studiosi hanno attribuito a diverse cause il diffondersi dell'analisi proposizionale nella filosofia della Natura (Murdoch 1981b, 1982b). Tra queste vi era ...
Leggi Tutto
Croce e Dewey
Brian P. Copenhaver
Le ragioni di un ‘conflitto’
John Dewey e Benedetto Croce morirono nel 1952, a distanza di sei mesi l’uno dall’altro, dopo aver vissuto due vite lunghe durante le quali [...] e nel futuro. Le idee – le idee espresse in forma proposizionale, più precisamente – sono vere o false precisamente in virtù di scientifica che ha lo scopo di spiegare come e perché la logica sia in grado di influire sull’azione. L’indagine procede ...
Leggi Tutto
L’implicito: forme e funzioni
Marina Sbisà
Il campo dell’implicito
Il grande sviluppo che gli studi sul linguaggio hanno avuto nel 20° sec. ha messo in luce, fra l’altro, anche la questione dell’implicito. [...] Kritik», 1892, 100, pp. 25-50; trad. it. in La struttura logica del linguaggio, a cura di A. Bonomi, 1973, pp. 9-32) e cui verità viene data per scontata, ma un atteggiamento proposizionale del parlante, che consiste nel credere qualcosa e nel ...
Leggi Tutto
Cognizione
Claudio de' Sperati
Massimo Piattelli Palmarini
Antonio Semerari
Il termine indica sia l'atto del conoscere e la facoltà stessa che consente di conoscere (la facoltà di apprendere e di [...] descrivibili mediante espressioni di tipo proposizionale, cioè entità simboliche relativamente indipendenti credenze e, nel corso della terapia, vengono sottoposti ad analisi logica e verifica empirica. Tale processo parte da una presa di distanza ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Epitteto e Marco Aurelio. Scelta e discorso a se stesso
Angelo Giavatto
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La nozione di “scelta” (prohairesis) [...] solo, secondo l’ortodossia stoica, in tre parti (logica, fisica ed etica), ma anche in tre ambiti (topoi sono identificabili con “principi” ispirati alla filosofia, dotati di natura proposizionale e che per essere efficaci e a pronta disposizione (è ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] sono, oltre a +, ., e = (addizione, moltiplicazione e identità riferite a numeri naturali), i connettivi logici del calcolo proposizionale e i simboli per il quantificatore universale e per quello esistenziale, riferiti questi, peraltro, solo a ...
Leggi Tutto
atteggiamenti proposizionali
Locuz. di origine inglese (propositional attitudes) utilizzata nella filosofia analitica per indicare ciò che è espresso da asserzioni della forma «A crede (sa, pensa, desidera, [...] in cui p sta per un enunciato. La qualificazione proposizionale deriva dalla tesi che asserzioni di questo tipo esprimerebbero stati il quale vanno respinti i tentativi di risolvere i problemi logici delle asserzioni di a. p. mediante il ricorso a ...
Leggi Tutto
PROLOG
PROLOG acronimo di programmation en logique (programmazione logica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione [...] questo caso si parla di clausola vuota. Ogni forma proposizionale viene trasformata in un insieme di clausole e per posta alla sua destra, in base alla seguente catena di equivalenze logiche:
Una scrittura del tipo ← A, B va interpretata come una ...
Leggi Tutto
proposizioni, calcolo delle
proposizioni, calcolo delle calcolo logico sviluppato nell’ambito del linguaggio degli → enunciati, detto anche calcolo proposizionale. I suoi oggetti sono le proposizioni, [...] che le compongono. Viceversa si dimostra che ogni forma proposizionale derivabile nel calcolo delle proposizioni è una tautologia (teorema di completezza semantica, in → completezza logica).
La teoria formale assiomatica che esprime il calcolo delle ...
Leggi Tutto
predicato
Dal lat. tardo praedicatum, trad. del gr. κατηγορούμενον «detto, asserito». Ciò che si predica, cioè si afferma o si nega intorno a un soggetto. Aristotele, analizzando nelle sue opere logiche [...] trova fra c e d»), da cui si ricavano funzioni proposizionali diadiche o n-adiche. A questo potenziamento dell’analisi della struttura logica degli enunciati rispetto alla logica aristotelica, basata sulla metafisica dell’inerenza, e perciò limitata ...
Leggi Tutto
proposizionale
propoṡizionale agg. [der. di proposizione]. – In logica matematica, che si riferisce a proposizioni: calcolo p., il calcolo delle proposizioni (v. proposizione, n. 2); variabile p., variabile che rappresenta una proposizione.
calcolo1
càlcolo1 s. m. [dal lat. calcŭlus, propr. «pietruzza» (cfr. càlcolo2), attrav. il sign. di «gettone per fare i conti»]. – 1. a. Successione più o meno lunga di operazioni atte a fornire la soluzione di un dato problema aritmetico,...