een bewering (of verzameling van beweringen) vormt een argument voor de bewering A wanneer ze A ondersteunt, met andere woorden een reden vormt om A te aanvaarden. Meer over argumenten vindt u hier. [ [..]

methode om te zoeken naar de oplossing van een probleem. Voor sommige problemen is er een algoritme dat toelaat de oplossing te vinden, bijvoorbeeld voor afleidbaarheid overeenkomstig de oordeelslogic [..]

afleiding (van het latijnse woord ‘‘inferre’’; niet te verwarren met ‘‘interferre’’); de operatie waarbij men een conclusie afleidt uit een of meer premissen. E [..]

andere mensen tot een bepaalde opvatting brengen door argumenten te geven voor deze opvatting . [Terug

tegenstrijdigheid, meestal van de vorm A&~A. Men zegt dat een theorie inconsistent is (of zichzelf tegenspreekt) als er een inconsistentie uit afleidbaar is (uiteraard met betrekking tot een gegev [..]

maatstaf om iets (een toestand van de werkelijkheid, een handeling, een doel, ...) te beoordelen. [Terug

met betrekking tot probleemoplossing. Een heuristische regel is een regel die op probleemoplossing betrekking heeft. Een standpunt is heuristisch nuttig als het bijdraagt tot het oplossen van probleme [..]

een regel die bepaalt dat (eventueel beperkt tot een bepaalde context, bijvoorbeeld een schaakspel) een handeling verplicht, verboden of toegelaten is. Soms ook een regel die bepaalt dat een toestand [..]

de stelling dat men een beslissing of bewering wel kan verantwoorden ten opzichte van een geheel van opvattingen, maar dat het niet mogelijk is gehelen van opvattingen te verantwoorden. Volgens het re [..]

samenhangend geheel van opvattingen over de werkelijkheid; behelst zowel opvattingen van beschrijvende aard als opvattingen over waarden en normen. [Terug