• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
lingua italiana
11 risultati
Tutti i risultati [342]
Logica [11]
Filosofia [51]
Matematica [43]
Lingua [43]
Biografie [31]
Grammatica [25]
Religioni [15]
Fisica [16]
Temi generali [16]
Diritto [16]

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
Mostra altri risultati Nascondi altri risultati su sillogismo (3)
Mostra Tutti

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
Mostra altri risultati Nascondi altri risultati su teoremi di indecidibilita (4)
Mostra Tutti

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
Mostra altri risultati Nascondi altri risultati su logica (9)
Mostra Tutti

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
Mostra altri risultati Nascondi altri risultati su logica induttiva (6)
Mostra Tutti

Aristòtele

Enciclopedia on line

Aristòtele 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
Mostra altri risultati Nascondi altri risultati su Aristòtele (9)
Mostra Tutti
1 2
Vocabolario
prèdica
predica prèdica s. f. [der. di predicare]. – 1. a. Discorso che il sacerdote tiene in chiesa ai fedeli, parlando dal pulpito, dall’altare o dal presbiterio, su qualche passo della Scrittura o su argomenti di carattere morale, liturgico, sociale,...
predicàbile
predicabile predicàbile agg. [nel sign. 1 a, der. di predicare; nel sign. 1 b, dal lat. praedicabĭlis, der. di praedicare nel senso di «celebrare, lodare»; il sign. 2 è dal lat. mediev. praedicabilia, tratto da praedicare nell’accezione assunta...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali