Cerca in:
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
parentela
Enciclopedia on line
Antropologia
Rapporto socialmente riconosciuto fra individui legati da consanguineità reale o fittizia.
In quanto oggetto di analisi antropologica la p. ha complessi rapporti di continuità e di rottura [...] di p. e comportamenti e alla nascita di approcci formali interessati, piuttosto, alla comprensione della coerenza interna di ogni sistema terminologico, o alla ricerca di matrici logico-matematiche in grado di rendere conto della molteplicità di ...
Leggi Tutto
dato
Enciclopedia on line
In informatica, informazione elementare codificabile o codificata.
D. analogici e d. digitali
La rappresentazione di un’informazione può essere realizzata da d. analogici e da d. digitali. I d. analogici [...] del supporto che registra i d. stessi.
L’organizzazione, sia logica sia fisica, dei d. può essere descritta mediante una classificazione dei d., ovvero nella verifica che essi siano rispondenti a predefiniti requisiti formali (ingl. data validation). ...
Leggi Tutto
CATEGORIA:
PROGRAMMAZIONE E PROGRAMMI
proposizione
Enciclopedia on line
In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato.
Filosofia
P. ed enunciato
Nella logica e nella filosofia del linguaggio contemporanee si distingue p. [...] ampiamente elaborata nella seconda metà del 20° sec., se ha fornito importanti risultati in sede di semantica formale per l’interpretazione delle logiche modali e l’analisi dei contesti di credenza, si è rivelata meno promettente per la teoria del ...
Leggi Tutto
modalità
Enciclopedia on line
Matematica
Nella logica, ciascuno dei modi con cui può configurarsi il nesso fra soggetto e predicato.
Nella sillogistica aristotelica, i giudizi erano distinti a seconda che il nesso che univa il soggetto [...] anche altre: per es., in C.I. Lewis (1912), al quale si devono i primi sistemi formali per la logica modale, è forte l’intenzione di usare tale logica per dare una più soddisfacente analisi dei connettivi così come sono usati nei ragionamenti validi ...
Leggi Tutto
CATEGORIA:
LOGICA
SOCIOLOGIA
Enciclopedia Italiana - III Appendice (1961)
SOCIOLOGIA (XXXI, p. 1019)
Franco FERRAROTTI
La sociolocia contemporanea. - Rispetto alla s. delle origini, essenzialmente caratterizzata dalle opere enciclopediche di Auguste Comte e di Herbert Spencer, [...] rapporto contrattuale o alla più o meno razionale struttura organizzativa formale; essi scoprirono che la produttività era in gran parte, termini culturali, ossia dando corso a delle analisi logiche, in termini puramente concettuali, ma che occorreva ...
Leggi Tutto
NEOPOSITIVISMO
Enciclopedia Italiana - III Appendice (1961)
NEOPOSITIVISMO
Paolo FILIASI CARCANO
. Movimento contemporaneo (detto anche positivismo logico o empirismo logico) di metodologia della scienza e di critica della conoscenza, esplicantesi attraverso [...] dei segni, i quali possono essere di due tipi: segni logici (costanti o particelle logiche, come per es. "se", "e", "non", o variabili e inadeguata, perché considera solo il suo aspetto formale ed estrinseco, e perché inoltre - per dichiarare delle ...
Leggi Tutto