Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] che portano a compimento tra l’altro le idee dei successori di Aristotele. La logica stoica è una logica delle proposizioni, mentre la logica aristotelica è una logica dei predicati (o delle classi, non vuote), il che significa che mentre Aristotele ...
Leggi Tutto
negazione
negazióne [Der. del lat. negatio -onis "atto ed effetto del negare", dal part. pass. negatus di negare] [ELT] Nella logica booleana, per un elemento A è l'elemento A-, detto anche complemento, [...] tale che A+A-=1, derivante dall'operazione omonima, indicata con la sigla NOT. ◆ [FAF] Di una proposizione, è la proposizione contraria, cioè la proposizione che è vera quando è falsa la prima. ...
Leggi Tutto
predicato
predicato [Der. del lat. praedicatum, part. pass. neutro sostantivato di praedicare "rendere noto"] [ALG] [FAF] (a) Ciò che si afferma o si nega intorno a un soggetto; (b) nella logica matematica, [...] e C sono allineati". ◆ [ALG] [FAF] Calcolo dei p.: la forma che assume il calcolo delle proposizioni (→ proposizione) quando, oltre alle proposizioni semplici e ai connettivi, si considerano anche p. e quantificatori. ◆ [ALG] [FAF] Logica dei p.: la ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Filosofia (2012)
Giovanni Vailati
Massimo Mugnai
Giovanni Vailati è, per certi aspetti, una figura anomala nel panorama della filosofia italiana tra Ottocento e Novecento. Matematico, allievo di Giuseppe Peano, aderisce [...] punto di vista pratico, mentre altre non lo sono, ma la loro verità non dipende dal loro essere utili. Il fatto che una proposizione vera serva a un dato scopo, «per quanto importante, non basta a renderla vera (né in fatto né in diritto, cioè né in ...
Leggi Tutto
indecidibile
indecidìbile [Comp. di in- neg. e decidibile "che non può essere deciso"] [ALG] [FAF] Teoria i.: quella per la quale non esiste nessun algoritmo mediante il quale sia possibile decidere [...] in un numero finito di passi, per ogni proposizione formulabile in essa, se sia vera o falsa; è tale, per es., l'intera aritmetica (v. Gödel, teorema di: III 53 c). ...
Leggi Tutto
GREGORIO da Rimini
Roberto Lambertini
A. Tabarroni
Alessandro Conti
Le informazioni relative alla provenienza familiare di G., nato probabilmente a Rimini agli inizi del Trecento, sono pressoché inesistenti: [...] ma non identificabile né con gli enti categoriali esistenti fuori della nostra mente, né con alcuno degli enti mentali (termini e proposizioni) che il nostro intelletto è in grado di produrre. Tutta la sua realtà si esaurirà nell'essere l'oggetto di ...
Leggi Tutto
Filosofia
Nel linguaggio filosofico, originariamente indicava un generale rapporto di opposizione fra due concetti. Aristotele per primo ne teorizzò i vari aspetti. Da Kant in poi, a. significa il termine [...] negativo dell’opposizione stessa. Precisamente, per Kant, l’a. è la proposizione che, in un’antinomia, contraddice la tesi. Nella dialettica hegeliana, l’a., generatasi in seno alla tesi, si risolve con essa nella sintesi, conciliatrice e insieme ...
Leggi Tutto
LOGICA POLIVALENTE
Claudio Pizzi
Viene chiamata polivalente qualunque logica che risulti completa rispetto a semantiche che ammettono più valori dei due valori di verità standard (di solito identificati [...] della logica: ne è prova la critica che Aristotele ne fa nel cap. 9 del De interpretatione, quando osserva che la proposizione che domani ci sarà una battaglia navale è nel momento presente né vera né falsa. Nel 1920 il logico polacco J. Łukasiewicz ...
Leggi Tutto
pragmatismo
Paolo Casini
La filosofia delle azioni e dei fatti
Il pragmatismo (dal greco pràgma «azione», «fatto») è una corrente filosofica che si sviluppò tra la fine del 19° e gli inizi nel 20° secolo [...] capaci di precisare in quali condizioni queste o altre qualità si presentano. Qualora un segno sia intraducibile in una proposizione di questo tipo, secondo Peirce il suo significato è vuoto.
La teoria utilitaristica di James
La nostra concezione di ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] di R. Carnap, complesso di parole e segni, costituito secondo certe regole sintattiche, con il quale si esprime una proposizione; in partic., e. di un teorema è l'insieme delle frasi coordinate con cui si dichiara che cosa s'intende dimostrare (tesi) ...
Leggi Tutto
proposizione
propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. In partic.:...
indipendente
indipendènte agg. [comp. di in-2 e dipendente, part. pres. di dipendere]. – In generale, che non dipende, che non è soggetto o subordinato ad altre persone o ad altre cose. In partic.: 1. Di stato (o nazione), non soggetto alla...