• 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

logica libera

Enciclopedia della Matematica (2013)
  • Condividi

logica libera


logica libera linguaggio logico libero dall’assunzione che ogni termine singolare sia denotante. Un termine si dice denotante se fa riferimento a un oggetto oppure a un individuo esistenti; non è denotante un termine come «Pegaso» o «l’attuale re di Francia». Nel linguaggio dei predicati ogni termine è denotante. Per questo motivo, date una proprietà P e una lettera t che rappresenta un termine singolare è possibile dedurre logicamente dalla scrittura predicativa «la proprietà P vale per il termine t», la proposizione «esiste x tale che la proprietà P vale per x». Ciò non è valido nelle logiche libere. Infatti, introducendo un termine non denotante come «Pegaso», non è possibile dedurre da «Pegaso è un cavallo alato» la proposizione «esiste x tale che x è un cavallo alato». La costruzione di calcoli logici da cui fossero esclusi schemi inferenziali problematici come quello menzionato fu intrapresa, tra gli anni Cinquanta e Sessanta del secolo scorso, da studiosi come il filosofo e logico finlandese Jaako Hintikka (1929) e il logico e psicologo statunitense Karel Lambert (1928), che coniò il termine. Successivamente, è stato affrontato il compito di fornire per le logiche libere una semantica adeguata. L’approccio più semplice consiste nel fare riferimento a un universo di discorso che include, oltre a un insieme di individui “esistenti” su cui si quantifica, anche un insieme di individui “possibili ma non esistenti”, che servono per l’interpretazione dei termini non denotanti. Approcci più sofisticati si rifanno alla cosiddetta semantica delle supervalutazioni, ideata dal filosofo statunitense di origini olandesi Bas van Fraassen (1941).

Tag
  • BAS VAN FRAASSEN
  • SEMANTICA
  • FRANCIA
  • PEGASO
Vocabolario
lògica
logica lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
lògico¹
logico1 lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che...
  • 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