Vivre sa vie
Sandro Toni
(Francia 1962, Questa è la mia vita, bianco e nero, 85m); regia: Jean-Luc Godard; produzione: Pierre Braunberger per Les Films de la Pléiade; soggetto: dall'inchiesta Où en [...] nel mondo? Perché la visione del mondo di Nana non corrisponde alla reale struttura del mondo, costruita sulla logica dell'equivalenza universale sotto il segno della merce. Tutti hanno un valore capitalizzabile, quindi tutti sono oggetti. Nana lo ...
Leggi Tutto
darsana
darśana
Termine sanscr. (letteral. «visione») che indica ciascuna delle scuole filosofiche indiane. La loro classificazione e definizione è oggetto di discussione. In questa voce sono esposti [...] grammatica, giainismo, medicina e scienza sacrificale (forse equivalente a Mī mā ṃsā). La prima opera puramente per un intellettuale indiano studiare più di un d. per imparare logica (mediante il Nyā ya), ontologia (con il Vaiś eṣika), esegesi ...
Leggi Tutto
Die freudlose Gasse
Francesco Pitassio
(Germania 1925, L'ammaliatrice o La via senza gioia, colorato, 180m a 17 fps); regia: Georg Wilhelm Pabst; produzione: Hirschel Sofar; soggetto: dall'omonimo romanzo [...] di Weimar, fondata sulle idee di equivalenza astratta e mercificazione. Nel microcosmo della Melchiorgasse in parte ricuperata la stratificazione narrativa e la sensatezza logica del testo, spesso problematica nelle copie lacunose.
Interpreti ...
Leggi Tutto
Godel
Gödel Kurt (Brno, Moravia, 1906 - Princeton, New Jersey, 1978) logico statunitense di origine austriaca. Studiò a Vienna, inizialmente con l’intento di laurearsi in fisica; ma, in seguito alla [...] contraddizioni. Risultati “minori” delle ricerche di Gödel sono l’equivalenza dell’aritmetica intuizionista con quella classica e l’interpretabilità della logica intuizionista nella logica modale classica. Nel 1958, infine, pubblicò alcuni contributi ...
Leggi Tutto
simmetrico
simmètrico [agg. (pl.m. -ci) Der. di simmetria] [LSF] Di sistemi che presentino una qualche simmetria, per lo più geometrica, nella loro configurazione ma anche di funzioni che li descrivono, [...] polinomi fondamentali. ◆ [ALG] [FAF] Proprietà s.: nella logica matematica, la proprietà di una relazione R tale che se a ) anche b è associato ad a (bRa), com'è, per es., l'equivalenza, in partic. l'uguaglianza (R è il segno =). ◆ [PRB] Seriazione ...
Leggi Tutto
non contraddizione, principio di
non contraddizione, principio di uno dei due principi che sono alla base della logica classica; l’altro è il principio del → terzo escluso. Il principio di non contraddizione [...] escluso secondo cui o un enunciato è vero oppure è vera la sua negazione. Questa equivalenza non è legittima in altre logiche, come per esempio la logica intuizionista in cui è valido il principio di non contraddizione ma non il principio del terzo ...
Leggi Tutto
Peters, carta di
locuz. sost. f. – La prima versione (ne seguirono altre sei) del planisfero noto come carta di Peters fu pubblicata nel 1974 dal suo ideatore, Arno Peters (1916-2002), autore di testi [...] che James Gall aveva elaborato (1855) una proiezione ortografica equivalente e una carta molto simili, la proiezione viene detta di Peters è inevitabilmente centrata sull'Europa (e la logica dello spostamento del 'meridiano iniziale' da Greenwich a ...
Leggi Tutto
Horn, clausola di
Horn, clausola di in logica, → clausola avente una particolare struttura. In una clausola si distinguono letterali negativi, se sono espressi in forma negativa, cioè preceduti dal connettivo [...] proposizionale A. Ogni clausola di Horn può essere riscritta, in forma logicamenteequivalente, come implicazione; per esempio:
• la clausola ￢A ∨ B è logicamenteequivalente all’implicazione A ⇒ B (il simbolo ⇒ indica il connettivo di implicazione ...
Leggi Tutto
coerente
coerènte [agg. Der. del part. pres. cohaerens -entis del lat. cohaerere "essere strettamente unito"] [LSF] Oltre che nel signif. proprio, il termine è usato, figurat., per indicare qualcosa [...] tra loro. ◆ [ANM] Calcolo c.: nella logica matematica, calcolo in cui non sono dimostrabili contemporaneamente di un particolare operatore avente particolari proprietà di equivalenza con il comportamento di sistemi classici in virtù delle ...
Leggi Tutto
materiale 1
materiale1 [agg. Der. del lat. materialis, da materia] [LSF] [MCC] Che consta di materia o che si riferisce a proprietà della materia: corpo m., corpo ordinario, esistente nel mondo naturale [...] v. cinematica: I 698 d. ◆ [MCC] Derivata m.: lo stesso che derivata totale: v. cinematica: I 598 e. ◆ [FAF] [ALG] Equivalenza m.: nella logica matematica, l'asserto p↔q, valida quando p e q hanno lo stesso valore. ◆ [FAF] [ALG] Implicazione m.: nella ...
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...