TERMINE, COMPLEMENTO DI
Nell’analisi logica, il complemento di termine è un complemento indiretto che indica la persona, l’animale o la cosa su cui ricade l’azione espressa dal verbo.
Il complemento [...] di termine può essere introdotto dalla preposizione a
Bisogna dare da mangiare al cane
Devo restituire la falciatrice a Riccardo
La maestra ha detto a Filippo di non parlare
La preposizione a si deve ...
Leggi Tutto
forma enunciativa
forma enunciativa in logica, formula ben formata del linguaggio degli enunciati. Per costruire una forma enunciativa si parte dalle formule atomiche, rappresentate da lettere dell’alfabeto [...] (a, b, c, ...). Le formule atomiche, combinate fra loro per mezzo dei connettivi logici, costituiscono le forme enunciative. Queste a loro volta possono costituirne altre sempre attraverso l’opportuno utilizzo dei connettivi (→ enunciati, linguaggio ...
Leggi Tutto
ARGOMENTO, COMPLEMENTO DI
Nell’analisi logica, il complemento di argomento indica la cosa o la persona della quale si parla.
Può essere introdotto dalle preposizioni di e su o da locuzioni ➔preposizionali [...] come a proposito di, intorno a, riguardo a e così via
parlare di sé
discutere a proposito di cose futili
indugiare su un particolare
un trattato riguardo all’origine del linguaggio.
Storia
Era molto ...
Leggi Tutto
proposizione
proposizione termine usato, in logica, come sinonimo di enunciato per designare una → formula ben formata di un linguaggio formale: il linguaggio degli → enunciati (detto anche linguaggio [...] il valore di verità della proposizione stessa, determinato mediante le tavole di verità.
Due proposizioni si dicono logicamente equivalenti se realizzano la stessa funzione di verità, cioè se esse sono rispettivamente vere e false in corrispondenza ...
Leggi Tutto
funzione ricorsiva
funzione ricorsiva in logica, funzione aritmetica, cioè di dominio e codominio N, definita a partire da alcune funzioni base e attraverso alcune regole costruttive che ne garantiscono [...] la → calcolabilità. La loro importanza è notevole proprio perché l’insieme delle funzioni ricorsive coincide con quello delle → funzioni calcolabili (è questo il contenuto della cosiddetta tesi di → Church). ...
Leggi Tutto
RESCHER, Nicholas
Antonio Rainone
Storico della logica e filosofo della scienza tedesco naturalizzato statunitense, nato a Hagen (Renania Settentrionale-Vestfalia) il 15 luglio 1928. Negli Stati Uniti [...] prospettiva si colloca il recupero di R. della teoria della verità come coerenza, nella quale gli strumenti della logica sono subordinati a un'articolata visione epistemologica volta a delineare i requisiti e i criteri, di natura pragmatica oltre ...
Leggi Tutto
Movimento filosofico (anche detto positivismo logico, neoempirismo, empirismo logico) sorto, sviluppatosi ed esauritosi tra il terzo e il sesto decennio del 20° secolo.
I primi sviluppi
La data di nascita [...] del n.: la bipartizione di tutte le proposizioni significanti in analitiche, il cui valore di verità dipende dalla loro forma logica o dal significato dei termini componenti, e sintetiche, il cui valore di verità dipende dall’esperienza. Se dunque le ...
Leggi Tutto
consistenza
consistenza termine utilizzato sia in logica sia in statistica.
☐ In logica, è sinonimo di → coerenza ed esprime la proprietà di un sistema di assiomi per cui non è possibile dedurre da esso [...] sistema la formula ben formata α e la formula ben formata ￢α. Nella logica dell’usuale argomentazione, questo corrisponde alla impossibilità di far discendere logicamente da alcune premesse una affermazione e la sua negazione.
☐ In statistica, il ...
Leggi Tutto
TEOREMA (gr. ϑεώρεμα; ted. Theorem e, più spesso, Lehrsatz o Satz)
Etimologicamente (da ϑεωρέω "scorgo, contemplo") significa "proposizione speculativa"; ma, soprattutto in matematica, ha assunto il senso [...] una certa conclusione o tesi T: ma conviene osservare che, per dimostrare la tesi T, cioè per dedurla logicamente, bisogna aggiungere alla ipotesi I, che esplicitamente figura nell'enunciato, tutti i teoremi dimostrati precedentemente, i quali fanno ...
Leggi Tutto
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,...
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...