# Wikipedia for Formal Science

What we are after is a
Wikipedia for Formal Science or formally-specified computations
where the participants claim interpreted predicate logic
sentences (without free variables, a.k.a. **claims**) used to specify
computations as well as theorems that hold in a
formal science.
## Semantic Games

Users can contribute by participating in
semantic games
for claims
where they take **sides** and exchange objects (** examples ** and **counterexamples**).
This way, **without proofs,** they can
objectively defend their own **contributions** and
**dispute** the contributions of others.
Semantic games provide an objective approach to evaluate users
and make it **fun** for users to contribute
to Formal Science and Computations.

Using Hintikka's words: "Semantic games are outdoor games. They are played among the objects
of the language one speaks, and they consist largely of the
choices the two players make between different objects"
(page 38 of "The Principles of Mathematics Revisited").

## Modularity

One interpreted predicate logic formula (with
free variables) defines a **lab** (laboratory, corresponding to
a Wikipedia for Computations page) consisting of a **claim family**
and several scholars contributing to the lab.
We use **lab relations** (such as lab reductions)
to solve computational problems using modularity.
## Reflection

We can crowdsource any formally specified component of our system
to improve the system through crowdsourcing
**(crowdsourcing a crowdsourcing platform).**
Ahmed's Thesis Proposal describing the details.

##
Claim Family Examples for the Formal Science Wikipedia