Snellere toegang dan browser!
19 relaties: Arend Heyting, Aristoteles, Clarence Irving Lewis, Contradictie, Ex falso sequitur quod libet, George Boole, Gottlob Frege, Graham Priest, Klassieke logica, Leugenaarsparadox, Logica, Logische disjunctie, Luitzen Egbertus Jan Brouwer, Predicatenlogica, Propositielogica, Syllogisme, Wet van de non-contradictie, Wet van de uitgesloten derde, Willem van Soissons.
Arend Heyting
Arend Heyting (Amsterdam, 9 mei 1898 - Lugano, Zwitserland, 9 juli 1980) was een Nederlandse wiskundige en logicus.
Nieuw!!: Ex contradictione sequitur quod libet en Arend Heyting · Bekijk meer »
Aristoteles
Rafaël Aristoteles (Oudgrieks: Ἀριστοτέλης, Aristotélēs) (Stageira, 384 v.Chr. – Chalkis, 322 v.Chr.) was een Griekse filosoof en wetenschapper die met Socrates en Plato wordt beschouwd als een van de invloedrijkste klassieke filosofen in de westerse traditie.
Nieuw!!: Ex contradictione sequitur quod libet en Aristoteles · Bekijk meer »
Clarence Irving Lewis
Clarence Irving Lewis (Stoneham, 12 april 1883 – Cambridge, 3 februari 1964), vaak ook naar verwezen als C.I. Lewis, was een Amerikaans filosoof en stichter van het conceptuele pragmatisme.
Nieuw!!: Ex contradictione sequitur quod libet en Clarence Irving Lewis · Bekijk meer »
Contradictie
Een contradictie of tegenspraak is een situatie waarbij twee beweringen of waarnemingen die elkaar uitsluiten tegelijkertijd waar moeten zijn.
Nieuw!!: Ex contradictione sequitur quod libet en Contradictie · Bekijk meer »
Ex falso sequitur quod libet
Ex falso sequitur quod libet ("uit het ongerijmde volgt om het even wat") is een bewijsregel uit de logica.
Nieuw!!: Ex contradictione sequitur quod libet en Ex falso sequitur quod libet · Bekijk meer »
George Boole
George Boole (Lincoln, 2 november 1815 - Ballintemple (Cork), 8 december 1864) was een Brits wiskundige en logicus.
Nieuw!!: Ex contradictione sequitur quod libet en George Boole · Bekijk meer »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, 8 november 1848 – Bad Kleinen, 26 juli 1925) was een Duitse wiskundige, logicus en filosoof.
Nieuw!!: Ex contradictione sequitur quod libet en Gottlob Frege · Bekijk meer »
Graham Priest
thumb Graham Priest (Londen, 1948) is filosoof en logicus en professor aan de Universiteit van Melbourne.
Nieuw!!: Ex contradictione sequitur quod libet en Graham Priest · Bekijk meer »
Klassieke logica
In de wiskundige logica wordt een logica klassiek genoemd, wanneer ze tweewaardig is en in die logica de wet van de uitgesloten derde geldt.
Nieuw!!: Ex contradictione sequitur quod libet en Klassieke logica · Bekijk meer »
Leugenaarsparadox
De leugenaarsparadox is een bekende logische paradox die als volgt geformuleerd kan worden: Als bovenstaande zin waar is, dan is hij niet waar, en spreekt hij zichzelf tegen.
Nieuw!!: Ex contradictione sequitur quod libet en Leugenaarsparadox · Bekijk meer »
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Nieuw!!: Ex contradictione sequitur quod libet en Logica · Bekijk meer »
Logische disjunctie
Venndiagram van \scriptstyle A \lor B In de logica en de wiskunde is de logische disjunctie (symbool: \scriptstyle\lor, OF of OR) een logische operator, waarvan de betekenis min of meer overeenkomt met het Nederlandse woord "of".
Nieuw!!: Ex contradictione sequitur quod libet en Logische disjunctie · Bekijk meer »
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan (Bertus) Brouwer (Overschie, 27 februari 1881 – Blaricum, 2 december 1966) was een Nederlandse wiskundige en filosoof.
Nieuw!!: Ex contradictione sequitur quod libet en Luitzen Egbertus Jan Brouwer · Bekijk meer »
Predicatenlogica
Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.
Nieuw!!: Ex contradictione sequitur quod libet en Predicatenlogica · Bekijk meer »
Propositielogica
De propositielogica is een tak van logica die zich bezighoudt met het redeneren met proposities.
Nieuw!!: Ex contradictione sequitur quod libet en Propositielogica · Bekijk meer »
Syllogisme
Een syllogisme of sluitredeAxters, S. (1937).
Nieuw!!: Ex contradictione sequitur quod libet en Syllogisme · Bekijk meer »
Wet van de non-contradictie
Wet van de non-contradictie, het beginsel van non-contradictie of het principium non contradictionis is een logische eerste aanname van Aristoteles, die stelt: "iemand kan niet zeggen dat een ding iets is en dat het iets niet is op dezelfde wijze op hetzelfde moment".
Nieuw!!: Ex contradictione sequitur quod libet en Wet van de non-contradictie · Bekijk meer »
Wet van de uitgesloten derde
De wet van de uitgesloten derde of van het uitgesloten midden, ook wel tertium non datur (Lat., "een derde is niet gegeven"), is een logische wet die inhoudt dat iedere uitspraak waar of onwaar is; een andere, derde, mogelijkheid is er niet.
Nieuw!!: Ex contradictione sequitur quod libet en Wet van de uitgesloten derde · Bekijk meer »
Willem van Soissons
Willem van Soissons was in de 12e eeuw woonachtig in Parijs.
Nieuw!!: Ex contradictione sequitur quod libet en Willem van Soissons · Bekijk meer »
