Resultats de la cerca
Es mostren 4 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…
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…
proposició
Lògica
En una perspectiva i valoració epistemològiques (i no simplement lògiques) del judici, contingut de coneixement diversament determinat segons el seu origen o la seva validesa.
En aquest sentit hom divideix les proposicions en a priori i a posteriori , segons que siguin independents o dependents de l’experiència Entre altres possibles divisions epistemològiques de les proposicions cal destacar les establertes per SKröner 1955, que distingeix entre regles o normes , proposicions lògiques i proposicions relatives a fets, i per CDBroad 1924, segons el qual hi ha proposicions a priori i proposicions empíriques , subdivisibles les unes i les altres en proposicions no inferides i inferides , i finalment proposicions postulades , o postulats postulat
demostració
Lògica
Matemàtiques
Derivació d’un enunciat, mitjançant l’aplicació d’unes determinades regles lògiques, a partir d’uns altres enunciats, dits premisses de la demostració.
Qualsevol cadena de demostracions ha d’arrencar d’un conjunt finit de premisses no demostrables, els axiomes Aquest conjunt és anomenat el sistema dels axiomes de la teoria deductiva, i els enunciats que són demostrats a partir dels axiomes s’anomenen teoremes Identificada, en la teoria platònica, amb la definició, Aristòtil la considerà com un procés superior, adreçat a extreure, mitjançant el sillogisme, una conclusió a partir d’unes premisses certes L’escolàstica s’adherí a l’esquema aristotèlic i n'elaborà una classificació propter quid , ad intellectum , ad sensum , a…