Resultats de la cerca
Es mostren 3 resultats
metallenguatge
Lògica
Electrònica i informàtica
Lingüística i sociolingüística
Llenguatge emprat per a descriure un altre llenguatge.
L’instrumental lingüístic que utilitza el metallenguatge procedeix d’un llenguatge natural determinat i serveix per a descriure aquest mateix llenguatge o un altre de qualsevol El lingüista que escriu la gramàtica d’una llengua, el lexicògraf que redacta un diccionari, l’informàtic que descriu un llenguatge de programació, o el lògic que estudia la validesa o correctesa formal d’un enunciat, tots ho fan en metallenguatge El metallenguatge es manifesta també en el llenguatge colloquial frases tals com “Què vol dir llibertat en basc", “Per a vosaltres "'mestre’ i “mestra' sonen igual” o “No es…
vaguetat
Lògica
Característica de certes frases o enunciats del llenguatge com ara ‘‘aquest home és calb’’ que donen lloc a proposicions inverificables (això és, que no són clarament i exclusivament veritables o falses) i que incompleixen lleis com ara la transitivitat (perquè no hi ha límít precís entre, en l’exemple citat, un ‘‘calb’’ i un ‘‘no calb’’).
En lògica el problema del tractament formal dels predicats vagues ‘calb’, ‘roig’, ‘gran’, etc s’enfronta a l’aparició de paradoxes com la que resulta d’aplicar-hi un sorites per exemple ‘un home amb un cabell és calb doncs un que en tingui 2,3,,10 000, és calb’, fenomen ja analitzat pels grecs D’ençà de l’aparició de la lògica formal moderna, la posició dels lògics ha estat generalment la de considerar la vaguetat com una característica exclusiva sovint com un “defecte” del llenguatge, inabordable i irrellevant per a la lògica matemàtica clàssica Russell 1923 Entre aquells que han acceptat la…
semàntica
Lògica
Part de la lògica, que correspon més exactament a l’àmbit del que hom anomena metalògica i que estudia els sistemes lògics des del punt de vista de les seves possibles interpretacions, principalment la interpretació normal, o pensada en elaborar el sistema, si és que una tal interpretació existeix.
També dita teoria dels models , la semàntica dels llenguatges formals ha d’ésser distingida de la semàntica lingüística o semàntica dels llenguatges naturals Bé que l’estudi sistemàtic de la semàntica lògica és posterior a l’estudi dels problemes sintàctics teoria de la deducció formal en els sistemes axiomàtics i és obra sobretot de Tarski i de Carnap, algunes nocions semàntiques són tan antigues com la mateixa lògica Aristòtil distingia ja entre forma i contingut, i usava contraexemples per a demostrar que certes formes sillogístiques no eren vàlides els estoics caracteritzaren…