14 les relacions: Aristòtil, Disjunció, Fórmula ben formada, Filosofia, John Stuart Mill, Lògica, Lògica aristotèlica, Lògica bivalent, Lògica polivalent, Lògica proposicional, Principi d'identitat, Principi de no contradicció, Proposició (lògica), Sistema formal.
Aristòtil
Aristòtil (Estagira, Grècia, 384 aC - Eubea, Grècia, 322 aC) va ser un filòsof de l'antiga Grècia.
Nou!!: Principi del tercer exclòs і Aristòtil · Veure més »
Disjunció
Diagrama de Venn de~A \lor B En lògica i matemàtiques una disjunció o disjunció lògica és un connector lògic que consisteix a presentar dues alternatives en una mateixa proposició o frase, i per tant dona com a resultat verdader si una de les dues alternatives és verdadera.
Nou!!: Principi del tercer exclòs і Disjunció · Veure més »
Fórmula ben formada
teoremes. En alguns sistemes formals, però, el conjunt dels teoremes coincideix amb el de les fórmules ben formades. A lògica matemàtica, una fórmula ben formada, també anomenada paraula, expressió o fórmula, i sovint abreujada fbf, és una cadena de caràcters generada segons una gramàtica formal a partir d'un alfabet donat.
Nou!!: Principi del tercer exclòs і Fórmula ben formada · Veure més »
Filosofia
La filosofia (del grec Φιλοσοφία filossofia, 'amor per la saviesa') és un camp d'estudi que cerca, per mitjà d'arguments raonats, donar una explicació de tots els coneixements possibles i del lloc que ocupa la persona a la naturalesa.
Nou!!: Principi del tercer exclòs і Filosofia · Veure més »
John Stuart Mill
Perfil de John Stuart Mill fou un filòsof i economista anglès i el pensador liberal més influent del.
Nou!!: Principi del tercer exclòs і John Stuart Mill · Veure més »
Lògica
Aplicació lògica La lògica és l'estudi dels sistemes de raonament que un ésser racional podria utilitzar per raonar.
Nou!!: Principi del tercer exclòs і Lògica · Veure més »
Lògica aristotèlica
Aristòtil segons un manuscrit de la seva ''Historia naturalis'' (1457) La lògica aristotèlica és un mètode de la lògica basada en els principis del filòsof grec Aristòtil (Estagira, Macedònia, 384 aC - Calcis, Eubea, Grècia, 322 aC), primer pensador a formalitzar el sistema lògic de tan encertada manera que les seves propostes han transcendit fins als nostres dies.
Nou!!: Principi del tercer exclòs і Lògica aristotèlica · Veure més »
Lògica bivalent
Un sistema bivalent és aquell que admet només dos valors de veritat per als seus enunciats (premisses i conclusions).
Nou!!: Principi del tercer exclòs і Lògica bivalent · Veure més »
Lògica polivalent
Una lògica polivalent és un sistema lògic que rebutja el principi del tercer exclòs de les lògiques bivalents i admet més valors de veritat que els tradicionals veritable i fals.
Nou!!: Principi del tercer exclòs і Lògica polivalent · 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!!: Principi del tercer exclòs і Lògica proposicional · Veure més »
Principi d'identitat
El principi d'identitat és un principi clàssic de la lògica i la filosofia, segons el qual tota entitat és idèntica a si mateixa.
Nou!!: Principi del tercer exclòs і Principi d'identitat · 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!!: Principi del tercer exclòs і 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!!: Principi del tercer exclòs і Proposició (lògica) · Veure més »
Sistema formal
Un sistema formal o axiomàtic és un artifici matemàtic compost de símbols que s'uneixen entre si formant cadenes que, al seu torn, poden ser manipulades segons regles per produir altres cadenes.
Nou!!: Principi del tercer exclòs і Sistema formal · Veure més »