Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] dedicate peraltro più a problemi attinenti al discorso metafisico e ontologico che a quello logico in particolare, si ha un enti o totalità indipendenti dalla nostra conoscenza, ha per argomento le costruzioni mentali in quanto tali. I contributi più ...
Leggi Tutto
completezza logica il termine completezza viene utilizzato in logica con due diversi significati; si parla infatti di completezza semantica o di completezza sintattica di un sistema di assiomi.
Completezza semantica
Un sistema formale è semanticamente completo se in esso è possibile dimostrare formalmente ... ...
Leggi Tutto
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio e della conoscenza» in un ambiente protostoico, pur conservando λογικός per tutta la grecità il valore originario e non tecnico di ‘relativo al λόγος’ (nelle molteplici accezioni di questa parola chiave ... ...
Leggi Tutto
Claudio Pizzi
Proposta dal francese Jean-Yves Girard nel 1987, la logica lineare non si limita a considerare le proposizioni come oggetti dotati di valori di verità come nella logica standard, ma alla stregua di risorse impiegabili una volta sola ai fini del calcolo e quindi dotate di un costo. Anche ... ...
Leggi Tutto
Carlo Cellucci
Sarebbe difficile comprendere l'attuale stato dei rapporti tra l. e p. c. senza riferirsi a tre fattori che li hanno influenzati profondamente. Il primo fattore è costituito dall'impronta fortemente anticognitivista impressa alla logica moderna dal suo creatore, G. Frege, secondo cui, ... ...
Leggi Tutto
Bruno Antoni
Uno strumento per ragionare bene
La parola logica viene dal greco lògos, che significa «parola», ma anche «discorso» o «ragionamento». Aristotele viene considerato a buon diritto come il creatore della logica, anche se egli non usò questa parola, introdotta per la prima volta dagli stoici ... ...
Leggi Tutto
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico o informatico; a seconda della tecnica con cui sono realizzati questi circuiti si parla di l. a diodi, ... ...
Leggi Tutto
Domenico Costantini
Fra le interpretazioni che nel passato furono date della l. i. la più nota si deve a J.S. Mill, secondo cui questa è la l. della scoperta scientifica. Se, come si credeva, l'induzione è il processo mediante il quale si perviene alla formulazione delle leggi scientifiche, la l. i. ... ...
Leggi Tutto
CChaïm Perelman
di Chaïm Perelman
Logica
sommario: 1. La concezione ‛formale' della logica: lo studio delle verità logiche: a) l'oggetto della logica e la tradizione aristotelica; b) l'antipsicologismo di Frege e il problema dello status delle proposizioni; c) l'impostazione di Quine: la nozione di ... ...
Leggi Tutto
Guido Calogero
. Il termine di "logica" λογικὴ τέχνη, ἀρετή "arte abilità logica": oppure τὸ λογικόν, sottinteso μέρος τῆς ϕιλοσοϕίας "la sezione logica della filosofia") entrò nell'uso specialmente con lo stoicismo, che con esso designò la parte della filosofia concernente le forme del pensiero e ... ...
Leggi Tutto
Scienza greco-romana. Scienza e forme di sapere in Platone
Luc Brisson
Scienza e forme di sapere in Platone
L'atteggiamento di Platone nei confronti del sapere relativo al mondo sensibile è oggetto [...] si limita a illustrare due cose: da una parte la dipendenza ontologica dell'anima del mondo rispetto al mondo delle Idee, e dall' corpo), dotato di regole e di procedure razionali argomentative e perciò trasmissibili, e infine capace di provare ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] del XIII sec. Naṣīr al-Dīn al-ṭūsī, per far parlare l'ontologia di Avicenna in una lingua precisa, applica le regole e le formule alle combinazioni, e così via, cioè a tutti gli argomenti di combinatoria allora studiati. In questo trattato il testo ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] esterna o per volontà interna. Non c'è, dunque, necessariamente riposo tra due movimenti contrari.
Il secondo argomento non fa più appello all'ontologia, ma al modo in cui noi immaginiamo che il mobile A si comporti urtando il mobile B, laddove ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Filosofia della matematica
Roshdi Rashed
Filosofia della matematica
Gli storici della filosofia islamica dimostrano un interesse molto [...] forme dei corpi e le anime umane? Questa dualità ontologica e gnoseologica trasforma il problema in un ostacolo, una un'arte analitica fondata su una disciplina matematica propria. A questo argomento Ibn al-Hayṯam dedica un altro trattato, Fī 'l ma ...
Leggi Tutto
Scienza greco-romana. Scienza e istituzioni nella Tarda Antichita
Ilsetraut Hadot
Scienza e istituzioni
La matematica
Le quattro scienze matematiche ‒ aritmetica, geometria, astronomia e musica, riunite [...] e nell'Epinomide è invece postulata più che provata. Al ragionamento epistemologico Nicomaco aggiungeva un argomento fondato sull'ontologia, capace, secondo lui, di fornire una prova ulteriore dell'importanza delle quattro scienze, dei quattro ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. L'aristotelismo e le sue alternative
John A. Schuster
L'aristotelismo e le sue alternative
L'organizzazione della conoscenza all'inizio della [...] , che si estendeva dalla cosmologia al metodo, all'ontologia, all'interazione con le arti pratiche, coinvolse sia potessero costituire la pietra di paragone di ogni argomento ‒ in quanto ottenuti attraverso procedimenti sperimentali ripetibili da ...
Leggi Tutto
ontologico
ontològico agg. [der. di ontologia] (pl. m. -ci). – 1. Che riguarda la conoscenza dell’essere (nel sign. filosofico della parola), della realtà, dell’oggetto in sé: concezioni o.; analisi ontologica. Con accezione partic., prova...
argomento
argoménto s. m. [dal lat. argumentum, der. di arguĕre «dimostrare»]. – 1. Ciò che si adduce a sostegno di quanto si afferma; ragione, prova: allegare, recare, addurre, confutare, ribattere un a.; questo è un a. persuasivo; l’alibi...