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
Easy tools: Citation bot (help) | Advanced: Fix bare URLs
This page was last edited by Timrollpickering (talk | contribs) 5 years ago. (Update timer)

Finished writing a draft article? Are you ready to request an experienced editor review it for possible inclusion in Wikipedia? Submit your draft for review!

Falsifiability in Prolog The principle of falsifiability from the philosophy of science can be easily represented in Prolog ...

Overview

Swans

Rules and facts in English

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.

User:Logicalgregory/Falsifiability in Prolog

Contents

Overview

Swans

Rules and facts in English

The representation Prolog

Population of the Program with facts

References

External links