(VII, p. 49; App. II, i, p. 409; IV, i, p. 288)
Una delle discipline scientifiche che maggiormente si è evoluta nel corso del 20° sec. è stata la b.; i risultati delle ricerche biologiche, a partire dagli [...] in forma tecnicamente più rigorosa, comunque il loro insieme costituisce un edificio logicamente consistente: se si vuol 'falsificare' l'evoluzionismo occorre dimostrare che una delleproposizioni su cui esso si basa è errata.
Va detto infine che la ...
Leggi Tutto
PARADOSSO
Goffredo COPPOLA
Guido CALOGERO
Eugenio Giuseppe TOGLIATTI
. L'aggettivo greco παράδοξος designa in genere tutto ciò che soverchia e contraddice la δόξα, nel suo significato più corrente [...] anche di paradossi nel senso di sofismi, cioè di proposizioni, evidentemente non vere, che si dànno come conclusioni di vicina ai dati dell'esperienza, è tanto stridente che non vi è da meravigliarsi se la possibilità logicadelle geometrie non ...
Leggi Tutto
. 1. Nello studio della geometria e della trigonometria Sferica F. Viète (1593) e più sistematicamente W. Snellius (1627) ebbero a rilevare una dualità o simmetria delleproposizioni. Se, per riferirci [...] , l'altra il piano, egualmente coerenti e logicamente equivalenti. Tale veduta si precisa rigorosamente così: Le proprietà grafiche delle figure spaziali discendono tutte da un gruppo di proposizioni fondamentali, che, in una sistemazione deduttiva ...
Leggi Tutto
Matematico e idraulico del sec. XVI. Non si ha notizia sicura della data né del luogo di nascita, né di morte; egli stesso si dichiara "da Bologna". I Bombelli, infatti, appartenevano alla nobiltà del [...] base di tutte le teorie algebriche una sistemazione logicadella teoria dei numeri, a indirizzo prettamente analitico, Bombelli per avvalorare le dimostrazioni delleproposizioni analitiche contenute nel libro II della sua algebra (anche quando si ...
Leggi Tutto
RETICOLO (fr. treillis, ingl. lattice, ted. Veroand)
Guido ZAPPA
Il concetto matematico di "reticolo" è stato già introdotto, col nome di "struttura", in App. II, 11, p. 923. Oggi il termine r. si è [...] dei due sottoinsiemi. Altri notevoli esempî di algebre di Boole si hanno nella logica matematica classica (algebra degli attributi, algebra delle classi, algebra delleproposizioni). Per es., se M è l'insieme di tutti i possibili "attributi" semplici ...
Leggi Tutto
Per i matematici ha sempre il significato preciso di contraddizione logica. Riduzione all'assurdo è quel metodo di dimostrazione in cui si stabilisce una proposizione a, facendo vedere che dall'assumere [...] che generalmente viene riconosciuto al nostro procedimento per la dimostrazione delleproposizioni reciproche. Per l'uso d'un simbolo designante l'assurdo o il "non-ente" vedi logica, matematica.
Bibl.: F. Enriques, Sul procedimento di riduzione all ...
Leggi Tutto
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] dimostrazione di una proposizione composta in termini di dimostrazioni delleproposizioni componenti.
Congiunzione. Una delle sottili distinzioni logichedell'intuizionismo e meno importanti degli interessanti problemi sollevati dalla teoria delle ...
Leggi Tutto
Boole, algebra di
Boole, algebra di particolare struttura algebrica, introdotta originariamente da G. Boole. Permette di effettuare un calcolo algebrico che ha come oggetti non i numeri, ma i valori [...] relative all’algebra ordinaria, è possibile un calcolo che traduce in termini algebrici il calcolo delleproposizioni, interpretando le variabili come enunciati di un linguaggio logico, i valori 0 e 1 da esse assunti come valori di verità falso o ...
Leggi Tutto
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] , causando di fatto la crisi del primo logicismo e della teoria ingenua degli insiemi. Russell proporrà un nuovo logicismo fondato sull’idea di una matematica come dottrina delleproposizioni condizionali, e nei Principia Mathematica, scritti con ...
Leggi Tutto
COLONIZZAZIONE E DECOLONIZZAZIONE
David K. Fieldhouse
Lawrence Rosen
Economia e politica
di David K. Fieldhouse
Introduzione
Lo Shorter Oxford dictionary definisce la colonizzazione come "l'azione [...] nazionalisti. Soltanto i Portoghesi rifiutarono di accettare la logica di questo ragionamento, con il risultato che le economica che, in realtà, erano alla base delleproposizioni cosiddette 'generali' della common law. Così, ad esempio, col pretesto ...
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,...
proposizione
propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. In partic.:...