Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] e solo se A⊃B è necessariamente vera. Assumendo l'equivalenza delle due definizioni si ottiene ∉(A ∉B)≡□(A⊃B) in tutti gli j tali che i⊆j.
I rapporti tra logica intuizionista e logica modale sono complessi. Sia A* la traduzione che interpreta A come ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Sofisti
Aldo Brancacci
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
L’età dei sofisti è caratterizzata dall’emergenza del soggettivismo in campo [...] discorso più solidamente strutturato dal punto di vista logico, linguistico e argomentativo e quindi capace d’ B 5 DK).
Questa dottrina, interpretata da Sesto Empirico come equivalente a una vera e propria professione di ateismo, va integrata con ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logicaLogica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] 'principio di permanenza delle forme equivalenti': in algebra sussiste una fondamentale uniformità 1. Tipico del sistema booleano è il procedimento per sviluppare una data funzione logica f(x), f(x,y), ecc., sviluppo che Boole concepisce in ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi di punti
Roger Cooke
Brian Griffith
La topologia degli insiemi di punti
La topologia generale o topologia degli insiemi [...] in ogni intervallo contenente quel punto vi sono altri punti nei quali la convergenza è arbitrariamente lenta. Affermazione logicamenteequivalente al fatto che la somma di una serie uniformemente convergente di funzioni continue è continua. Nel 1883 ...
Leggi Tutto
Numero
Walter Maraschini
Quantità che accompagnano da sempre la vita e la storia dell’uomo
Ci sono numeri ovunque: il numero delle pagine di questo libro, il recapito telefonico, il numero di targa, [...] conoscere i numeri.
Compie tuttavia un’operazione che è logicamente alla base del concetto di numero: stabilisce una corrispondenza Separa così la quantità dalla qualità e stabilisce una equivalenza: ogni numero naturale è ‘quel qualcosa’ che hanno ...
Leggi Tutto
La lingua della scienza è il linguaggio settoriale (➔ linguaggi settoriali) di cui sono tipicamente costituiti i testi prodotti nell’ambito della ricerca scientifica e della sua diffusione nella società. [...] frasi che compongono il testo ci sia una buona coerenza logico-semantica. Nel testo scientifico non solo questa coerenza è con perifrasi, anche se di valore non completamente equivalente alle parole tecniche corrispondenti; oppure con l’affiancamento ...
Leggi Tutto
lingua, questione della
Stefano Gensini
Un’idea di naturalismo linguistico
Il corpus delle riflessioni machiavelliane su lingua e linguaggio, a parte il fondamentale Discorso intorno alla nostra lingua [...] natura» al quale sopravviene, come fattore accidentale e logicamente secondario, l’«arte». Di qui un’operatività differenziata ’eccellenza letteraria e lingua parlata risultavano sostanzialmente equivalenti, al netto di ovvie oscillazioni di registro ...
Leggi Tutto
completezza logica
completezza logica il termine completezza viene utilizzato in logica con due diversi significati; si parla infatti di completezza semantica o di completezza sintattica di un sistema [...] primo ordine i teoremi sono esattamente le formule ben formate logicamente valide. Questo teorema è stato dimostrato da Gödel che due formulazioni del teorema di completezza sono equivalenti.
Completezza sintattica
Un sistema formale è ...
Leggi Tutto
necessità Carattere, qualità, condizione di ciò che non può non essere o essere diversamente da come è.
Filosofia
Nel mondo greco, il termine corrispondente a n., ἀνάγκη, è adoperato inizialmente per [...] va annoverato Parmenide con la scoperta della n. logica, per cui la pura asserzione dell’essere necessaria e sufficiente perché si verifichi B, allora lo stesso può dirsi di B nei confronti di A; A e B sono equivalenti e si usa il simbolo A ⇄ B. ...
Leggi Tutto
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] formulata da K.J. Arrow (➔ public choice).
Matematica
In logica, l’assioma di s. asserisce che data una classe Q critiche a questo assioma sono continuate anche in seguito. Altre formulazioni equivalenti all’assioma di s. furono date nel 1914 da G. ...
Leggi Tutto
modo
mòdo s. m. [lat. mŏdus «misura», e quindi anche «norma, regola, modo»]. – 1. La forma particolare di essere, di presentarsi di una cosa, o di operare, procedere e sim. In questo sign. generico (e in qualche altro), è sinon. di maniera,...