The old Google Groups will be going away soon, but your browser is incompatible with the new version.
Meta-Logicism
 There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic. There was an error processing your request. Please try again. Standard view   View as tree
 11 messages

From:
To:
Cc:
Followup To:
Subject:
 Validation: For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon.

More options Aug 18 2012, 6:40 pm
Newsgroups: sci.logic, sci.math, misc.writing, alt.philosophy
From: Graham Cooper <grahamcoop...@gmail.com>
Date: Sat, 18 Aug 2012 15:40:14 -0700 (PDT)
Local: Sat, Aug 18 2012 6:40 pm
Subject: Re: Meta-Logicism

On Aug 18, 6:03 am, Zuhair <zaljo...@gmail.com> wrote:

> are external to any interpretation derived logically from meta-logical
> systems, so they are not "completely" interpreted in such systems, so
> they are not mathematical!

> Of course Structuralism goes to the heart of the subject, i.e. the
> meaning of mathematical theories, while this attempt is at the way of
> speaking about such subjects. I don't know if what is presented here
> makes sense really. I would appreciate any further insights into this
> subject.

> Zuhair

You're using META-LOGIC to mean OUTSIDE of LOGIC
or SEMANTICS of LOGIC.

META-PHILOSOPHY = philosophy of philosophy
META-MATHEMATICS = mathematics of mathematics
META-RULE = rule of rules
META-THEORY = theory of theories
META-PLOT = plot of plots
META-SYNTAX = syntax of syntax
META-GOAL = goal of goals

What is LOGIC of LOGIC?

****************************

I've recently devised a theory on semantics of logic.

1.  TRUE and FALSE are properties of ACTION SENTENCES, i.e. VERBS.

2. There are 2 types of verb - DO and IS.

3.  DO is temporally-quantified with  EXIST(TIME):   clause DO clause

4.  IS is temporally-quantified with ALL(TIME):   clause IS clause

5.  All verbs can be replaced with either DO or IS conjoined with an

Herc
--
|N|  =  |GODEL NUMBERS|
|GODEL NUMBERS|  =  |FUNCTIONS|
|FUNCTIONS|  =  |CHOICE FUNCTIONS|
|CHOICE FUNCTIONS|  =  |SETS|
|SETS| > |N|

To post a message you must first join this group.
You do not have the permission required to post.
More options Aug 19 2012, 4:35 am
Newsgroups: sci.logic, sci.math, misc.writing, alt.philosophy
From: Zuhair <zaljo...@gmail.com>
Date: Sun, 19 Aug 2012 01:35:22 -0700 (PDT)
Local: Sun, Aug 19 2012 4:35 am
Subject: Re: Meta-Logicism
On Aug 19, 1:40 am, Graham Cooper <grahamcoop...@gmail.com> wrote:

What I mean by meta-logical are concepts that are involved in the
explanation, processing and formation and symbolism of logic, for
example "membership" and "set-hood" are clear Meta-logical concepts,
they are involved in semantics of first order logic, also logic use
"natural numbers" so to me "natural number" is in essence a Meta-
logical concept, also Labeling is part of the logical work, you see
this with constants for example, even infinity is actually somehow
assumed in establishing consistency and in various processing of
logic, there is a lot there at the Background of logic. So if we
extend a logical system with symbols that stand for those concepts and
lay down axioms that parallel's those concepts, then the axiomatic
system can be said to be Meta-logical if not even "logical" if the
paralleling is so close. So I think mathematics is intimately related
to logic, it is the next tier after purely logical systems, it
uncovers the details of meta-logical concepts, and I think in this
sense mathematics is in reality Meta-logic extending logic!

Anyhow this subject is not that easy, for example axiom (9) in my
system (Reals Set Theory) doesn't seem to be Meta-Logical
although it would be necessary to study arbitrary sets of Reals and to
study functions and relations defined on Reals, it needs
a meta-logical justification that partitions on sets are singular in
nature which is something highly eligible but I'm not sure if there is
a clear parallel example of using partitions in such mode on a Meta-
Logical level.

Zuhair

To post a message you must first join this group.
You do not have the permission required to post.
More options Aug 19 2012, 7:32 am
Newsgroups: sci.logic, sci.math, misc.writing, alt.philosophy
From: Dissitra <dissy...@gmail.com>
Date: Sun, 19 Aug 2012 04:32:45 -0700 (PDT)
Local: Sun, Aug 19 2012 7:32 am
Subject: Re: Meta-Logicism
On Aug 18, 10:40 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:

there are over 40,000 languages worldwide.
people can count maximum cardinal numbers between 5-8, over those
observable remembered quantites, numbers are most likely referred to
as 'lots' many' . Some cultures will count as quantities, smaller or
larger.

past present and future are also expressed differently in some
languages, forwards, back and time lines may be considered only
relative to that object to which is referred.

is 'do'+'is' = an 'it'?
is 'being' an adjective? or preclude 1st and 2nd person?

To post a message you must first join this group.
You do not have the permission required to post.
More options Aug 19 2012, 4:43 pm
Newsgroups: sci.logic, sci.math, misc.writing, alt.philosophy, comp.ai.philosophy
From: Graham Cooper <grahamcoop...@gmail.com>
Date: Sun, 19 Aug 2012 13:43:18 -0700 (PDT)
Local: Sun, Aug 19 2012 4:43 pm
Subject: Re: Meta-Logicism
On Aug 19, 9:32 pm, Dissitra <dissy...@gmail.com> wrote:

> is 'do'+'is' = an 'it'?
> is 'being' an adjective? or preclude 1st and 2nd person?

http://en.wikipedia.org/wiki/Phrase_structure_grammar

Scroll half way down..

The top Verb on the "Constituency Relation" is "IS".

The top Verb on the "Dependency Relation" is an action Verb.

1. TRUE and FALSE are properties of SENTENCES, i.e. VERBS.
2. There are 2 types of verb - DO and IS.
3.  DO is temporally-quantified with  EXIST(TIME):   clause DO clause
4.  IS is temporally-quantified with ALL(TIME):   clause IS clause
5.  All verbs can be replaced with either DO or IS conjoined with an

In my system the second sentence would be:
THE TREE DOES ILLUSTRATE

Vs their example THE TREE IS ILLUSTRATING
(they are using IS as a DO verb)

I'm just trying to Map Natural Language to Predicate Logic.

Resolving "FOR ALL TIME - IS"  type of sentences may be similar to
resolving Quantifiers in Logic, where any ACTION type of sentence is
Quantified over a period of time that exist(ed).

EXIST(x):TIME "Bolt won the 100m medal (in year x)".

x=2000, 2004, 2008, 2012

Herc

To post a message you must first join this group.
You do not have the permission required to post.
More options Aug 19 2012, 5:01 pm
Newsgroups: sci.logic, sci.math, misc.writing, alt.philosophy
From: Graham Cooper <grahamcoop...@gmail.com>
Date: Sun, 19 Aug 2012 14:01:35 -0700 (PDT)
Local: Sun, Aug 19 2012 5:01 pm
Subject: Re: Meta-Logicism
On Aug 19, 6:35 pm, Zuhair <zaljo...@gmail.com> wrote:

Metalogic
Metalogic is the study of the metatheory of logic.

The basic objects of study in metalogic are formal languages, formal
systems, and their interpretations.

Superfluous term.  You should be REDUCING THE DOMAIN OF DISCOURSE not
expanding

Herc

To post a message you must first join this group.
You do not have the permission required to post.
More options Aug 19 2012, 6:17 pm
Newsgroups: sci.logic, sci.math, misc.writing, alt.philosophy, comp.ai.philosophy
From: Dissitra <dissy...@gmail.com>
Date: Sun, 19 Aug 2012 15:17:51 -0700 (PDT)
Local: Sun, Aug 19 2012 6:17 pm
Subject: Re: Meta-Logicism
On Aug 19, 8:43 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:

is that to mean  PERCEPTION I guess

> Vs their example THE TREE IS ILLUSTRATING
> (they are using IS as a DO verb)

well theres stuff like...ummm ahhh?
you would need a reader I guess to have that 'they' so com ports are
open?
and also natural languages?
and theres a phase before that and before 'attention towards a focal
point complied or distinguished'

the phase before that is kinda cummy while a computer might be
screaming 'it,it,it' a human would be making signs or voices and tones
to negotiate proximety? names arn't necessary 'Rover' is an incident
and I think when 'Curiosity' gets its rocks together perhaps those
messages would be sending back indecent messages ? theres some highs
and lows in that message load. Mom said that a bloke said he would buy
her a Rover if they did it together, she was a devoted parent and
wife. i smirked..but what if daddy lost? (perhaps we'd be on Venus)

> I'm just trying to Map Natural Language to Predicate Logic.

> Resolving "FOR ALL TIME - IS"  type of sentences may be similar to
> resolving Quantifiers in Logic, where any ACTION type of sentence is
> Quantified over a period of time that exist(ed).

> EXIST(x):TIME "Bolt won the 100m medal (in year x)".

> x=2000, 2004, 2008, 2012

> Herc

ok for this experience I am a frog, and I like deep water, and I have
to dive too slowly. Its cooler lower?

To post a message you must first join this group.
You do not have the permission required to post.
More options Aug 19 2012, 7:01 pm
Newsgroups: sci.logic, sci.math, misc.writing, comp.lang.prolog, comp.ai.philosophy
From: Graham Cooper <grahamcoop...@gmail.com>
Date: Sun, 19 Aug 2012 16:01:14 -0700 (PDT)
Local: Sun, Aug 19 2012 7:01 pm
Subject: Re: Meta-Logicism

> > EXIST(x):TIME "Bolt won the 100m medal (in year x)".

> > x=2000, 2004, 2008, 2012

> > Herc

> ok for this experience I am a frog, and I like deep water, and I have
> to dive too slowly. Its cooler lower?

Well my online Prolog isn't finished yet..

first,

so I'll see how slow that is, computers are 1000 times faster than
when prolog first came out so a lot of the code is unnecessary.

[mP]-[like frog coolwater].

[mP]-[like frog deepwater].

[mP]-[coolwater] if [deepwater].

[mP]-[like frog X]?
[mP]-CONFIRM
X       coolwater       0
X       deepwater       0

So far so good...

Herc
--
www.microPROLOG.com

To post a message you must first join this group.
You do not have the permission required to post.
More options Aug 19 2012, 10:08 pm
Newsgroups: sci.logic, sci.math, misc.writing, comp.lang.prolog, comp.ai.philosophy
From: Dissitra <dissy...@gmail.com>
Date: Sun, 19 Aug 2012 19:08:40 -0700 (PDT)
Local: Sun, Aug 19 2012 10:08 pm
Subject: Re: Meta-Logicism
On Aug 19, 11:01 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:

shit I was only making bacon...and they gotten me outta my nest there

I was onto Physics visuals and healing and visual perception, we have
gone thru databases and verbals and 'some' visual recogisable cues and
onto stuff and nonsense past genes

we onto 'unified perception' and genetical heritage

a bland equal for all strarter

and then there are those pesky genes...for instance people with extra
perceptions of colur or taste, and of course in physics we have a
'blind math' in that presently popular 'blue zone' where you have
unifiable agreed math for taste, but

To post a message you must first join this group.
You do not have the permission required to post.
More options Aug 19 2012, 10:59 pm
Newsgroups: sci.logic, sci.math, misc.writing, comp.lang.prolog, comp.ai.philosophy
From: Graham Cooper <grahamcoop...@gmail.com>
Date: Sun, 19 Aug 2012 19:59:26 -0700 (PDT)
Local: Sun, Aug 19 2012 10:59 pm
Subject: Re: Meta-Logicism
On Aug 20, 12:08 pm, Dissitra <dissy...@gmail.com> wrote:

A.I. is a big field but it suffers 2 problems.

1/ 1000s of modular approaches that don't work when you join the
modules together

2/ it went off on the wrong track with PROLOG, which was a modular
approach to solve lots of different small problems in the 1
programming language.

There's only 1 algorithm in AI though.

UNIFY (    f(A,b,c)   ,    f(d,E,c)   )

A=d
E=b

PROLOG will search all functions until it finds what it needs to solve
any problem.

Herc
--
http://microPROLOG.com
[mP]-[happy Dude] if [rich Dude].

[mP]-[happy Dude] if [drunk Dude].

To post a message you must first join this group.
You do not have the permission required to post.
More options Aug 20 2012, 8:06 pm
Newsgroups: sci.logic, sci.math, misc.writing, comp.lang.prolog, comp.ai.philosophy
From: Dhu on Gate <campb...@neotext.ca>
Date: Tue, 21 Aug 2012 00:06:18 GMT
Local: Mon, Aug 20 2012 8:06 pm
Subject: Re: Meta-Logicism

On Sun, 19 Aug 2012 16:01:14 -0700, Graham Cooper wrote:

> so I'll see how slow that is, computers are 1000 times faster than
> when prolog first came out so a lot of the code is unnecessary.

Ah, but that's part of the mystique of GOFProlog: it's sooo tight
by today's standards that everthing else looks like COBOL from an
assembler POV.

Dhu

--
Ne obliviscaris, vix ea nostro voco.

To post a message you must first join this group.
You do not have the permission required to post.
More options Aug 20 2012, 9:46 pm
Newsgroups: sci.logic, sci.math, misc.writing, comp.lang.prolog, comp.ai.philosophy
From: Graham Cooper <grahamcoop...@gmail.com>
Date: Mon, 20 Aug 2012 18:46:52 -0700 (PDT)
Local: Mon, Aug 20 2012 9:46 pm
Subject: Re: Meta-Logicism
On Aug 21, 10:06 am, Dhu on Gate <campb...@neotext.ca> wrote:

> On Sun, 19 Aug 2012 16:01:14 -0700, Graham Cooper wrote:

> > so I'll see how slow that is, computers are 1000 times faster than
> > when prolog first came out so a lot of the code is unnecessary.

> Ah, but that's part of the mystique of GOFProlog: it's sooo tight
> by today's standards that everthing else looks like COBOL from an
> assembler POV.

> Dhu

micro is only about 300 lines of code, almost ready to make Unify
recursive.

There are binary indexes on the predicate heads, terms, and VARS.

Should make it nearly 3GL speeds.

Herc
--
http://microPROLOG.com

[mP]-[happy Dude] if [rich Dude].