vox
Alfonso Maierù
Designa propriamente il suono articolato che l'uomo emette per mezzo delle corde vocali. Nella costituzione del linguaggio, v. è l'elemento sensibile assunto come veicolo di un elemento [...] in relazione di opposizione tra loro, di modo che l'uno è negazione dell'altro; non è possibile perciò che si dia inferenza logica dal falso al vero in quanto tali; se si considerano, invece, vero e falso come proprietà di proposizioni, cioè di segni ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] degli atti mentali costituenti i processi di pensiero. In questi ultimi vengono adoperati i metodi della logica, le tecniche dell'inferenza logica, e così via. Pertanto, il parlare di ‛leggi del pensiero' ovvero di ‛metodi di pensiero' per indicare i ...
Leggi Tutto
Scienza greco-romana. Scetticismo e critica della conoscenza scientifica
Jim R. Hankinson
Scetticismo e critica della conoscenza scientifica
Con le sue riflessioni sui limiti della conoscenza umana, [...] mathematicos, VIII, 300-480). Ma per quel che ci riguarda, le argomentazioni scettiche decisive mirano a mostrare che in queste inferenze («se c’è sudore ci sono pori», ecc.) le premesse condizionali non sono mai conoscibili a priori. Nel caso di ...
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. [...] esplicitamente che può essere ricostruita dal ricevente grazie a vari tipi di indicatori presenti nel testo e a strategie d’inferenza. Conviene invece riservare il nome di non detto per ciò che non è recuperabile a partire dal testo, ma richiede ...
Leggi Tutto
Al pari della causa e dei motivi (➔ causalità, espressione della), la relazione concessiva richiede come necessaria condizione che i due processi coinvolti (che indichiamo con p e q) siano reali. Il suo [...] se non te ne importa nulla
L’apertura delle persiane mi porta a pensare che Giorgio sia in casa, ma l’inferenza si rivela errata; il disinteresse del destinatario dovrebbe portare il parlante a non enunciare l’informazione su Giorgio, ma il parlante ...
Leggi Tutto
INTELLIGENZA ARTIFICIALE.
Luigia Carlucci Aiello
– Gli esordi e i primi risultati. L’agente intelligente e i bot. Il web e l’evoluzione dei sistemi esperti. I grandi dati e l’apprendimento automatico. [...] affermati i linguaggi e i sistemi inferenziali basati sulle logiche descrittive quale formalismo di rappresentazione simbolica e di inferenza su conoscenza strutturata; questo ha portato alla gestione di dati basata su ontologie e ha facilitato la ...
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, [...] una delle formule di Γ o un assioma oppure derivi dalle formule precedenti per mezzo dell’applicazione di una regola di inferenza. Nel calcolo delle proposizioni gli assiomi sono:
• A ⇒ (B ⇒ A)
• (A ⇒ (B ⇒ C)) ⇒ ((A ⇒ B) ⇒ (A ⇒ C))
• (¬B ⇒ ¬A) ⇒ ((¬B ...
Leggi Tutto
sistema formale
sistema formale apparato simbolico mediante il quale è possibile rappresentare formalmente i procedimenti logico-deduttivi delle dimostrazioni matematiche. Esempi di sistemi formali sono [...] parla la teoria formalizzata nel sistema e le sue “proposizioni”. L’apparato deduttivo (costituito da → assiomi e regole di → inferenza) ha lo scopo di definire il concetto di dimostrazione assegnando alcune formule di base (gli assiomi) dalle quali ...
Leggi Tutto
Sistema di logica deduttiva e induttiva (A system of logic ratiocinative and inductive)
Sistema di logica deduttiva e induttiva
(A system of logic ratiocinative and inductive) Opera (1843) di J.S. [...] all’induzione e al problema dell’assenso, ossia della sua accettazione; egli privilegia, per così dire, l’aspetto dell’inferenza, che il sillogismo registra e presenta, piuttosto che quello dell’implicazione. Centrale è nella prospettiva di Mill la ...
Leggi Tutto
Biologo (Great Yarmouth, Norfolk, 1894 - Cheam, Surrey, 1981). Insegnò all'univ. di Londra dal 1922 al 1959. Vicino a filosofi come C. D. Broad, B. Russell, A. W. Whitehead, R. Carnap e a logici come A. [...] . In Biology and language (1952) rovesciò il punto di vista, partendo non da un insieme di postulati e di regole d'inferenza, ma traducendo in forma simbolica i risultati del lavoro di ricerca empirica e passando poi, mediante l'introduzione di un ...
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,...