Resultats de la cerca
Es mostren 4 resultats
analítica
Lògica
Recerca de les formes elementals del raonament i de la demostració.
Primera part de la lògica general que, segons Kant Crítica de la raó pura , ‘descompon totes les operacions de l’enteniment i de la raó en els seus elements i els presenta com a principis de qualsevol apreciació lògica que faci el nostre enteniment’, mentre que l' analítica transcendental és ‘la part de la lògica transcendental que tracta dels elements del coneixement pur de l’enteniment i dels principis sense els quals no pot ésser pensat cap objecte’
càlcul lògic
Lògica
Sistema de signes no interpretats, en el qual els enunciats són tractats algorísmicament ( algorisme
) i les formacions i les operacions s’efectuen d’acord amb unes regles explícites.
El càlcul és objecte de la sintaxi lògica , i opera amb esquemes formals, independentment de tota significació o contingut, per tal d’evitar les ambigüitats i les impropietats del llenguatge ordinari Consta d’un conjunt de símbols elementals, d’unes regles de formació i combinació de símbols i d’unes regles de transformació Per a ésser vàlid, el càlcul ha d’ésser consistent, complet i decidible Esbossat ja en Ramon Llull i més tard en Leibniz, aconseguí el primer desenvolupament important amb l’àlgebra de la lògica del s XIX George Boole, Ernst Schröder, i ha estat perfeccionat…
relació
Lògica
Lligam, referència, existent o que hom suposa, entre dues o més coses, o entre dos o més conceptes o judicis, talment que, establert un d’ells, hom ha de pensar alhora l’altre, o els altres, i viceversa.
Bé que en Aristòtil és una entre les diverses categories, la relació fou desenvolupada entre els escolàstics de manera que abraçava ja un camp molt més ampli de modalitats i subdivisions i en aquesta línia ha estat definitiva, contemporàniament, l’aportació d’E von Hartmann, el qual fa de la relació una categoria talment fonamental Urkategorie que inclou totes les altres categories És important, així mateix, la distinció tradicional entre la simple relació lògica , establerta només per la ment, i la relació pròpiament ontològica, o relació real , en el si de la qual l’escolàstica distingí…
algorisme
Lògica
Matemàtiques
Procediment de càlcul que amb un conjunt ordenat i finit d’instruccions, de símbols i regles o d’operacions, permet trobar la solució d’un problema pas a pas o de forma recursiva.
S’aplica en tots els casos en què l’ús d’una estratègia ordenada i iterativa facilita l’obtenció de solucions Destaquen els algorismes típicament numèrics com el de calcular arrels quadrades o cúbiques, o l’algorisme d’Euclides, per a calcular el màxim comú divisor de dos nombres enters, però també són molt importants avui els algorismes subjacents a molts programes informàtics vàlids per a càlculs matemàtics, així com per a moltes altres aplicacions optimització, jocs, organització, etc Rep el nom del matemàtic persa Muḥammad ibn Mūsà al-Ḫwārizmī