21 relaties: Abductie (filosofie), Axioma, Axiomaschema, Axiomatische methode, Bedoelde interpretatie, Deductie, Deductie versus inductie, Deductieve afsluiting, Formeel bewijs, Formeel systeem, Formele grammatica, Interpretatie (logica), Legitimiteit (politiek), Logisch gevolg, Modale logica, Natuurlijke deductie, Religie, Stelling (wiskunde), Systeemtheorie, Waarheid, Wiskundig bewijs.
Abductie (filosofie)
C.S. Peirce. Abductie is een manier van redeneren waarbij een mogelijke verklaring voor een (onverwacht) verschijnsel als de juiste wordt gekozen.
Nieuw!!: Deductief systeem en Abductie (filosofie) · Bekijk meer »
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!!: Deductief systeem en Axioma · Bekijk meer »
Axiomaschema
Een axiomaschema is in de wiskundige logica een generalisatie van een axioma.
Nieuw!!: Deductief systeem en Axiomaschema · Bekijk meer »
Axiomatische methode
De axiomatische methode is een wijze van argumentatie in de formele wetenschappen (m.n. wiskunde en logica) waarbij resultaten worden gepresenteerd als een reeks stellingen die een voor een worden afgeleid uit een stelsel van axiomata en definities.
Nieuw!!: Deductief systeem en Axiomatische methode · Bekijk meer »
Bedoelde interpretatie
Met bedoelde interpretatie wordt de logische interpretatie bedoeld die de ontwerper van een formeel systeem van het begin af aan met dit systeem voor ogen heeft.
Nieuw!!: Deductief systeem en Bedoelde interpretatie · Bekijk meer »
Deductie
Deductie is een methode in de filosofie en in de logica, waarbij een gevolgtrekking wordt gemaakt uit het algemene naar het bijzondere - van de algemene regel (major-premisse) naar de bijzondere regel (minor-premisse) of waar de verzameling van premissen en de negatie van de conclusie inconsistent zijn.
Nieuw!!: Deductief systeem en Deductie · Bekijk meer »
Deductie versus inductie
Bij de bestudering van verschillende argumentatie- of bewijstechnieken is het onderscheid tussen deductie en inductie van belang.
Nieuw!!: Deductief systeem en Deductie versus inductie · Bekijk meer »
Deductieve afsluiting
In de logica is de deductieve afsluiting van een verzameling proposities \Gamma en een verzameling afleidingsregels \Delta de verzameling proposities zodanig dat deze elke propositie bevat die afleidbaar is uit \Gamma met regels in \Delta.
Nieuw!!: Deductief systeem en Deductieve afsluiting · Bekijk meer »
Formeel bewijs
Formeel bewijs in de formele wetenschap is een eindige reeks proposities (goedgevormde formules in formele taal) binnen het kader van de beschrijving van formele systemen waarbij elke propositie door middel van afleidingsregels uit voorafgaande proposities of axiomas kan worden afgeleid.
Nieuw!!: Deductief systeem en Formeel bewijs · Bekijk meer »
Formeel systeem
Een formeel systeem is een combinatie van een formele taal en een verzameling afleidings- of transformatieregels of axioma's die zinnen in de formele taal omzetten in nieuwe zinnen.
Nieuw!!: Deductief systeem en Formeel systeem · Bekijk meer »
Formele grammatica
Een formele grammatica is in de informatica en theoretische taalkunde een beschrijving van een formele taal, een verzameling strings (in deze context ook zinnen genoemd) in een bepaald alfabet.
Nieuw!!: Deductief systeem en Formele grammatica · Bekijk meer »
Interpretatie (logica)
Met interpretatie wordt in de logica de extensie van symbolen en strings aan de hand van tupels bedoeld.
Nieuw!!: Deductief systeem en Interpretatie (logica) · Bekijk meer »
Legitimiteit (politiek)
Legitimiteit is het ingebeelde recht op gezag bij besluiten die de gemeenschap aangaan.
Nieuw!!: Deductief systeem en Legitimiteit (politiek) · Bekijk meer »
Logisch gevolg
Een logisch gevolg of logische consequentie is zowel in de logica als in de wiskunde de tweeplaatsige relatie tussen een verzameling zinnen en/of proposities, waarbij de laatste zin/propositie een logische implicatie is van de voorafgaande.
Nieuw!!: Deductief systeem en Logisch gevolg · Bekijk meer »
Modale logica
Modale logica's kunnen worden gezien als een uitbreiding van andere logica's, zoals de propositielogica of de predicatenlogica.
Nieuw!!: Deductief systeem en Modale logica · Bekijk meer »
Natuurlijke deductie
Natuurlijke deductie is een methode om via deductie met noodzakelijkheid de geldigheid van een redenering conform vastgestelde regels te bewijzen in de logica.
Nieuw!!: Deductief systeem en Natuurlijke deductie · Bekijk meer »
Religie
shinto, sikhisme, taoïsme, Tenrikyō 5e rij: Thelema, Unitaristisch Universalisme, wicca, zoroastrisme Onder religie (van het Latijnse religio) wordt gewoonlijk een van de vele vormen van zingeving, of het zoeken naar betekenisvolle verbindingen verstaan, waarbij meestal een hogere macht, opperwezen of god centraal staat, gebaseerd op geloven in de leer van de religie.
Nieuw!!: Deductief systeem en Religie · Bekijk meer »
Stelling (wiskunde)
bewijzen. In de wiskunde is een stelling (ook theorema, propositie of these) een bewering, die op basis van axioma's en eerder bewezen beweringen is bewezen.
Nieuw!!: Deductief systeem en Stelling (wiskunde) · Bekijk meer »
Systeemtheorie
Systeemtheorie is een multidisciplinaire theorie over de systematische beschouwing van systemen in de natuur, wetenschap en of maatschappij.
Nieuw!!: Deductief systeem en Systeemtheorie · Bekijk meer »
Waarheid
Walter Seymour Allward, ''Veritas'', 1920 Waarheid is het in overeenstemming zijn met de werkelijkheid.
Nieuw!!: Deductief systeem en Waarheid · Bekijk meer »
Wiskundig bewijs
zijde is. Het is een bewijs door constructie Een wiskundig bewijs is het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde stelling waar is.
Nieuw!!: Deductief systeem en Wiskundig bewijs · Bekijk meer »