15 relaties: Axioma, Cambridge University Press, Clarence Irving Lewis, Dan en slechts dan als, Engels, Kripkemodel, Logica, Onzekerheid, Operator (wiskunde), Predicatenlogica, Propositie, Propositielogica, Semantiek, Stanford Encyclopedia of Philosophy, Toegankelijkheidsrelatie.
Axioma
Een axioma (of postulaat) is in de wiskunde en de logica, sinds Euclides en Aristoteles, een niet bewezen, maar als grondslag aanvaarde bewering.
Nieuw!!: Modale logica en Axioma · Bekijk meer »
Cambridge University Press
Cambridge University Press is de universiteitsuitgeverij van de Universiteit van Cambridge.
Nieuw!!: Modale logica en Cambridge University Press · 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!!: Modale logica en Clarence Irving Lewis · Bekijk meer »
Dan en slechts dan als
Dan en slechts dan als (afkorting: desda) is in de wiskunde en in de logica een algemeen gebruikte uitdrukking om equivalentie van twee uitspraken aan te geven.
Nieuw!!: Modale logica en Dan en slechts dan als · Bekijk meer »
Engels
Het Engels (English) is een Indo-Europese taal, die vanwege de nauwe verwantschap met talen als het Fries, (Neder-)Duits en Nederlands tot de West-Germaanse talen wordt gerekend.
Nieuw!!: Modale logica en Engels · Bekijk meer »
Kripkemodel
Een Kripkemodel is een model voor modale logica's en andere niet-klassieke logica's zoals de intuïtionistische logica.
Nieuw!!: Modale logica en Kripkemodel · Bekijk meer »
Logica
Boeken over logica Logica of redeneerkunst is de wetenschap die zich bezighoudt met de formele regels van het redeneren.
Nieuw!!: Modale logica en Logica · Bekijk meer »
Onzekerheid
Onzekerheid is een situatie waarbij onvoldoende of ontoereikende informatie aanwezig is.
Nieuw!!: Modale logica en Onzekerheid · Bekijk meer »
Operator (wiskunde)
In de wiskunde is de eerste betekenis van een operator die van bewerking op een of meer operanden, in de logica of in de rekenkunde.
Nieuw!!: Modale logica en Operator (wiskunde) · Bekijk meer »
Predicatenlogica
Predicatenlogica is wiskundig-formele logica waarin expliciet predicaten voorkomen, waarmee eigenschappen van en relaties tussen verzamelingen objecten worden beschreven.
Nieuw!!: Modale logica en Predicatenlogica · Bekijk meer »
Propositie
Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn.
Nieuw!!: Modale logica en Propositie · Bekijk meer »
Propositielogica
De propositielogica is een tak van logica die zich bezighoudt met het redeneren met proposities.
Nieuw!!: Modale logica en Propositielogica · Bekijk meer »
Semantiek
De semantiek of betekenisleer is een wetenschap die zich bezighoudt met de betekenis van symbolen, waarbij het in het bijzonder de bouwstenen van natuurlijke talen die voor de communicatie dienen ofwel woorden en zinnen betreft.
Nieuw!!: Modale logica en Semantiek · Bekijk meer »
Stanford Encyclopedia of Philosophy
Hoover Tower op de campus van Stanford University De Stanford Encyclopedia of Philosophy (afgekort SEP, voorheen SEOP) is een gerenommeerde Engelstalige filosofische encyclopedie op internet die onderhouden wordt door Stanford University.
Nieuw!!: Modale logica en Stanford Encyclopedia of Philosophy · Bekijk meer »
Toegankelijkheidsrelatie
In de filosofie en logica is een toegankelijkheidsrelatie of bereikbaarheidsrelatie een tweeplaatsige relatie tussen mogelijke werelden.
Nieuw!!: Modale logica en Toegankelijkheidsrelatie · Bekijk meer »