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]