Resultats de la cerca
Es mostren 10 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 “…
subjecte
Lògica
Assumpte o matèria, qualsevol cosa —tant si es tracta, en sentit filosòfic, d’un subjecte com d’un objecte—, de què hom parla, de què hom pot afirmar una qualitat, un predicat o atribut, una relació, etc.
Hom en diu, també, subjecte-objecte i equival a objecte mateix
paradoxa
Lògica
Matemàtiques
Enunciat o raonament que porta a dues conclusions mútuament contradictòries però de cap de les quals hom no pot prescindir.
Sovint identificable amb l'antinòmia i àdhuc amb l'aporia, la paradoxa, que té un significat més ampli que l’una i l’altra, sol ésser tipificada en l’afirmació del mentider, quan diu “ara dic mentida” si és veritat que diu mentida, és que menteix, però està dient la veritat, o sia que no està mentint i, si no és veritat que diu mentida, menteix, però no és veritat que digui mentida Les paradoxes d’aquesta mena, consistents en una autoreferència i que solen ésser típiques en les anomenades paradoxes semàntiques o lingüístiques, han estat estudiades des de…
principi de bivalència
Lògica
Matemàtiques
Principi de la lògica de sentències o proposicions, de caire semàntic, que diu: «tota sentència és certa o falsa».
Aquest principi fou enunciat en el cas del càlcul de proposicions, de forma explícita, per primera vegada, a l’escola estoica de Megara lògica i, concretament, per Crisip, si bé ja Aristòtil en De Interpretatione l’havia analitzat i discutit àmpliament Sintàcticament parlant implica les lleis del tercer exclòs, de no-contradicció i de la doble negació, les quals, en lògiques no bivalents, poden esdevenir falses
element crisipià
Lògica
Matemàtiques
En una lògica de proposicions, tota proposició P que satisfà simultàniament el principi del tercer exclòs (P ⌉ P≡1) i el principi de (no)-contradicció (P ⌉ P≡0).
Quan tots els elements d’una lògica de proposicions són crisipians, hom diu que la lògica és crisipiana Tota lògica bivalent principi de bivalència és necessàriament crisipiana, però no a l’inrevés La qualitat d’ésser crisipiana una lògica és de caire sintàctic Des d’un punt de vista semàntic hom pot dir que una lògica és crisipiana quan satisfà el principi de bivalència
classe
Lògica
Conjunt de tots els objectes, els elements, etc, que posseeixen com a mínim una característica comuna.
És un concepte fonamental en la lògica moderna Els elements d’una classe són anomenats membres Hom diu que dues classes són idèntiques quan tenen els mateixos membres És anomenada classe universal la que comprèn tots els membres de l'univers del discurs, i classe buida la que no té cap membre El conjunt de tots els elements de l’univers del discurs que no són membres d’una classe forma el complement d’aquesta classe
polivalent
Lògica
Dit del sistema lògic que, a diferència de la lògica tradicional i de la majoria de les lògiques contemporànies (anomenades bivalents, car només admeten dos valors de veritat: ‘‘és veritable’’ i ‘‘és fals’’), accepta més de dos valors de veritat.
Hom en diu trivalent, tetravalent, etc , segons que siguin tres, quatre, etc , els valors que hi siguin admesos d’altra banda, si aquest nombre de valors és finit, hom parla de lògica finitament polivalent i de lògica infinitament polivalent, si el dit nombre de valors és infinit La lògica polivalent, pròpia del s XX bé que hom en cerca antecedents en Aristòtil i en Guillem d’Occam, amb relació al problema dels futurs i futuribles, s’oposa al principi tradicional del non datur tertium i és típicament exemplificable en l’acceptació que, per exemple, una proporció pot ésser “no…
relativisme
Filosofia
Lògica
Tendència, doctrina, etc. , segons la qual tot és relatiu i, consegüentment, hom no pot conèixer res d’una manera absoluta o amb un criteri estrictament objectiu per tal com el coneixement és vist com a purament relatiu al subjecte.
El relativisme és entès en sentit estricte pel que fa a l’ètica, en què el valor moral d’una acció o decisió és vist com a dependent de les circumstàncies, tant internes com externes, i relatiu a elles En un sentit logicoepistemològic, en canvi, hom en diu sovint subjectivisme quan aquest, tanmateix, no és entès com a referència a l’individu humà així l’expressió de Protàgores que “l’home és la mesura de totes les coses”, sinó en relació amb un subjecte humà genèric, hom parla més pròpiament d' antropologisme o relativisme antropològic D’altra banda, el relativisme rep altres…
proposició

Classe de proposicions
Lògica
En la lògica tradicional, contingut lògic del judici, de l’acte mitjançant el qual hom afirma o nega quelcom (predicat) d’alguna cosa (subjecte).
Hom en diu sovint també enunciat , bé que a vegades aquest terme és pres en un sentit neutral, del qual el terme judici reflecteix l’aspecte subjectiu i el terme proposició expressa l’aspecte objectiu La diferenciació entre judici i proposició, necessària en l’ordre lògic, pot ésser omesa en l’ordre epistemològic, com és ara el cas de Kant Entre les diverses divisions que hom n'ha establert cal destacar la corresponent a la distinció entre proposició simple també anomenada categòrica, predicativa o enunciativa , en què un concepte s’uneix a un altre mitjançant la còpula, i…
mode

Figures i modes del sil·logisme
©
Lògica
En el sil·logisme
categòric, disposició de les premisses segons llur quantitat (universal o particular) i qualitat (afirmativa o negativa).
Atès que les premisses poden ésser universals afirmatives A, universals negatives E, particulars afirmatives I i particulars negatives O, les possibilitats de combinacions entre premissa major i menor en el sillogisme són de 16 modes AA, AE, AI, AO, EA, EE, etc i, com que aquests 16 modes es donen en cadascuna de les quatre figures que el sillogisme pot tenir segons la posició del terme mitjà en les premisses, el nombre total de figures que els modes assoleixen en el sillogisme és de 64 D’aquestes, tanmateix, només unes quantes són considerades com a lògicament vàlides concretament, 19 4 de…