Inhoudsopgave
29 relaties: Afleidingsregel, Analytische filosofie, Bewijs door contrapositie, Bewijs uit het ongerijmde, Conjunctieve normaalvorm, Constructivisme (wiskunde), Eliminatie van dubbele negatie, Ex contradictione sequitur quod libet, Ex falso sequitur quod libet, Geschiedenis van de logica, Graham Priest, Intuïtionisme, Kripkemodel, Kurt Gödel, Kwantor (logica), Leugenaarsparadox, Logica, Logische negatie, Nul-A-trilogie, Organon (Aristoteles), Paraconsistente logica, Pragmatisme, Prenex-normaalvorm, Propositielogica, Psychologisme, Tweewaardige logica, Vervulbaarheidsequivalentie, Waarheidswaarde, Wet van de uitgesloten derde.
Afleidingsregel
In de logica is een afleidingsregel een regel die uit een aantal proposities een propositie afleidt.
Bekijken Klassieke logica en Afleidingsregel
Analytische filosofie
De analytische filosofie is een stijl van filosoferen in de hedendaagse filosofie die gekenmerkt wordt door het streven naar helderheid in verwoording en argumentatie van het ideeëngoed, meer in het bijzonder in de natuurwetenschappen.
Bekijken Klassieke logica en Analytische filosofie
Bewijs door contrapositie
Het bewijs door contrapositie is een methode om het wiskundige bewijs te geven van de stelling door het bewijzen van de omgekeerde stelling In de klassieke logica is de tweede stelling equivalent aan de eerste: een bewijs van de ene stelling is ook een bewijs voor de andere stelling.
Bekijken Klassieke logica en Bewijs door contrapositie
Bewijs uit het ongerijmde
Een bewijs uit het ongerijmde, Latijn reductio ad absurdum, herleiding tot het absurde, soms ook indirect bewijs genoemd, is een bewijsmethode in de logica en de wiskunde.
Bekijken Klassieke logica en Bewijs uit het ongerijmde
Conjunctieve normaalvorm
In de logica is een formule in conjunctieve normaalvorm (Eng. conjunctive normal form, CNF, ook wel afgekort als CNV) als die bestaat uit een conjunctie van disjuncties met literalen (ook een conjunctie van clausules genoemd).
Bekijken Klassieke logica en Conjunctieve normaalvorm
Constructivisme (wiskunde)
Het constructivisme is een stroming in de filosofie van de wiskunde die stelt dat het enige geldige bewijs van het bestaan van een wiskundig object een constructie van dat object is.
Bekijken Klassieke logica en Constructivisme (wiskunde)
Eliminatie van dubbele negatie
In de klassieke logica is eliminatie van dubbele negatie (ook: dubbele negatie-eliminatie) een afleidingsregel die stelt dat twee opeenvolgende negaties weggehaald mogen worden aangezien de resulterende formule logisch equivalent is met de voorgaande.
Bekijken Klassieke logica en Eliminatie van dubbele negatie
Ex contradictione sequitur quod libet
Ex contradictione sequitur quod libet of ook wel korter Ex contradictione quodlibet (hierna: ECL) is een term uit de logica.
Bekijken Klassieke logica en Ex contradictione sequitur quod libet
Ex falso sequitur quod libet
Ex falso sequitur quod libet ("uit het ongerijmde volgt om het even wat") is een bewijsregel uit de logica.
Bekijken Klassieke logica en Ex falso sequitur quod libet
Geschiedenis van de logica
De geschiedenis van de logica bestrijkt de ontwikkeling van logica, zoals deze in de geschiedenis van verschillende culturen en tradities is voorgekomen.
Bekijken Klassieke logica en Geschiedenis van de logica
Graham Priest
thumb Graham Priest (Londen, 1948) is filosoof en logicus en professor aan de Universiteit van Melbourne.
Bekijken Klassieke logica en Graham Priest
Intuïtionisme
Het intuïtionisme is een grondslagenstroming in de wiskunde die rond 1900 opkwam en waarvan de Nederlandse wiskundigen L.E.J. Brouwer en Arend Heyting belangrijke vertegenwoordigers waren.
Bekijken Klassieke logica en Intuïtionisme
Kripkemodel
Een Kripkemodel is een model voor modale logica's en andere niet-klassieke logica's zoals de intuïtionistische logica.
Bekijken Klassieke logica en Kripkemodel
Kurt Gödel
Kurt Friedrich Gödel (Brno, 28 april 1906 – Princeton (New Jersey), 14 januari 1978) was een Oostenrijks-Amerikaans wiskundige, logicus en filosoof.
Bekijken Klassieke logica en Kurt Gödel
Kwantor (logica)
Een kwantor (soms wordt ook quantor gebruikt) is een taalelement in de wiskunde, in het bijzonder in de logica.
Bekijken Klassieke logica en Kwantor (logica)
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.
Bekijken Klassieke logica en Leugenaarsparadox
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Bekijken Klassieke logica en Logica
Logische negatie
Logische negatie of ontkenning is een operatie in de natuurlijke talen, logica en wiskunde die de waarheidswaarde van een propositie verandert van waar in onwaar en van onwaar in waar.
Bekijken Klassieke logica en Logische negatie
Nul-A-trilogie
De wereld van Nul-A, ook wel De wereld van Ā, is een sciencefictionroman van A.E. van Vogt.
Bekijken Klassieke logica en Nul-A-trilogie
Organon (Aristoteles)
Uitgave van Aristoteles' Logica uit 1570. Het Organon, Oudgrieks voor werktuig of methode, is de naam van de verzameling logische geschriften van Aristoteles.
Bekijken Klassieke logica en Organon (Aristoteles)
Paraconsistente logica
Een paraconsistente logica is een logica die tegenstrijdigheden niet verwerpt.
Bekijken Klassieke logica en Paraconsistente logica
Pragmatisme
G.H. Mead. Het pragmatisme is een filosofische stroming, die de focus legt op het verbinden van praktijk en theorie, die volgens het pragmatisme niet los van elkaar staan.
Bekijken Klassieke logica en Pragmatisme
Prenex-normaalvorm
Een wiskundige formule uit de predicatenlogica is in de prenex-normaalvorm als ze geschreven is als een reeks kwantoren, gevolgd door een deel zonder kwantoren, de matrix genoemd.
Bekijken Klassieke logica en Prenex-normaalvorm
Propositielogica
De propositielogica is een tak van logica die zich bezighoudt met het redeneren met proposities.
Bekijken Klassieke logica en Propositielogica
Psychologisme
John Stuart Mill. Het psychologisme is een stroming binnen de filosofie die stelt dat de psychologie een centrale rol speelt in het funderen of verklaren van andere, niet-psychologische feiten of wetten.
Bekijken Klassieke logica en Psychologisme
Tweewaardige logica
Tweewaardige logica is dat deel van de propositielogica, waar men proposities bestudeert waarvan men onderstelt, dat ze slechts twee waarheidswaarden kunnen hebben; namelijk waar of onwaar (vals).
Bekijken Klassieke logica en Tweewaardige logica
Vervulbaarheidsequivalentie
In de klassieke logica zijn twee proposities vervulbaarheidsequivalent als er voor beide wel (of niet) een toekenning van waar of onwaar aan de atomaire formules bestaat waardoor de proposities waar zijn (dit wordt ook wel het vervullen van een formule of propositie genoemd).
Bekijken Klassieke logica en Vervulbaarheidsequivalentie
Waarheidswaarde
In de wiskunde en de logica is de waarheidswaarde van een propositie de waarde die aangeeft in welke mate de propositie waar is.
Bekijken Klassieke logica en Waarheidswaarde
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.
Bekijken Klassieke logica en Wet van de uitgesloten derde