biblio toscana

La filosofia del linguaggio si occupa del linguaggio umano e dei suoi sistemi di comunicazione. Poiché indaga le relazioni tra linguaggio, pensiero e realtà la filosofia del linguaggio si pone al confine con altre discipline quali la psicologia, metafisica, l'epistemologia, la logica, la linguistica, la semiotica. Studia quindi il rapporto tra segno e significato e la capacità umana di usarli nella comunicazione.

La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione.