sillogismo Termine filosofico con cui Aristotele designò la forma fondamentale di argomentazione logica (s. categorico), costituita da tre proposizioni dichiarative connesse in modo tale che dalle prime [...] derivazione, dall’assunzione di validità di barbara, della validità degli altri 23 modi sopra menzionati; se il segno = indica l’equivalenzalogica e il segno ¬ indica la negazione del termine immediatamente seguente, le regole sono: A(S, P)=E(S, ¬P ...
Leggi Tutto
se e solo se
sé e sólo sé [ALG] [FAF] Uno dei connettivi logici, e precis. equivalenzalogica o bicondizionale logico, di simb. ↔; agisce su due enunciati A e B trasformandoli nell'unico enunciato (doppia [...] implicazione) A ↔ B che risulta vero se A e B sono entrambi veri o entrambi falsi, e falso in ogni altro caso ...
Leggi Tutto
Logica
CChaïm Perelman
di Chaïm Perelman
Logica
sommario: 1. La concezione ‛formale' della logica: lo studio delle verità logiche: a) l'oggetto della logica e la tradizione aristotelica; b) l'antipsicologismo [...] introdurre, per mezzo di definizioni classiche, gli altri operatori della logica, e in particolare i segni che indicano la somma logica, l'implicazione e l'equivalenza, nonché il quantificatore universale (‛per ogni X'). Per completare l'arsenale ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] interpretazioni che rendono vera H (tutte le formule di M) rendono vera anche K. Due formule H e K si dicono logicamenteequivalenti se e solo se ciascuna è conseguenza dell’altra. Un’interpretazione per un linguaggio L dicesi un m. per un insieme M ...
Leggi Tutto
Chimica
Generalità
L’a. chimica si occupa dei metodi che permettono di determinare la composizione chimica di un campione. Genericamente ha il significato di scissione in elementi più piccoli e loro esame, [...] successivamente, da Cartesio in poi, metodo di dimostrazione. La Logica di Port Royal attribuendo all’a. o ‘metodo d’ insieme e alle relazioni che sussitono tra insiemi quali equivalenza, intersezione, complementazione ecc.
Tratto comune a tutti i ...
Leggi Tutto
Rapporto che collega, in maniera essenziale o accidentale, due o più cose, fatti, concetti.
Esposizione, orale o scritta, con cui si danno informazioni intorno allo stato di una questione, ai risultati [...] r. di equivalenza se è riflessiva, simmetrica e transitiva; essa induce sul suo campo una partizione in classi di equivalenza. Una r. operazioni specifiche, dette peirciane o schröderiane, dai nomi dei logici C.S. Peirce e E. Schröder che le hanno ...
Leggi Tutto
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] di riferimento solidale con B non è inerziale e quindi non è equivalente a quello iniziale.
Per il p. di d’Alembert ➔ Alembert, possono fare considerazioni analoghe.
Metodi per evitare i p. logici
Le teorie assiomatiche degli insiemi del tipo di von ...
Leggi Tutto
semantica Ramo della linguistica che si occupa dei fenomeni del linguaggio non dal punto di vista fonetico e morfologico, ma guardando al loro significato. Il termine fu coniato da M. Bréal nel 1883 come [...] di ‘vero-in-L’, bensì come teoria del significato per L. Le equivalenze metalinguistiche della forma ‘E è vero-in-L se, e solo se, al significato e alla verità delle formule coinvolte, la s. logica è una teoria matematica del modo in cui certe forme ...
Leggi Tutto
Filosofia
Rapporto per il quale una conclusione deriva da una o più premesse. Nella storia della filosofia si distinguono tre principali interpretazioni di tale rapporto. Secondo la prima, esso è fondato [...] realizzare un accordo: è questa la posizione convenzionalistica della logica contemporanea per cui le regole della d. non si fondano Herbrand-Tarski (1930 ca.), consente di stabilire un’equivalenza fra l’affermazione della derivabilità di una certa ...
Leggi Tutto
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] dei termini di questo ha luogo enunciando ulteriori assiomi, i postulati interpretativi, sotto forma di equivalenze, o di altre connessioni logiche non banali, fra qualche assioma teorico e qualche legge osservativa. Ciò contribuisce a definire ...
Leggi Tutto
OR
‹òo›, all’ital. ‹òr› cong., ingl. – Voce corrispondente alla cong. disgiuntiva ital. o, talora usata, con valore di sost. e in funzione appositiva, in logica matematica per indicare l’operazione di disgiunzione o somma logica di due o più...
valore
valóre s. m. [dal lat. tardo (in glosse) valor -oris, der. di valere: v. valere]. – 1. Riferito a persona indica: a. Possesso di alte doti intellettuali e morali, o alto grado di capacità professionale: un uomo, una donna di v., di...