Taula de continguts
14 les relacions: Cognitivisme, Condicional material, Equivalència lògica, Funció de veritat, Gerhard Gentzen, Lògica, Lògica (desambiguació), Lògica filosòfica, Lògica paraconsistent, Lògica proposicional, Lògica quàntica, Negació lògica, Obversió lògica, Valor veritable.
Cognitivisme
El cognitivisme és un corrent filosòfic i psicològic que intenta reproduir el funcionament de la ment i aplicar els seus estats a la descripció del món, al mateix temps que nega l'escepticisme.
Veure Lògica clàssica і Cognitivisme
Condicional material
El condicional material, també conegut com a implicació material, condicional funcional de veritat o simplement condicional, és una constant lògica que connecta dues proposicions.
Veure Lògica clàssica і Condicional material
Equivalència lògica
En lògica i matemàtiques, enunciats p i q es diu que són lògicament equivalents si són demostrables entre si sota un conjunt d’axiomes, o tenen el mateix valor de veritat en tots els models.
Veure Lògica clàssica і Equivalència lògica
Funció de veritat
En lògica matemàtica, una funció de veritat és una funció que pren un conjunt de valors de veritat i torna un valor de veritat.
Veure Lògica clàssica і Funció de veritat
Gerhard Gentzen
fou un matemàtic i lògic alemany.
Veure Lògica clàssica і Gerhard Gentzen
Lògica
Aplicació lògica La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
Veure Lògica clàssica і Lògica
Lògica (desambiguació)
* Lògica, estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
Veure Lògica clàssica і Lògica (desambiguació)
Lògica filosòfica
La lògica filosòfica fa referència a aquelles àrees de la filosofia en què s'han utilitzat mètodes de lògica amb el propòsit de resoldre o avançar en la discussió de problemes filosòfics.
Veure Lògica clàssica і Lògica filosòfica
Lògica paraconsistent
Una lògica paraconsistent és un sistema lògic que intenta tractar les contradiccions en una forma discriminada.
Veure Lògica clàssica і Lògica paraconsistent
Lògica proposicional
La lògica proposicional és una branca de la lògica clàssica que estudia les proposicions o sentències lògiques, les seves possibles avaluacions de veritat i, en el cas ideal, el seu nivell absolut de veritat.
Veure Lògica clàssica і Lògica proposicional
Lògica quàntica
Exemple de portes lògiques quàntiques. En l'estudi matemàtic de la lògica i l'anàlisi física dels fonaments quàntics, la lògica quàntica és un conjunt de regles per a la manipulació de proposicions inspirades en l'estructura de la teoria quàntica.
Veure Lògica clàssica і Lògica quàntica
Negació lògica
En lògica i matemàtica, la negació, també anomenada complement lògic, és una operació sobre proposicions, valors de veritat, o en general, valors semàntics.
Veure Lògica clàssica і Negació lògica
Obversió lògica
Una obversió lògica és una de les operacions que la lògica clàssica tradicional admetia com a operació lògica.
Veure Lògica clàssica і Obversió lògica
Valor veritable
En lògica, un valor veritable és un valor que indica en quina mesura una declaració és veritat.