User:Logicalgregory/Falsifiability in Prolog
 | This is not a Wikipedia article: It is an individual user's work-in-progress page, and may be incomplete and/or unreliable. For guidance on developing this draft, see Wikipedia:So you made a userspace draft. Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
Falsifiability in Prolog The principle of falsifiability from the philosophy of science can be easily represented in Prolog ...
Overview[edit]
Swans[edit]
Rules and facts in English[edit]
L rule: all long necked birds with webbed feet are swans L rule: all things that are black are not white M rule:all swans are white Particlar fact: Ausie is a bird with with a long neck and webbed feet and Ausie is black By the incorrigable first L rule (the definition) Ausie is a swan. By the incorrigable second L rule (the definition) Ausie is not white. Therefore, there is at least one swan that is not white. The M rule has been falsified.
The representation Prolog[edit]
Population of the Program with facts[edit]
Scottie Pommie Frenchie Dutchie Turk Indie
References[edit]
External links[edit]