predicato vago

Enciclopedia della Scienza e della Tecnica (2008)

predicato vago Settimo Termini Un predicato si dice vago se la sua estensione non ha confini ben definiti. Già i Greci hanno mostrato effetti paradossali causati dall’inserimento di predicati vaghi [...] sono ben lontane dall’essere definite in modo netto come, per es., numero primo in aritmetica − si può dire che ogni predicato è vago, nel senso della definizione data: possiamo, infatti, trovare sempre individui per i quali non si può stabilire se ... Leggi Tutto

CATEGORIA: LOGICA

categorematico

Enciclopedia on line

Nella logica formale, detto di termine che ha un significato preso isolatamente (contrapposto a sincategorematico). Termini c. sono sostantivi, verbi, aggettivi. Tale distinzione si mantiene nella logica [...] simbolica, salvo varianti terminologiche (talora i termini c. vengono detti propri, e i sincategorematici impropri o incompleti); i termini c. si distinguono in soggetti, predicati, enunciati, quelli sincategorematici in connettivi e operatori. ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: LOGICA FORMALE

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 [...] e conclusione possono essere soltanto delle quattro forme: se S è il termine che fa da soggetto e P quello che fa da predicato, ‘Ogni S è P’ (forma universale affermativa, indicata tradizionalmente con A [S, P]), ‘Ogni S non è P’ (cioè ‘Nessun S è P ... Leggi Tutto

CATEGORIA: DOTTRINE TEORIE E CONCETTI – LOGICA

TAGS: EQUIVALENZA LOGICA – LOGICA MATEMATICA – SILLOGISTICO – ARISTOTELE – INFERENZA

teoremi di indecidibilita

Enciclopedia della Scienza e della Tecnica (2008)

teoremi di indecidibilità Silvio Bozzi In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] ogni teoria, di qualunque tipo di linguaggio, presentabile in modo ricorsivo in cui risultino rappresentabili funzioni e predicati ricorsivi e si possa aritmetizzare la sintassi della teoria medesima. Il fatto che Q sia finitamente assiomatizzata ci ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: PROBLEMA DELLA FERMATA – MACCHINE DI TURING – LOGICA MATEMATICA – TEORIA DEI NUMERI – ARITMETICA

formalizzazione della vaghezza

Enciclopedia della Scienza e della Tecnica (2008)

Formalizzazione della vaghezza Settimo Termini Il problema della formalizzazione della vaghezza pone domande innovative al confine tra problemi concettuali e problemi tecnici. In particolare ci chiediamo [...] troppo semplice perchè possa riuscire a carpire aspetti essenziali di una nozione estremamente sottile e sfuggente come quella di predicato vago (non a caso espulsa da Gottlob Frege dal dominio della logica). Si ha l’impressione che l’impostazione ... Leggi Tutto

CATEGORIA: LOGICA

condizionali controfattuali

Enciclopedia della Scienza e della Tecnica (2008)

condizionali controfattuali Claudio Pizzi Enunciato di forma ‘se A allora B’ nel quale A è noto essere falso: per es., ‘se Cesare non avesse attraversato il Rubicone non avrebbe conquistato Roma’. Nelle [...] mentre questi non ci sarebbero senza il verificarsi di depressioni atmosferiche precedenti); (c) per rendere conto dei predicati detti disposizionali (‘solubile’, ‘irascibile’, ‘elastico’ ecc.) che rimandano a condizioni possibili che di fatto non si ... Leggi Tutto

CATEGORIA: LOGICA

logica

Enciclopedia on line

Filosofia Disciplina che studia le condizioni di validità delle argomentazioni deduttive. La l. antica I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] successori di Aristotele. La logica stoica è una logica delle proposizioni, mentre la logica aristotelica è una logica dei predicati (o delle classi, non vuote), il che significa che mentre Aristotele si serve di strutture logiche in cui compaiono ... Leggi Tutto

CATEGORIA: FILOSOFIA DEL DIRITTO – LOGICA – ELETTRONICA

TAGS: PRINCIPIO DEL TERZO ESCLUSO – FONDAMENTI DELLA MATEMATICA – TEORIA DELLA DIMOSTRAZIONE – LOGICA DELLE PROPOSIZIONI – CALCOLO DIFFERENZIALE

logica induttiva

Enciclopedia della Scienza e della Tecnica (2008)

logica induttiva Claudio Pizzi Estensione della logica deduttiva che descrive inferenze in cui la conclusione non segue dalle premesse con certezza assoluta ma riceve da queste un certo grado calcolabile [...] conto di due parametri numerici, uno empirico descrivente il peso dell’esperienza e uno logico dipendente dal numero dei predicati del linguaggio. Dato che nella costruzione carnapiana le leggi di natura ricevono valore 0 per il loro carattere ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: CALCOLO DELLE PROBABILITÀ – BRUNO DE FINETTI – TEOREMA DI BAYES – RUDOLF CARNAP – STATISTICA

Aristòtele

Enciclopedia on line

Filosofo greco (Stagira 384-83 a. C. - Calcide 322 a. C.). Fu, con Socrate e Platone, uno dei più grandi pensatori dell'antichità e di tutti i tempi. Nato da una famiglia di medici, si formò nell'Accademia [...] dall'intelletto, dal νοῦς, che non scinde, come la διάνοια (facoltà giudicante e sillogizzante), le verità in soggetti e predicati, per riunirle poi nella sintesi affermativa o negativa, ma le appercepisce nella loro immota e perfetta unità. Così al ... Leggi Tutto

CATEGORIA: BIOGRAFIE – CRITICA RETORICA E STILISTICA – POESIA – ETICA E MORALE – LOGICA

TAGS: COSTITUZIONE DEGLI ATENIESI – FILIPPO II DI MACEDONIA – IMMORTALITÀ DELL'ANIMA – SCUOLA PERIPATETICA – INTELLETTO AGENTE