This website does readability filtering of other pages. All styles, scripts, forms and ads are stripped. If you want your website excluded or have other feedback, use this form.

Infinitary Logic > Notes (Stanford Encyclopedia of Philosophy)

Stanford Encyclopedia of Philosophy

Notes to Infinitary Logic

1. Observe, however, that while the formation rules for L(κ,λ) allow the deployment of infinitely many quantifiers, each preformula can contain only finitely many alternations of quantifiers. Languages permitting infinite quantifier alternations have been developed in the literature, but we shall not discuss them here.

2. This remark loses its force when the base language contains predicate symbols with infinitely many argument places. However, this possibility is excluded here since our base language is a conventional first-order language.

3. The I-fold copower of an object A is an object

IA

together with arrows

AσiIA (iI)

such that, for any arrows ƒi : AB (iI), there is a unique arrow

IAh B

for which ƒi = h ○ σi for all iI.

4. I.e., such that no contradictions can be derived from Δ using the deductive machinery in P.

5. If A is a set, ∈ ⨡ A denotes the membership relation on A, i.e., {〈x, y〉 ∈ A × A : xy}.

6. Strictly speaking, this is only the case when κ is regular, that is, not the limit of < κ cardinals each of which is < κ. In view of the fact that “most” cardinals are regular, we shall take this as read.

7. It should be pointed out, however, that there are languages L(κ,λ) apart from L(ω,ω) and L(ω1,ω) which are complete; for example, all languages L(κ+,ω) and L(λ,λ) with inaccessible λ.

8. This is just a consequence of the fact that a first-order deduction is a finite sequence, hence a member of H(ω).

9. Take σ to be any logically false sentence!

10. A set A is transitive if xyAxA.

Copyright © 2016 by
John L. Bell <[email protected]>

Open access to the SEP is made possible by a world-wide funding initiative.
The Encyclopedia Now Needs Your Support
Please Read How You Can Help Keep the Encyclopedia Free

Browse

About

Support SEP

Mirror Sites

View this site from another server:

USA (Main Site) CSLI, Stanford University

The Stanford Encyclopedia of Philosophy is copyright © 2016 by The Metaphysics Research Lab, Center for the Study of Language and Information (CSLI), Stanford University

Library of Congress Catalog Data: ISSN 1095-5054