Re: Epistemology 201: The Science of Science

From: Torkel Franzen (torkel_at_sm.luth.se)
Date: 02/05/05 

Date: 05 Feb 2005 08:44:51 +0100

Jason <jasonstevensNOSPAM@free.net.nz> writes:

> Okay, so you *must* be suggesting that the implication is not part of
> the langauge of ZFC.

  Apparently you have already forgotten what is meant by a formula in
the language of ZFC.

Relevant Pages

  • Re: Lets you & him fight
    ... I'm defining a new language. ... And why are you doing this in ZFC ... Because the point of the exercise is to give an interpretation of NBG ...
    (sci.logic)
  • Re: axioms of mathematical logic
    ... i base it on predicate logic and ZFC. ... manipulate expressions and objects without first setting the rules. ... first was taught the language of predicate logic, ... but then saying they can chose the axioms to use only after that. ...
    (sci.logic)
  • Re: axioms of mathematical logic
    ... first was taught the language of predicate logic, ... then given the list of ZFC axioms. ... expressions as if they are themselves some objects they can manipulate. ... but then saying they can chose the axioms to use only after that. ...
    (sci.logic)
  • Re: A set theory equivalent to ZFC.
    ... to the language of ZFC. ... language of your theory in the language of ZFC. ... Axiom schema of Relation 7) Axoim schema of Size Comprehension 8) ...
    (sci.math)
  • Re: axioms of mathematical logic
    ... first was taught the language of predicate logic, ... then given the list of ZFC axioms. ... expressions as if they are themselves some objects they can manipulate. ... but then saying they can chose the axioms to use only after that. ...
    (sci.logic)