metalinguaggio
metalinguàggio [Comp. di meta- e linguaggio] [FAF] [INF] (a) Termine introdotto inizialmente nella logica matematica (sul modello di metamatematica) e poi esteso per indicare in generale [...] un sistema di simboli costituente un linguaggio atto alla descrizione di determinati procedimenti. (b) In termini molto generici, linguaggio convenzionale ...
Leggi Tutto
V
V 〈vu, meno comunem. vi〉 [Forma maiusc. della lettera v] [ALG] [FAF] Nella logica matematica, simb. del valore vero, in contrapp. a F, falso. ◆ [CHF] Simb. dell'elemento chimico vanadio. ◆ [MTR] [EMG] [...] Simb. di volt. ◆ [ALG] Vcn: simb. di uno spazio vettoriale di dimensione n sul campo c. ◆ [FSD] Vk è il simb. di un centro di colore: v. centri di colore: I 554 e. ◆ [STF] [FSP] V2: sigla del ted. Vergeltungswaffe-2 ...
Leggi Tutto
equipollenza
equipollènza [Der. di equipollente] [LSF] Generic., proprietà di enti equipollenti tra loro. [FAF] Nella logica, relazione tra due proposizioni che esprimono la medesima sentenza. ...
Leggi Tutto
NAND
NAND 〈nènd〉 [Der. dell'ingl. n(ot), "non" e and "e"] [INF] Simb. dell'operazione logica di inversione, o negazione, del prodotto logico AND (=AB) di due elementi A e B, cioè AB-, e realizzabile [...] in vari modi; anche denomin. di un tipo di porta logica che realizza ciò; la fig. mostra il simb. grafico della porta NAND e la tavola di verità della funzione NAND. ...
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
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
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
sintassi
sintassi [Der. del gr. sy´ntaxis "organizzazione", comp. di sy´n "insieme" e táxis "sistemazione"] [ALG] [FAF] Nella logica matematica, lo studio delle proprietà e delle relazioni formali di [...] regole della s. specificano come vanno costruite le formule e come si deve operare sui simb. e sulle formule stesse (calcolo logico); in partic., rientrano nella s. i concetti di dimostrazione e di teorema, in quanto le regole per essi prescindono da ...
Leggi Tutto
condizionale
condizionale [agg. e s.m. Der. di condizione] [LSF] Che esprime condizioni o è soggetto a condizioni. ◆ [FAF] Nella logica, è il connettivo se...allora (simb. →), il cui signif. è dato dalla [...] tavola di verità (V = vero, F = falso), riportata a fianco. ◆ [FAF] C. contrafattuale: si ha quando dall'affermazione che tutti gli elementi di un insieme godono di una certa proprietà si deduce che un ...
Leggi Tutto
blocco 1
blòcco1 [Dal fr. bloc "tronco abbattuto, quantità di materia", poi "oggetto piuttosto consistente" e sim.] [ALG] [FAF] Nella logica matematica, successione chiusa in sé di quantificatori esistenziali [...] o universali. ◆ [ELT] [FTC] B. funzionale: simbolo grafico, di solito in forma di rettangolo con opportuni altri simboli oppure didascalie nell'interno, per rappresentare una sub-unità di un impianto la ...
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...