Back to Home

God & Science Forum Message

Forums: Atm · Astrophotography · Blackholes · Blackholes2 · CCD · Celestron · Domes · Education
Eyepieces · Meade · Misc. · God and Science · SETI · Software · UFO · XEphem
RSS Button

Home | Discussion Forums | God and Science | Post
Login

Be the first pioneers to continue the Astronomy Discussions at our new Astronomy meeting place...
The Space and Astronomy Agora
Which One?

Forum List | Follow Ups | Post Message | Back to Thread Topics | In Response To
Posted by Harvey on November 20, 2001 21:13:24 UTC

Alex,

There are many logics. For example, there are modal logics, deontic logics, fuzzy logics, first-order prepositional logics, first-order predicate logic, higher-order predicate logic, inclusive predicate logic, monadic predicate logic, polyadic predicate logic, etc. etc.

If you take a first-order prepositional equational logic (used often with mathematics), for example, the axioms for one of those logics is as follows:

Associativity of ==: ((p == q) == r) == (p == (q == r))

Symmetry of ==: p == q == q == p

Identity of ==: true == q == q

Definition of false: false == ~true

Distributivity of not: ~(p == q) == ~p == q

Definition of /==: (p /== q) == ~(p == q)

Associativity of \/: (p \/ q) \/ r == p \/ (q \/ r)

Symmetry of \/: p \/ q == q \/ p

Idempotency of \/: p \/ p == p

Distributivity of \/: p \/ (q == r) == p \/ q == p \/ r

Excluded Middle: p \/ ~p

Golden rule: p /\ q == p == q == p \/ q

Implication: p => q == p \/ q == q

Consequence: p p

Anti-implication: p /=> q == ~(p => q)

Anti-consequence: p / |- E[x:= P] = E[x:= Q]

Transitivity: If P = Q and Q = R are theorems, then so is P = R.
|- P = Q, |- Q = R ---> |- P = R

Equanimity: If P and P == Q are theorems, then so is Q. |- P, |- P == Q ---> |- Q


~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


If you notice, each axiom and rule refers to an undefined term (P, Q, p, q, r, =, V, etc). If you want to say that this particular logic 'exists', then you have to ask what those variables mean. They are simply left undefined in the formal language, hence to translate this into ontology you would be saying that reality is also undefined.

Warm regards, Harv

Follow Ups:

Login to Post
Additional Information
Google
 
Web www.astronomy.net
DayNightLine
About Astronomy Net | Advertise on Astronomy Net | Contact & Comments | Privacy Policy
Unless otherwise specified, web site content Copyright 1994-2018 John Huggins All Rights Reserved
Forum posts are Copyright their authors as specified in the heading above the post.
"dbHTML," "AstroGuide," "ASTRONOMY.NET" & "VA.NET"
are trademarks of John Huggins