11 les relacions: Creença, Grec antic, Lògica modal, Lògica proposicional, Modus ponendo ponens, Principi de no contradicció, Proposició (lògica), Raonament, Tautologia (lògica), Teorema d'incompletesa de Gödel, Valor veritable.
Creença
La llegenda del Fènix que sorgeix de les cendres és una creença en la resurrecció tan impresa a la civilització occidental que ha passat sobre els plans simbòlics i literaris. Una creença és una idea, proposició o una informació que hom accepta sense verificar.
Nou!!: Lògica doxàstica і Creença · Veure més »
Grec antic
El grec antic és el grec que es parlava a la Grècia antiga i a les seves colònies (segles XI aC a III aC).
Nou!!: Lògica doxàstica і Grec antic · Veure més »
Lògica modal
La lògica modal és un sistema formal que intenta capturar el comportament deductiu d'algun grup d'operadors modals.
Nou!!: Lògica doxàstica і Lògica modal · Veure més »
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.
Nou!!: Lògica doxàstica і Lògica proposicional · Veure més »
Modus ponendo ponens
En lògica, el modus ponendo ponens (en llatí, literalment manera que posa tot posant, en el sentit de manera que afirmant afirma), també anomenat modus ponens i generalment abreujat MPP o MP, és una regla d'inferència que té la següent forma: Per exemple, un raonament que segueix la forma del modus ponens podria ser: Una altra manera de presentar el modus ponens és: I encara una altra manera és a través de la notació del càlcul de següent: En l'axiomatització de la lògica proposicional proposada per Jan Łukasiewicz, el modus ponens és l'única regla d'inferència primitiva.
Nou!!: Lògica doxàstica і Modus ponendo ponens · Veure més »
Principi de no contradicció
El principi de no contradicció, proposat i formalitzat per Aristòtil, o de vegades anomenat principi de contradicció, és un principi clàssic de la lògica i la filosofia, segons el qual una proposició i la seva negació no poden ser totes dues veritables al mateix temps i en el mateix sentit.
Nou!!: Lògica doxàstica і Principi de no contradicció · Veure més »
Proposició (lògica)
Una proposició és un conjunt de paraules amb sentit, si bé el terme al·ludeix a realitats diferents segons l'escola d'estudiosos que se segueixi.
Nou!!: Lògica doxàstica і Proposició (lògica) · Veure més »
Raonament
El raonament és una facultat mental que permet resoldre problemes mitjançant la raó, és a dir, per una activitat mental que consisteix a enllaçar un conjunt de proposicions entre si per donar suport o justificar una idea.
Nou!!: Lògica doxàstica і Raonament · Veure més »
Tautologia (lògica)
La tautologia (del grec: ταυτολογία) és una fórmula proposicional que és verdadera sigui quin sigui el valor de veritat assignat als seus components proposicionals elementals.
Nou!!: Lògica doxàstica і Tautologia (lògica) · Veure més »
Teorema d'incompletesa de Gödel
Kurt Gödel a 19 anys, cinc anys abans de la demostració dels teoremes. En lògica matemàtica, els teoremes d'incompletesa de Gödel són dos cèlebres teoremes demostrats per Kurt Gödel l'any 1930.
Nou!!: Lògica doxàstica і Teorema d'incompletesa de Gödel · Veure més »
Valor veritable
En lògica, un valor veritable és un valor que indica en quina mesura una declaració és veritat.