Resultats de la cerca

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…

Les mònades, en tant que últims elements de la realitat, són indivisibles i, per tant, mancades d’extensió material Substàncies simples, posseeixen atributs anímics percepció i apetició i un dinamisme teleològic són forces, que Leibniz contraposa al mecanicisme del seu temps Creades i incomunicables entre elles, cadascuna conté, des del principi, tot el curs de la seva existència, la qual es va desplegant segons un ordre harmònic preestablert per Déu No hi ha, doncs, res de contingent en la mònada, l’equivalent metafísic d’un subjecte lògic identificat amb tots els seus predicats…

És caracteritzat pel fet d’incorporar un motor d'inferències Desenvolupat a principi dels anys setanta per Alain Colmerauer i Philippe Roussel, de Marsella, el seu ús rebé un fort impuls davant la decisió dels japonesos d’adoptar-lo com a llenguatge per al desenvolupament dels anomenats ordinadors de cinquena generació La idea del PROLOG és que la tasca del programador s’ha de reduir a especificar el problema a resoldre, i deixar que el sistema informàtic decideixi com resoldre'l a partir de l’especificació donada Per a l’especificació s’usa una restricció de la forma clausular del llenguatge…

El nucli del predicat és necessàriament el verb en forma personal, que pot dur o no complements, i concerta amb el subjecte mitjançant els morfemes verbals de persona i nombre En les oracions El pare dorm, el prat és verd, la nena escriu una carta a la mare , són predicats dorm, és verd, escriu una carta a la mare Quan el predicat expressa una qualitat del subjecte mitjançant un adjectiu o un substantiu adjectivat i un verb copulatiu ésser o verbs similars, el predicat és anomenat nominal o simplement atribut Si expressa una acció del subjecte, rep el nom de predicat verbal En…

Els casos més habituals d’assercions són les precondicions propietats que cal que compleixin les dades per a poder executar un fragment de codi determinat, les postcondicions propietats que compleixen les dades un cop s’ha executat un segment de codi determinat, els invariants de les iteracions propietats que compleixen les dades en pas de la iteració i els invariants de la representació propietats que compleix la representació de les dades, independentment del valor exacte que contingui Les assercions permeten entendre el comportament d’un programa, i raonar sobre la seva validesa per tant,…

Pastor, fill de llauradors, estudià a Saragossa El 1473 figura com a reboster de cambra de la casa de Ferran II de Catalunya-Aragó Becat al collegi de Sant Climent de Bolonya 1476, hi obtingué el títol de mestre en teologia 1480 De nou a Saragossa, fou nomenat canonge de la seu Fou amic i confessor de Pedro de Arbués Fou vicari general del tribunal que jutjà els responsables de l’assassinat d’aquest 1485 Predicador reial i confessor de la reina 1487, fou ardiaca de Daroca i inquisidor de Saragossa i de Tarassona el 1493 el rei el nomenà reformador de religioses, i el 1500 fou enviat a Granada…

A més, però, de la lògica pròpiament dita, actualment hom inclou sota el títol de lògica les investigacions metalògiques, les quals comprenen la teoria de la deducció o estudi de les propietats dels conjunts d’axiomes i la semàntica formal D’altra banda, no tot el que ha figurat històricament sota el nom de lògica —com és ara la hegeliana— entra avui dins l’àmbit d’aquesta, ni totes les investigacions pròpiament lògiques han estat consignades com a tals Malgrat aquesta dificultat, existeix una unitat bàsica de temàtica, separable de la filosofia, que permet de considerar la lògica com una…

D’acord amb el sistema de pensament de l’època, centrat entorn del raonament sillogístic, Llull, per a assolir el seu propòsit, hagué de resoldre la doble qüestió seguënt primer, donat un subjecte, trobar tots els predicats possibles, i viceversa, donat un predicat, trobar tots els subjectes possibles i segon, trobar el terme mitjà que permeti de reunir dos judicis en un sillogisme Amb aquest fi Llull començà assignant als nou conceptes de cada sèrie d’elements de l’art lulliana principis absoluts i relatius, regles, subjectes, virtuts i vicis una lletra de l’alfabet, de la B a…

La utilització tècnica de la paraula categoria és marcada sobretot per la doctrina d’Aristòtil i de Kant En Aristòtil, les categories són els diferents tipus de predicat que hom pot afirmar d’un subjecte i que corresponen als diferents modes d’ésser de les coses Són, per tant, tema de la lògica i alhora de la metafísica La llista de les categories és un intent de reduir les múltiples maneres de predicar o d’ésser a modes primitius i irreductibles, que són els gèneres suprems Només tenen un nivell de generalitat superior la noció d' ésser i els transcendentals transcendental, atributs…

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 priori , a…