Re: Request for Reference/Link to example of defining a theory/logic.


Charlie-Boo wrote:
I am requesting help in locating a link or reference showing an example
of defining a theory and/or logic. I am constructing a formal system
that will emulate first-order logic and set theory.

Why?

Long story not worth going into here. Let's just say first-order logic
is incomplete and therefore I need a new improved formal system. :)

Or even better yet, insted of reinventing the wheel, invent a new
wheel: axiomatize some branch of Computer Science, e.g. Theory of
Computation (Turing), Recursion Theory (Kleene), Program Synthesis
(Boo), Incompleteness in Logic (Godel) etc. Or a branch of Mathematics
e.g. Number Theory (Peano Arithmetic is terrible for this - just as bad
as ZF.)

I guess that is exactly what I'm trying to do. Perhaps an analogy will
be useful: Given the computer language C, what is the set of things I
would need to show that C emulates first-order logic, set theory,
etc... I would like to cast first-order logic in terms of functions and
would like a reference/link/help in determining how to go about doing
this.

.

Relevant Pages

  • Re: what makes it true?
    ... grubb@xxxxxxxxxxxxxxxxx (Daniel Grubb) writes: ... > I can understand, given a formal system, whether I have a well formed ... > formal systems would be purely local if not for some type of set theory. ... All of this sounds very strange. ...
    (sci.math)
  • Re: what makes it true?
    ... >> I can understand, given a formal system, whether I have a well formed ... >> formal systems would be purely local if not for some type of set theory. ... > All of this sounds very strange. ... about whether it is in the set of provable statements from the theory. ...
    (sci.math)
  • Re: Request for Reference/Link to example of defining a theory/logic.
    ... I am requesting help in locating a link or reference showing an example ... I am constructing a formal system ... that will emulate first-order logic and set theory. ... show a much simpler representation of the axioms than ...
    (sci.logic)
  • Re: Epistemology 201: The Science of Science
    ... I would say that mathematics includes set theory, ... >>are not at odds with its formal system. ... So note that the rules of inference tend to describe the /form/ ...
    (sci.physics)
  • Request for Reference/Link to example of defining a theory/logic.
    ... I am requesting help in locating a link or reference showing an example ... I am constructing a formal system ... system does indeed include first-order logic and set theory. ...
    (sci.logic)