(Gavin Ritz 2011.07.11.11.41NZT)
[From Rick Marken
(2011.11.06.1400)]
Gavin Ritz (2011.11.07.9.58)
here is an example of what a
proposition may be:
Rick says: I would
just add: that is all ye know on earth,
and all
ye need to know.
This is a declarative
statement, most of our language is made of these statements, we connect our
other declarative statements with logical connectives. This is a mathematical
fact.
Language and maths is closely
linked via the logical connectives this is the foundation of logics.
So can we prove this statement
to be true or false using our mathematics and our evidence and our
observational powers and data collection?
First part of the declaration
is “that is all ye know on earth” true or false.
Second part “all ye
need to know” True or false.
Then we can multiply them
together, the multiplication (that’s all that “and” means in language)
of the first part and second part “ True or false.
And this is how our language
connects us to theory and mathematics.
Science is bootstrapped
by many propositions stitched together over time and proved to be true,
mathematically, observationally, evidence etc.
I don’t need maths
to tell me that both declarative statements are false in this instance and together
they are false.
Regards
Gavin