Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] ancora l’opera dei logici polacchi (J. Łukasiewicz, S. Łesniewski, A. Tarski e altri) e la scuola nominalista di W.V.O. Quine e N. Goodman. In seguito, le varie tendenze hanno assunto sempre maggiore ampiezza di articolazioni e ricchezza di sfumature ...
Leggi Tutto
LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226)
Alberto PASQUINELLI
Ludovico GEYMONAT
MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] e degli insiemi e la fondazione logica della matematica (onde la revisione del sistema "stratificato" senza tipi di W. V. O. Quine ad opera di H. Wang, l'ulteriore affinamento dell'assiomatizzazione fraenkeliana della teoria degli insiemi ad opera di ...
Leggi Tutto
Filosofia
Formulazione logicamente coerente di un insieme di definizioni, principi e leggi generali che consente di descrivere, interpretare, classificare, spiegare fenomeni di varia natura.
Le domande [...] interamente basata. Già avanzata da K.R. Popper e da W.V.O. Quine, tale obiezione è stata argomentata nel modo più radicale, tra di termini e di enunciati relativi a un prescelto settore o aspetto della realtà in modo che siano verificate le seguenti ...
Leggi Tutto
necessità Carattere, qualità, condizione di ciò che non può non essere o essere diversamente da come è.
Filosofia
Nel mondo greco, il termine corrispondente a n., ἀνάγκη, è adoperato inizialmente per [...] in quella di Wittgenstein, è la possibilità di analizzare in proposizioni atomiche componenti le proposizioni complesse. Diversamente W.V.O. Quine ha tentato una definizione di verità logica non connessa, come le precedenti, in modo vincolante al ...
Leggi Tutto
indiscernibilità Caratteristica di ciò che non si può percepire o distinguere.
Principio dell’i. degli identici In logica matematica, è stato così chiamato (per es., da W.V.O. Quine e S. Kripke) il principio, [...] detto anche legge di Leibniz, secondo cui individui identici hanno in comune tutte le proprietà; in base a esso due nomi dello stesso individuo sono intercambiabili in ogni contesto senza che se ne alteri ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] a ridurre ogni fatto ai suoi elementi essenziali, afferma W.V. Quine, "equivale a criticare la fisica per la sua bidimensionale varga con una sequenza lineare, lo Śivasūtra:
a i u Ṇ / ṛ ḷ K / e o Ṅ / ai au C / ha ya va ra ṭ / la Ṇ / ña ma ṅa ṇa ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] . Se in un modello 〈W,R,V〉 isoliamo la parte strutturale 〈W,R〉 (detta frame o struttura), è abbastanza intuitivo, per sistemi sia lo stesso di quello standard o traducibile in questo (si pensi allo slogan di Quine change of logic, change of subject). ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] nell'osservazione che l'insieme W di tutti gli ordinali è base a un'analisi logica o filosofica, ma partendo dalla 1937 di Willard van Orman Quine, indicata con NF dal titolo ∈M[a], e M[a] modello anche di V=L[a], i costruibili relativamente ad a.
Dopo ...
Leggi Tutto