reductio ad absurdum
reductio ad absurdum 〈redùkzio ad absùrdum〉 [Locuz. lat. "riduzione all'assurdo"] [FAF] Nella logica, locuz. (anche reductio ad impossibile) equivalente all'it. dimostrazione per [...] assurdo ...
Leggi Tutto
OR
OR 〈òr〉 [Congiunzione ingl. 〈óo〉 corrispondente all'it. o disgiuntivo] [FAF][INF] Altra denomin. della somma logica e del relativo operatore, nonché del circuito logico che la realizza: v. circuiti [...] : I 618 c. ◆ [INF] OR esclusivo: (anche OR inclusivo, equivalente al lat. vel) operazione logica, di simb. EX-OR (equivalente al lat. aut), tra due o più variabili binarie, il cui risultato è nullo se e solo se tutte le variabili hanno lo stesso ...
Leggi Tutto
SOCIOLOGIA
Raymond Boudon
Costantino Cipolla
Roberto Cipriani
Filippo Barbano
Filippo Barbano
(XXXI, p. 1019; App. III, II, p. 761; IV, III, p. 356)
Logica ed epistemologia della sociologia. - Le [...] della scienza in Europa, a cura di R.K. Merton e J. Gaston, Milano 1980 (F. Barbano); J. Habermas, Agire comunicativo e logica delle scienze sociali, Bologna 1980 (G.E. Rusconi); R.K. Merton, La sociologia della scienza, a cura di N. Storer, Milano ...
Leggi Tutto
rappresentabile
rappresentàbile [Der. di rappresentare (→ rappresentazione) "che è suscettibile di rappresentazione"] [ALG] [FAF] Funzione r.: nella logica matematica, è tale una funzione di una o più [...] variabili numeriche f(x₁,x₂,..., xn) in un sistema S se e solo se c'è in S una formula P(x₁,..., xn+1), tale che per ogni sostituzione di valori numerici k₁,..., kn+1 rispettiv. alle variabili x₁,..., ...
Leggi Tutto
apodittico
apodìttico [agg. (pl.m. -ci) Der. del lat. apodicticus, dal gr. apodeiktikós "dimostrativo"] [FAF] Nella logica, che deriva da un rigoroso processo (apodissi) di dimostrazione della validità [...] di una singola proposizione mediante la sua deduzione da un'altra verità più generale. ◆ [FAF] Giudizio a. (contrapp. ad assertorio e problematico): (a) quello in cui l'affermazione o la negazione si considerano ...
Leggi Tutto
aritmetizzazione
aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] da alcuni matematici nella seconda metà dell'Ottocento allo scopo di rendere più rigorosa l'analisi matematica, fondandola su una teoria dei numeri reali e, in definitiva, sull'aritmetica; (b) in partic., ...
Leggi Tutto
recursione
recursióne [Der. del lat. recursio -onis, dal part. pass. recursus di recurrere "ricorrere"] [ALG] [FAF] Nella logica matematica, sinon. di ricorrenza. ...
Leggi Tutto
se e solo se
sé e sólo sé [ALG] [FAF] Uno dei connettivi logici, e precis. equivalenza logica o bicondizionale logico, di simb. ↔; agisce su due enunciati A e B trasformandoli nell'unico enunciato (doppia [...] implicazione) A ↔ B che risulta vero se A e B sono entrambi veri o entrambi falsi, e falso in ogni altro caso ...
Leggi Tutto
La scienza bizantina e latina prima dell'influsso della scienza araba. La struttura del sapere
Alfonso Maierù
La struttura del sapere
La classificazione delle conoscenze
Gli elementi fondamentali adottati [...] la cura di sé, la cura dello Stato e i doveri familiari.
A questa bipartizione Boezio faceva seguire il discorso sulla logica, arte che secondo alcuni costituiva una parte della filosofia, mentre altri pensavano che ne fosse non una parte ma uno ...
Leggi Tutto
Filosofo russo (Mosca 1840 - Vjatka 1917). Professore all'accademia ecclesiastica di Pietroburgo, svolse le sue ricerche nel campo della logica. Si occupò in particolare del problema della "classificazione [...] delle conclusioni", criticando, da un lato, la soluzione aristotelica e quella proposta dalla logica induttiva di J. S. Mill, e, dall'altro lato, l'impostazione gnoseologica kantiana. Opere principali: Kritičeskij obzor poslednego perioda germanskoj ...
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...