Sommaire du Fascicule no. 1

Some notes on iterated forcing with $2^{\aleph_0}>\aleph_2$.

Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1-17

Project Euclid
The rationalist conception of logic.

Wagner, Steven J.

Text on Project Euclid
PDF
Alt PDF
p. 3-35

Project Euclid
Constructive predicate logic with strong negation and model theory.

Akama, Seiki

Text on Project Euclid
PDF
Alt PDF
p. 18-27

Project Euclid
Infinite truth-functional logic.

Hailperin, Theodore

Text on Project Euclid
PDF
Alt PDF
p. 28-33

Project Euclid
Relevance and disjunctive syllogism.

Lavers, Peter

Text on Project Euclid
PDF
Alt PDF
p. 34-44

Project Euclid
Thoughts.

Bell, David

Text on Project Euclid
PDF
Alt PDF
p. 36-50

Project Euclid
Inconsistent number systems.

Mortensen, Chris

Text on Project Euclid
PDF
Alt PDF
p. 45-60

Project Euclid
Frege's permutation argument.

Moore, A. W. ; Rein, Andrew

Text on Project Euclid
PDF
Alt PDF
p. 51-54

Project Euclid
Remarks on Frege's conception of inference.

Currie, Gregory

Text on Project Euclid
PDF
Alt PDF
p. 55-68

Project Euclid
Operational semantics for positive ${\rm R}$.

Humberstone, I. L.

Text on Project Euclid
PDF
Alt PDF
p. 61-80

Project Euclid
A model-theoretic reconstruction of Frege's permutation argument.

Schroeder-Heister, Peter

Text on Project Euclid
PDF
Alt PDF
p. 69-79

Project Euclid
Frege against the Booleans.

Sluga, Hans

Text on Project Euclid
PDF
Alt PDF
p. 80-98

Project Euclid
De re and de dicto.

Jager, Thomas

Text on Project Euclid
PDF
Alt PDF
p. 81-90

Project Euclid
The problem of counterpossibles.

Cohen, Daniel H.

Text on Project Euclid
PDF
Alt PDF
p. 91-101

Project Euclid
Semantical antinomies in the logic of sense and denotation.

Anderson, C. Anthony

Text on Project Euclid
PDF
Alt PDF
p. 99-114

Project Euclid
The modal status of antinomies.

Lokhorst, Gert-Jan C.

Text on Project Euclid
PDF
Alt PDF
p. 102-105

Project Euclid
The number of nonnormal extensions of ${\rm S4}$.

Schumm, George F.

Text on Project Euclid
PDF
Alt PDF
p. 106-108

Project Euclid
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.

Meyer, J.-J. Ch.

Text on Project Euclid
PDF
Alt PDF
p. 109-136

Project Euclid
On the brink of a paradox?

Russinoff, I. Susan

Text on Project Euclid
PDF
Alt PDF
p. 115-131

Project Euclid
Frege on truth and reference.

Yourgrau, Palle

Text on Project Euclid
PDF
Alt PDF
p. 132-138

Project Euclid
A five-valued model of the $E$-$p$-$q$-theses.

Ulrich, Dolph

Text on Project Euclid
PDF
Alt PDF
p. 137-138

Project Euclid
The Nyāya on double negation.

Shaw, J. L.

Text on Project Euclid
PDF
Alt PDF
p. 139-154

Project Euclid
Frege's two senses of ``is''.

Mendelsohn, Richard L.

Text on Project Euclid
PDF
Alt PDF
p. 139-160

Project Euclid
Are enthymemes arguments?

Sorensen, Roy A.

Text on Project Euclid
PDF
Alt PDF
p. 155-159

Project Euclid
Book review: Collected works, Vol. I [Oxford Univ. Press, New York, 1986] by K. Gödel.

Kreisel, Georg

Text on Project Euclid
PDF
Alt PDF
p. 160-181

Project Euclid
On the consistency of the first-order portion of Frege's logical system.

Parsons, Terence

Text on Project Euclid
PDF
Alt PDF
p. 161-168

Project Euclid
The modal logic of `all and only'.

Humberstone, I. L.

Text on Project Euclid
PDF
Alt PDF
p. 177-188

Project Euclid
On defining sentential connectives.

Jurcic, Joseph

Text on Project Euclid
PDF
Alt PDF
p. 189-199

Project Euclid
Rudiments of a theory of reference.

Hill, Christopher S.

Text on Project Euclid
PDF
Alt PDF
p. 200-219

Project Euclid
Survey of generalizations of Urquhart semantics.

Bull, R. A.

Text on Project Euclid
PDF
Alt PDF
p. 220-237

Project Euclid
On $n$-equivalence of binary trees.

Doets, Kees

Text on Project Euclid
PDF
Alt PDF
p. 238-243

Project Euclid
Invertible definitions.

Williamson, Timothy

Text on Project Euclid
PDF
Alt PDF
p. 244-258

Project Euclid
Cantor-Bendixson spectra of $\omega$-stable theories.

Toffalori, Carlo

Text on Project Euclid
PDF
Alt PDF
p. 259-275

Project Euclid
Maximal $p$-subgroups and the axiom of choice.

Howard, Paul E. ; Yorke, Mary

Text on Project Euclid
PDF
Alt PDF
p. 276-283

Project Euclid
Decision procedure for a class of $(L_{\omega_1\omega})_t$-types of $T_3$ spaces.

Martínez, Juan Carlos

Text on Project Euclid
PDF
Alt PDF
p. 284-290

Project Euclid
Relatively Diophantine correct models of arithmetic.

Gold, Bonnie

Text on Project Euclid
PDF
Alt PDF
p. 291-296

Project Euclid
Intensions, Church's thesis, and the formalization of mathematics.

Goodman, Nicolas D.

Text on Project Euclid
PDF
Alt PDF
p. 473-489

Project Euclid
Reflections on Church's thesis.

Kleene, Stephen C.

Text on Project Euclid
PDF
Alt PDF
p. 490-498

Project Euclid
Church's thesis and the ideal of informal rigour.

Kreisel, Georg

Text on Project Euclid
PDF
Alt PDF
p. 499-519

Project Euclid
Turing projectability.

McCarthy, Timothy ; Shapiro, Stewart

Text on Project Euclid
PDF
Alt PDF
p. 520-535

Project Euclid
Variations on a thesis: intuitionism and computability.

McCarty, Charles

Text on Project Euclid
PDF
Alt PDF
p. 536-580

Project Euclid
Church's thesis and cognitive science.

Nelson, R. J.

Text on Project Euclid
PDF
Alt PDF
p. 581-614

Project Euclid
Wittgenstein versus Turing on the nature of Church's thesis.

Shanker, S. G.

Text on Project Euclid
PDF
Alt PDF
p. 615-649

Project Euclid