Filosofo danese (n. Aulum-Haderup 1894 - m. 1969), professore all'università di Copenaghen. Di ispirazione neoempirista, si è occupato di logica formale studiandone le relazioni con la matematica e la [...] filosofia. Tra i suoi scritti: A treatise of formal logic (3 voll., 1931; 2a ed. 1962); Den logiske Empirismes Udvikling (1948; trad. it. in Neopositivismo e unità della scienza, 1958). ...
Leggi Tutto
validita
validità [Der. di valido] [ALG] [FAF] Teorema di v., o di correttezza, dei calcoli predicativi del primo ordine: nella logica matematica, afferma che qualunque teorema di un calcolo predicativo [...] del primo ordine è una formula logicamente valida, cioè è vera sotto ogni possibile interpretazione. ...
Leggi Tutto
soddisfacibile
soddisfacìbile [Der. di soddisfare, dal lat. satisfacere, comp. di satis "abbastanza" e facere "fare"] [ALG] [FAF] Formula s.: nella logica matematica, è tale una formula se esiste una [...] struttura in cui, mediante un'opportuna interpretazione delle variabili, la formula medesima risulti vera, com'è, per es., per la formula 2x=y se la s'interpreta nel campo dei numeri interi ponendo x=1 ...
Leggi Tutto
negazione
negazióne [Der. del lat. negatio -onis "atto ed effetto del negare", dal part. pass. negatus di negare] [ELT] Nella logica booleana, per un elemento A è l'elemento A-, detto anche complemento, [...] tale che A+A-=1, derivante dall'operazione omonima, indicata con la sigla NOT. ◆ [FAF] Di una proposizione, è la proposizione contraria, cioè la proposizione che è vera quando è falsa la prima ...
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
prefisso
prefisso [agg. e s.m. Der. dal part. pass. praefixus del lat. praefigere "prefiggere, mettere prima"] [ALG] [FAF] Nella logica matematica, la sequenza iniziale dei quantificatori di una formula [...] del calcolo dei predicati scritta in forma normale prenessa (→ prenesso). ◆ [ELT] Nella telefonia a commutazione automatica, gruppo di cifre che viene anteposto alle cifre corrispondenti a un utente per ...
Leggi Tutto
quantificatore
quantificatóre [Der. di quantificare "introdurre elementi quantitativi", comp. di quant(ità) e del tema del lat. facere "fare"] [ALG] [FAF] Nella logica matematica, operatore che viene [...] almeno un"; per es., ∃x∀y(x+y=y) significa che esiste almeno un numero (x) che sommato a un qualunque altro numero (y) lo lascia inalterato (x+y=y) (si tratta dello zero). ◆ [FAF] Campo d'azione di un q. e indice di un q.: v. logica: III 484 d. ...
Leggi Tutto
(O.P., al secolo Józef)
Storico della logica e della filosofia polacco, nato a Czuszów il 30 agosto 1902. Allievo di K. Twardoski, domenicano dal 1927, si è laureato a Lwów nel 1932 con una tesi su Die [...] per viam causalitatis relate ad fidem catholicam, B. ha poi rivolto la sua attenzione alla storia della logica, pubblicando lavori sulla logica greca e antica in genere (Elementa logicae grecae, 1937; La logique de Théophraste, 1947; Ancient formal ...
Leggi Tutto
non contraddizione
nón contraddizióne (o non contraddittorietà)[locuz. usata come s.f.] [FAF] Principio di n.: uno dei principi fondamentali della logica, detto anche, alternativamente, principio di [...] contraddizione, esemplificabile mediante la proposizione "A non è non-A" ...
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...