logica aletica
Enciclopedia della Matematica (2013)
logica aletica
logica aletica (dal greco alétheia, «verità») particolare → logica modale, che non si limita, come la logica classica, a determinare se una proposizione è vera o falsa, ma si spinge a [...] che non …»). Gli operatori aletici sono rappresentati dai seguenti simboli:
• ☐ (detto box) indica la necessità;
• o B derivi C». I due operatori ☐ e ◊ sono correlati dalla equivalenza logica: ☐P ⇔ ￢◊￢P («è necessario P se e solo se non è possibile ...
Leggi Tutto
romanzo
Enciclopedia on line
Alle origini delle moderne letterature europee, ampio scritto in lingua volgare, dapprima in versi poi anche in prosa, che narra avventure eroiche in margine alla storia o di pura invenzione; così nel [...] si sono mossi nella stessa direzione.
Estranei alla logica delle avanguardie, che al r. guardarono con sospetto due, avendo dovuto condividere la sua funzione emblematica, di soglia simbolica del Moderno, nell’area linguistica tedesca, con i r. di ...
Leggi Tutto
CATEGORIA:
PROSA
Hegel, Georg Wilhelm Friedrich
Enciclopedia on line
Filosofo (Stoccarda 1770 - Berlino 1831). Dopo aver compiuto gli studî ginnasiali nella sua città, entrò nel 1788 nello Stift di Tübingen, una sorta di seminario protestante, dove ebbe come condiscepoli [...] di intelligenza e di volontà; anche qui, come già nella logica, si tratta però di uno studio dialettico, per cui quelle di animale e di uomo e perciò stesso espressione più alta del simbolico. Nella nuova fase storica che si apre con il mondo greco, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
teatro
Enciclopedia on line
teatro Edificio o complesso architettonico costruito e attrezzato per rappresentazioni sceniche.
Spettacolo, sia come singola rappresentazione teatrale, sia come genere.
Il t. come edificio: l’antichità
In [...] incerta nel trovare la sua strada, una volta esaurite le esperienze simboliste, naturaliste, del t. di poesia (di cui il massimo esponente inventivo e meraviglioso, che tende a distruggere la logica, la psicologia e il verosimile. Saranno intuizioni ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
intelligènza artificiale
Enciclopedia on line
intelligènza artificiale (IA) Disciplina che studia se e in che modo si possano riprodurre i processi mentali più complessi mediante l'uso di un computer. Tale ricerca si sviluppa secondo due percorsi [...] di teoremi di geometria e, subito dopo, uno per l’integrazione simbolica.
In una seconda fase, sull’onda del successo, si è riuscito a superare il test di Turing (che prende il nome dal logico A.M. Turing che lo ideò) che afferma che una macchina ...
Leggi Tutto
CATEGORIA:
CIBERNETICA E INTELLIGENZA ARTIFICIALE
sillogismo
Enciclopedia on line
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 [...] nelle premesse, il soggetto (cioè, nella notazione simbolica adottata, la prima lettera entro parentesi) può 23 modi sopra menzionati; se il segno = indica l’equivalenza logica e il segno ¬ indica la negazione del termine immediatamente seguente, ...
Leggi Tutto
Cassirer, Ernst
Enciclopedia on line
Filosofo e storico della filosofia tedesco (Breslavia 1874 - New York 1945); dal 1919 fu prof. e poi rettore nell'univ. di Amburgo; esule per le persecuzioni razziali naziste, fu prof. a Oxford (1934), [...] la cui interpretazione del criticismo kantiano come idealismo logico fondante la legalità della scienza, vista come mito, il linguaggio, la religione, l'arte, ecc., come forme simboliche per mezzo delle quali lo spirito dà un senso al reale. Tali ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
India
Enciclopedia on line
Nome della regione meridionale asiatica (circa 4.400.000 km2) limitata, a N, dal grande arco montuoso del Himalaya e protesa, a S, nell’Oceano Indiano con la penisola triangolare del Deccan e con l’isola [...] Vedānta (filosofia ortodossa brahmanica); il Nyāya (sistema di logica) e il Vaiśeṣika (fisica atomistica).
Il rapido diffondersi le difficoltà del duro lavoro nelle piantagioni di tè; il simbolista B.B. Naikhatrar e K. Mahanta. La novellistica ...
Leggi Tutto
sistema
Enciclopedia on line
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] la piramide, la scala, la bilancia, l’orologio). A differenza di quello analogico, il s. formale è una costruzione logica e simbolica di una situazione reale, elaborata mentalmente, che non ricorre al paragone con realtà di altra natura né presume di ...
Leggi Tutto
CATEGORIA:
ANATOMIA MORFOLOGIA CITOLOGIA
–
SISTEMATICA E FITONIMI
–
TEMI GENERALI
–
CHIMICA FISICA
–
CHIMICA INORGANICA
–
FISICA MATEMATICA
–
METROLOGIA
–
OTTICA
–
ALGEBRA
–
ANATOMIA
–
ORGANISMI E ORGANIZZAZIONI INTERNAZIONALI
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
MONETAZIONE
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
SCIENZE DELLA FORMAZIONE
–
SOCIOLOGIA
–
POLITOLOGIA
–
MECCANICA APPLICATA
antropologia
Enciclopedia on line
Scienza dell’uomo, considerato sia come soggetto o individuo, sia in aggregati, comunità, situazioni.
A. fisica
Ramo delle scienze biologiche che studia l’umanità dal punto di vista naturalistico, cioè [...] in senso filosofico-speculativo, per indicare lo studio e l’analisi dei tratti che distinguono il momento umano logico-simbolico, creatore-detentore di cultura dal momento animale della natura come dato biologico. I primi stimoli allo sviluppo della ...
Leggi Tutto