logica matematica
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul [...] né bella.
A B A o B
V V V
V F V
F V V
F F F
L’implicazione
Un altro connettivologico fondamentale è l’implicazione, il cui scopo è quello di esprimere i ragionamenti del tipo «se A allora B», come nella frase ...
Leggi Tutto
enunciato
enunciato [Der. del part. pass. enuntiatus del lat. enuntiare, comp. di ex "fuori" e nuntiare "annunciare" e quindi "annunciare pubblicamente, esternare"] [FAF] [ALG] Secondo la definizione [...] linguaggio, da un insieme di assiomi e da regole di derivazione) che, oltre ai simb. dei connettivilogici (negazione, congiunzione, alternativa, implicazione, equivalenza) ammette solo espressioni enunciative; nel calcolo degli e., cioè, si studia ...
Leggi Tutto
o
o [Forma min. della 15a lettera dell'alfab. it.] [FAF] Connettivologico che ha tre signif.: (a) o inclusivo, il più frequente, corrisponde al lat. vel ed è detto disgiunzione dalla scuola di Peano [...] si escludono a vicenda (per es., "circuito elettrico aperto o chiuso"); qui di seguito sono date le tavole di verità delle due funzioni logiche corrispondenti AUT e VEL, indicandosi con a e b i due termini connessi e con v e f, rispettiv., "vero" e ...
Leggi Tutto
E
E [Forma maiusc. della lettera e] [ASF] Una delle componenti della corona (←) solare. ◆ [GFS] Simb. del punto cardinale est. ◆ [CHF] Simb. dell'elemento chimico einsteinio. ◆ [FAF] (a) Simb. del connettivo [...] (←) logico; (b) una E ribaltata, ∃, è simb. del quantificatore (←) esistenziale. ◆ [MTR] Simb. del prefisso metrologico SI exa-. ◆ [ALG] E(x) indica la parte intera del numero x. ◆ [ASF] E₂ è il simb. della riga spettroscopica di Fraunhofer di ...
Leggi Tutto
non
nón [Lat. non] [LSF] Avv. di negazione, usato anche, con valore negativo, davanti ad altre parole, sia staccato da esse (com'è usuale in questa Enciclopedia), sia unito con un trattino oppure unito [...] direttamente, a formare una parola composta (che qui si troverà, in genere, separata nei suoi elementi). ◆ [ALG] [FAF] Connettivologico di negazione: → connettivo: C. logico. ...
Leggi Tutto
connettivoconnettivo [agg. e s.m. Der. di connettere (→ connesso) "elemento di congiunzione, di collegamento"] [FAF] C. logico: nella logica matematica, tipo di funzione di verità, cioè termine che [...] (negazione, congiunzione, disgiunzione, implicazione, ecc.) che alla verità o falsità di una o più proposizioni associa la verità o falsità di un'altra proposizione, costruita a partire dalle precedenti tramite il c. stesso: v. logica: III 483 c. ...
Leggi Tutto
Semantica
Giulio Lepschy
(XXXI, p. 334; App. III, ii, p. 692; IV, iii, p. 298)
Ciò che caratterizza gli studi di s. negli ultimi decenni del 20° secolo è la convergenza di due filoni di ricerca precedentemente [...] preciso, e del resto secondo R. Carnap (Putnam 1988) le regole della logica formale non determinano univocamente l'interpretazione dei connettivilogici. Inoltre, le difficoltà che si incontrano nel cercare di rendere conto dell'operazione ...
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 [...] ., che nascono dalla definizione della cosiddetta implicazione materiale, del connettivo ⊃ nei Principia mathematica. M. Bunge chiama non-problems questo genere di problemi dell'empirismo logico (v., per es., Archives de l'Institut International des ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Filosofia (2012)
Lorenzo Valla
Rita Pagnoni Sturlese
Lorenzo Valla è una delle figure più rappresentative dell’Umanesimo italiano: egli dà vita a un progetto di profondo rinnovamento pratico e teoretico che, pur non [...] concezione della lingua come prodotto storico e tessuto connettivo della società, porta con sé rilevanti conseguenze: bibl. prec.).
Lorenzo Valla. La riforma della lingua e della logica, Atti del Convegno nel VI centenario della nascita, Prato (4- ...
Leggi Tutto
DELLA VOLPE, Galvano
Nicolao Merker
Nacque a Imola il 24 sett. 1895, secondogenito del conte Lorenzo e di Emilia Scali. Ufficiale di cavalleria negli anni della prima guerra mondiale, si laureò in filosofia [...] sempre a Roma del'1962 e 1964 accresciuto di integrazioni, chiarimenti e appendici), hanno infatti per tessuto connettivo la nuova logica, come è confermato nella fattispecie da una sezione che ampiamente analizza i testi marxiani di metodologia del ...
Leggi Tutto
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...
connettivo
agg. e s. m. [der. di connettere]. – 1. agg. a. Che connette o serve a connettere. In partic., in istologia, tessuto c. (o, come sost., il connettivo), vasto gruppo di tessuti (c. propriamente detto, c. adiposo, c. cordoide o vescicolare,...