How can sentential calculus be considered an independent theory not part of logic?
- From: andrewspencers@xxxxxxxxx
- Date: 7 Oct 2005 11:43:14 -0700
Tarski says on p. 137 of "Introduction to Logic",
"An example [of a consistent and complete deductive theory] is given by
sentential calculus, which has been discussed in Chapter II, provided
that it is considered as an independent theory and not as a part of
logic (however, in applying the term "complete" to this theory, it is
to be used in a slightly modified meaning)."
What does he mean by "independent theory and not as a part of logic"?
And what does he mean by "complete" having to be used in a slightly
modified meaning?
.
- Follow-Ups:
- Re: How can sentential calculus be considered an independent theory not part of logic?
- From: George Dance
- Re: How can sentential calculus be considered an independent theory not part of logic?
- From: George Dance
- Re: How can sentential calculus be considered an independent theory not part of logic?
- From: Jim Spriggs
- Re: How can sentential calculus be considered an independent theory not part of logic?
- Prev by Date: Re: Skolem Again
- Next by Date: Logistics Problem: Lisa's Tables
- Previous by thread: Please Explain
- Next by thread: Re: How can sentential calculus be considered an independent theory not part of logic?
- Index(es):