sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] ) un insieme diregolediinferenza che consentono di trarre conclusioni dalle premesse; d) un insieme di espressioni logicamente giuste, in quanto ricavate dalle premesse mediante un numero finito di applicazioni delle regolediinferenza (teoremi o ...
Leggi Tutto
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] formale T si dice d. di un’espressione A di L se: a) ogni espressione Ai compresa tra A1 e An o è un assioma di T, o è ottenuta da espressioni precedenti nella successione per applicazione diregolediinferenzadi T; b) A è l’ultima espressione ...
Leggi Tutto
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] faranno seguito, come loro essenziale compendio, le quattro regole del Discours de la méthode, in cui ancora di ricavare da essi, mediante un numero finito diinferenze logiche, una contraddizione. Particolarmente dopo la scoperta dell’antinomia di ...
Leggi Tutto
La nozione di comprensione (Verstehen) risale alla tradizione dello storicismo tedesco. In misura non trascurabile, essa è stata utilizzata anche dalla filosofia ermeneutica, che riprendeva, oltre ai temi [...] (per es., "Se A desidera x e crede che facendo y otterrà x, allora tenderà a fare y") come regolediinferenza sia per spiegare sia per predire il comportamento dei suoi simili.
Per contro, i difensori della teoria della simulazione hanno messo ...
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 [...] formale nel quale, a partire da proposizioni considerate valide a priori, si cerca di dedurre un insieme di proposizioni vere, applicando alcune regolediinferenza non numerose e ammesse da tutti.
Le conoscenze
Il termine epistḗmē in Platone è ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] generale e quelli che riguardano il contenuto di T; inoltre, dovranno essere date regolediinferenza per costruire dimostrazioni (o derivazioni) formali dagli assiomi sotto forma di successioni finite di formule. In queste ipotesi, può essere deciso ...
Leggi Tutto
definizione
definizióne [Der. del lat. definitio -onis, da definire (→ definito)] [LSF] Il termine, nato nella filosofia naturale (spec. nella matematica) con il signif., che ha tuttora, di "proposizione [...] e tempo: V 442 f, 444 e. ◆ [FAF] D. costruttiva: d. di un ente in termini tali da indicare un procedimento atto a determinare l'ente stesso; usata per individuare gli assiomi e le regolediinferenza del sistema, oppure per abbreviare determinate ...
Leggi Tutto
teorema
teorèma [Der. del lat. theorema, dal gr. theórema "ricerca, meditazione"] [FAF] (a) Nelle scienze deduttive (tipic., nella matematica), ogni enunciato che può essere dedotto logicamente dagli [...] enunciato dimostrabile), cioè l'ultima di una sequenza finita di formule tali che ciascuna di esse o è un assioma o è una conseguenza immediata di formule precedenti ottenuta in base a una delle regolediinferenza. ◆ [MCQ] T. asintotico: v. campi ...
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 [...] (o assiomi) possono essere ricavati, per mezzo diregolediinferenza deduttive, altri enunciati (teoremi). Naturalmente, una t. viene di solito formulata attraverso l’utilizzazione di termini descrittivi tipicamente teorici e le sue connessioni con ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...