Cerca in:
La balera, la discoteca, il club
Storia della civiltà europea a cura di Umberto Eco (2014)
Angelo Rusconi
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
I balli accompagnano l’evoluzione del tempo libero rappresentando un’importante cartina [...] un ambiguo, affascinante crocevia fra desiderio e logiche economiche. Ogni momento del Novecento è stato la coppia. È il ballo che emancipa definitivamente dai vincoli formali lanciando una filosofia individualista del danzare: da soli, in cerchio ...
Leggi Tutto
empirismo
Dizionario di filosofia (2009)
Dal gr. εμπειρία («esperienza»). In generale, atteggiamento filosofico che pone nell’esperienza la fonte della conoscenza. Tradizionalmente considerato nelle storie della filosofia in opposizione a «innatismo» [...] che per circa due secoli aveva costituito un punto di riferimento essenziale dell’e. britannico. La rinascita novecentesca dell’e. prenderà il nome di e. logico e avrà come strumenti di verifica le tecniche logico-formali di analisi del linguaggio. ...
Leggi Tutto
Burocrazia e amministrazione
Storia della civiltà europea a cura di Umberto Eco (2014)
Diego Davide
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Il termine amministrazione designa l’insieme delle attività indirizzate al perseguimento [...] base alla sua competenza specifica; l’impiego costante di procedure formali per la condotta dell’ufficio; i diritti e i doveri , debolmente connessi, dotati di forme giuridiche, logiche d’azione e finalità profondamente differenziate. Tra ...
Leggi Tutto
barzellette
Enciclopedia dell'Italiano (2010)
La barzelletta è un breve racconto umoristico, circoscritto da un annuncio preliminare e da una battuta risolutiva. Viene in genere recitato oralmente da un partecipante alla conversazione, per muovere [...] informali (infatti spesso è impiegata in contesti formali per ‘scioglierli’, renderli meno paludati), chi me lo fa?» (Woody Allen, Io e Annie, film).
La «bisociazione» logica tra il fratello che crede di essere una gallina e quello che dice di non ...
Leggi Tutto
algoritmo
Enciclopedia della Matematica (2013)
algoritmo
algoritmo procedimento sistematico di calcolo, oggi per lo più destinato a essere eseguito da un automa esecutore quale un computer. Il termine deriva dal nome latinizzato del matematico di [...] risolvere un problema: le istruzioni definiscono le operazioni logiche e algebriche da eseguire su un insieme di dati comunicazione dei risultati. Un algoritmo deve possedere alcune proprietà formali:
• finitezza (numerica e temporale): deve avere un ...
Leggi Tutto
deduzione
Dizionario di filosofia (2009)
deduzione
Nesso di derivazione che sussiste tra premesse e conclusione in un ragionamento. Analisi del concetto di d. sono state ampiamente sviluppate nel contesto della costruzione di assiomatizzazioni [...] solo da un punto di vi- sta sintattico mediante i concetti di dimostrazione formale e derivabilità da ipotesi, ma anche da un punto di vista semantico mediante la nozione di conseguenza logica. Intuitivamente si dice che un enunciato P è conseguenza ...
Leggi Tutto
sistema formale
Dizionario di filosofia (2009)
sistema formale
Sistema costituito da un linguaggio formale e un apparato deduttivo. Un esempio di s. f. è quello K per la logica proposizionale classica dato dalla coppia (LK; DK) dove LK è il linguaggio [...] γ))→((α→β)→(α→γ)); (¬β→¬α)→((¬β→α)→β). Come regola logica di deduzione per il sistema K considerato viene generalmente posta la regola del e da α→β, segue β’. Posto un linguaggio formale e un apparato deduttivo è possibile definire il concetto di ...
Leggi Tutto
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale.
Vita e pensiero
Prof. di teoria degli insiemi all'univ. di Varsavia, ha insegnato nella univ. di Berkeley ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
linguàggio di programmazióne
Enciclopedia on line
linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono [...] permettono al programmatore di lavorare su vere e proprie operazioni logiche, lasciando a un programma, detto compilatore, il compito a tutti i linguaggi
Nonostante profonde differenze, formali e sostanziali, i linguaggi di programmazione si ...
Leggi Tutto
CATEGORIA:
PROGRAMMAZIONE E PROGRAMMI
poetica
Enciclopedia on line
Disciplina che ha per oggetto l’arte poetica, di cui si occupa sotto un profilo prevalentemente teorico, eventualmente anche da un punto di vista descrittivo-sistematico, storico-funzionale ecc., ma non [...] alla verità, cioè rispetto alla scienza), nonché le sue suddivisioni in generi e le categorie formali di realizzazione, la categoria del ‘verosimile’ e delle funzioni logiche delle figure. È qui che la p. acquista per la prima volta il suo statuto ...
Leggi Tutto