Re: What logical conclusions could be drawn from one proposition?
- From: Conbra <slwu@xxxxxxxxx>
- Date: Wed, 16 Jul 2008 16:22:54 -0700 (PDT)
On 7月16日, 上午7时41分, Conbra <s...@xxxxxxxxx> wrote:
On Jul 15, 7:53 am, Conbra <s...@xxxxxxxxx> wrote:
Any proposition has some logical meanings. For example the general
proposition "A is B". The relation between concept A and concept B
have several meanings. Who can tell me what logical conclusions could
be drawn according the classical logic laws since Aristotle?.
The new algebra named "Concept Algebra" at web "http://blog.tom.com/
concept_algebra/article/3360.html" could solve this question. The
concept calculator that is designed based on the theory of concept
algebra could draw the logical conclusions from any concept relation.
For example the proposition is "Earth belongs to the solar system",
when this proposition is putted to the concept calculator, the logical
conclusions will be drawn from the output of this calculator
automatically.
Complement of Earth includes complement of the solar system.
If the solar system belong to any category, then Earth also belong to
this category.
If any category includes the solar system, then this category also
includes Earth.
If complement of Earth does not relate to any category, then
complement of the solar system does not relate to this category,
either.
If any category belongs to Earth, then this category also belongs to
the solar system.
If Earth includes any category, then the solar system also includes
this category.
If any category does not relate to the solar system, then this
category does not relate to Earth, either.
Why the concept calculator could be drawn these conclusions from the
proposition "Earth belongs to the solar system"? Let us discussion
later.
Conbra
When the proposition inputs to the concept calculator, this calculator
analysis this proposition to get the concept expression of this
proposition as follows.
The proposition "Earth belongs to the solar system" is composed of two
concepts "Earth" and "the solar system", the "belongs to" that is
connect verb in this proposition is one compound operation of concept
algebra (see web http://blog.tom.com/concept_algebra/article/3360.htm
). The concept expression of this proposition is
A < B
A presents "Earth", B presents "the solar system" and "<" presents
"belongs to".
So that we get the concept equation of this proposition as follows:
X / (A < B) = Dao
X is unknown variable; "/" is concept division, could be called "...get
from..."; Dao is the constant on concept algebra.
After solving this equation, a lot of logical conclusions will be
drawn in concept expression, The concept calculator would translate
the expressions to the words.
More detail see following web
http://blog.tom.com/concept_algebra/article/3682.html
Conbra
.
- References:
- Prev by Date: Re: A question
- Next by Date: Re: My talk about Godel to the post-grads.
- Previous by thread: Re: What logical conclusions could be drawn from one proposition?
- Next by thread: Re: Roumanie - Italie pas que du football
- Index(es):
Relevant Pages
|
