Resultats de la cerca

Si p i q són dues proposicions, hom representa per p/q la doble negació "ni p ni q " La negació de p , "no- p ", s’escriu p/p i la disjunció, " p o q ", s’escriu p/q / q/p Aquesta connectiva fou introduïda el 1913 pel lògic nord-americà HM Sheffer 1883-1964

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…

Filosòficament parlant, hom sol distingir entre el pensar —activitat o procés d’ordre psíquic— i el pensament —entitat ideal, atemporal i no psíquica—, segons que sigui psicològica o lògica la perspectiva que sigui presa Entès com a allò amb què s’enfronta el pensar, el pensament és quelcom ideal, allò que apareix a l’home i que és objecte de la fenomenologia i de les teories de l’objecte o ontologies regionals EHusserl, APfänder, etc Entès, en canvi, com a activitat intellectual i psicològica, el pensar ha estat estudiat en relació amb el real i amb l’anomenat coneixement sensible relació…