Resultats de la cerca
Es mostren 4 resultats
formalització
Filosofia
Procés en virtut del qual hom especifica, mitjançant un metallenguatge , l’estructura d’un llenguatge.
Són formalitzables tant el llenguatge ordinari o cadascun dels seus aspectes l’esportiu, el social, el literari, etc com el filosòfic, el científic, el matemàtic, el lògic, etc La formalització exigeix que hom enumeri tots els signes no definits del llenguatge escollit, especifiqui les condicions en què una fórmula concreta pertany a aquest llenguatge i presenti tant els axiomes usats com a premisses com les regles d’inferència acceptades per fer deduccions en el tal llenguatge
percepció
Filosofia
Psicologia
Acció i efecte de percebre.
Com a moment del procés cognoscitiu intermedi entre la pura sensació i l’aprehensió pròpiament intellectual coneixement 2 2, la percepció ha estat diversament interpretada, segons les diferents doctrines gnoseològiques, com a afí i intrínsecament propera bé a la sensació bé a la intellecció Així, Locke estableix la percepció com a acte propi del mateix intellecte, mentre que Leibniz distingeix ja entre ella i l’apercepció, o consciència la filosofia més recent, d’altra banda, insisteix en el caràcter intermedi de la percepció, més o menys vinculada a la sensació o a la intellecció,…
modus ponens
Filosofia
Esquema metalògic que designa un tipus de raonament formalment vàlid, és a dir, una regla d’inferència, en què les premisses són un enunciat condicional, i l’afirmació del seu antecedent, la conclusió, és l’afirmació del conseqüent.
Segons la representació habitual de la lògica proposicional es pot expressar per ***Des del punt de vista de la lògica sentencial, però, aquesta expressió descriu simplement un enunciat tautològic
modus tollens
Filosofia
Esquema metalògic que designa un tipus de raonament formalment vàlid, és a dir, una regla d’inferència, en què les premisses són un enunciat condicional, i la negació del seu conseqüent, la conclusió, és la negació de l’antecedent.
Segons la representació habitual de la lògica proposicional es pot expressar per *** Des del punt de vista de la lògica sentencial, però, aquesta expressió descriu simplement un enunciat tautològic