Resultats de la cerca
Es mostren 3 resultats
negació
Lògica
Tipus de connectiva lògica.
Donada una proposició p , la seva negació, que hom representa amb els símbols ¬ p , tilde p , p, és definida per la taula de veritat Quan dins un referencial predeterminat hom defineix un conjunt mitjançant una funció proposicional p x , la funció ¬ p x defineix el conjunt complementari La negació de proposicions representades amb símbols matemàtics, com a ∈ A, M ⊂ N, x = y, és representada usualment amb una ratlla inclinada damunt el símbol corresponent a ∉ A, M ⊄ N, x ≠ y La negació de proposicions en les quals intervenen quantificadors, cal fer-la amb molt de…
aporia
Lògica
Mot grec que significa ‘absència de camí’, emprat pels filòsofs grecs per a designar aquells problemes que presenten una dificultat lògica insuperable.
Aquest terme té una significació semblant a paradoxa Exemple clàssic d’aporia són els arguments de Zenó contra el moviment Les apories foren també analitzades pels sofistes i els escèptics per a demostrar el caràcter dubitatiu del coneixement humà La filosofia actual ha recollit aquesta significació per a assenyalar la problemàtica del pensament filosòfic Hartman defineix la filosofia com a pensament aporètic
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 priori , a…