-
1
-
-
0039588319
-
Information, Infons, and Inference
-
Robin Cooper, Kuniaki Mukai, and John Perry, eds, Stanford: CSLI Publications
-
Jon Barwise and John Etchemendy, 'Information, Infons, and Inference', in Robin Cooper, Kuniaki Mukai, and John Perry, eds., Situation Theory and Its Applications 1 (Stanford: CSLI Publications, 1990), pp. 33-78.
-
(1990)
Situation Theory and Its Applications
, vol.1
, pp. 33-78
-
-
Barwise, J.1
Etchemendy, J.2
-
3
-
-
33744541006
-
Shifting Situations and Shaken Attitudes
-
Jon Barwise and John Perry, 'Shifting Situations and Shaken Attitudes', Linguistics and Philosophy 8 (1985), pp. 105-161.
-
(1985)
Linguistics and Philosophy
, vol.8
, pp. 105-161
-
-
Barwise, J.1
Perry, J.2
-
4
-
-
60949421342
-
On Truthmakers for Negative Truths
-
JC Beall, 'On Truthmakers for Negative Truths', Australasian Journal of Philosophy 78 (2000), pp. 264-268.
-
(2000)
Australasian Journal of Philosophy
, vol.78
, pp. 264-268
-
-
Beall, J.C.1
-
5
-
-
80053830871
-
Defending Logical Pluralism
-
B. Brown and J. Woods, eds, Dordrecht: Kluwer Academic Publishers, to appear
-
JC Beall and Greg Restall, 'Defending Logical Pluralism', in B. Brown and J. Woods, eds., Logical Consequences (Dordrecht: Kluwer Academic Publishers), to appear.
-
Logical Consequences
-
-
Beall, J.C.1
Restall, G.2
-
6
-
-
0001842932
-
A Useful Four-Valued Logic
-
J. Michael Dunn and George Epstein, eds, Dordrecht: Kluwer Academic Press
-
Nuel D. Belnap, 'A Useful Four-Valued Logic', in J. Michael Dunn and George Epstein, eds., Modern Uses of Multiple-Valued Logics (Dordrecht: Kluwer Academic Press, 1977), pp. 8-37.
-
(1977)
Modern Uses of Multiple-Valued Logics
, pp. 8-37
-
-
Belnap, N.D.1
-
9
-
-
0001599661
-
Constructive Analysis (Springer-Verlag, 1985). Gorge Boolos, 'Nominalist Platonism'
-
Errett Bishop and Douglas Bridges, Constructive Analysis (Springer-Verlag, 1985). Gorge Boolos, 'Nominalist Platonism', Philosophical Review 94 (1985), pp. 327-344.
-
(1985)
Philosophical Review
, vol.94
, pp. 327-344
-
-
Bishop, E.1
Bridges, D.2
-
11
-
-
17844370396
-
Constructive Functional Analysis
-
Douglas S. Bridges, Constructive Functional Analysis, Volume 28 of Research Notes in Mathematics (Pitman, 1979).
-
(1979)
Research Notes in Mathematics
, vol.28
-
-
Bridges, D.S.1
-
13
-
-
0007912444
-
Intuitive Semantics for First-Degree Entailments and "coupled Trees
-
Michael Dunn, 'Intuitive Semantics for First-Degree Entailments and "Coupled Trees'", Philosophical Studies 29 (1976), pp. 149-168.
-
(1976)
Philosophical Studies
, vol.29
, pp. 149-168
-
-
Dunn, M.1
-
14
-
-
33645359071
-
Star and Perp: Two Treatments of Negation
-
James E. Tomberlin, ed, Atascadero, CA: Ridgeview Publishing Company
-
Michael Dunn, 'Star and Perp: Two Treatments of Negation', in James E. Tomberlin, ed., Philosophical Perspectives (Atascadero, CA: Ridgeview Publishing Company, 1994), pp. 331-357.
-
(1994)
Philosophical Perspectives
, pp. 331-357
-
-
Dunn, M.1
-
15
-
-
0242396001
-
Generalised Ortho Negation
-
Heinrich Wansing, ed, Berlin: Walter de Gruyter
-
Michael Dunn, 'Generalised Ortho Negation', in Heinrich Wansing, ed., Negation: A Notion in Focus (Berlin: Walter de Gruyter, 1996), pp. 3-26.
-
(1996)
Negation: A Notion in Focus
, pp. 3-26
-
-
Dunn, M.1
-
16
-
-
0040963995
-
Tarski on Truth and Logical Consequence
-
John Etchemendy, 'Tarski on Truth and Logical Consequence', Journal of Symbolic Logic 53 (1988), pp. 51-79.
-
(1988)
Journal of Symbolic Logic
, vol.53
, pp. 51-79
-
-
Etchemendy, J.1
-
20
-
-
0039777615
-
Informal Rigour and Completeness Proofs
-
Kreisel, Imre Lakatos, ed, Amsterdam: North Holland
-
Kreisel, 'Informal Rigour and Completeness Proofs', in Imre Lakatos, ed., Problems in the Philosophy of Mathematics (Amsterdam: North Holland, 1967).
-
(1967)
Problems in the Philosophy of Mathematics
-
-
-
21
-
-
0004178922
-
-
Cambridge, MA: Harvard University Press
-
Saul A. Kripke, Naming and Necessity (Cambridge, MA: Harvard University Press, 1972).
-
(1972)
Naming and Necessity
-
-
Kripke, S.A.1
-
26
-
-
0040369850
-
Two Problems with Tarski's Theory of Consequence'
-
Vann McGee, 'Two Problems with Tarski's Theory of Consequence', Proceedings of the Aristotelian Society 92 (1992), pp. 273-292.
-
(1992)
Proceedings of the Aristotelian Society
, vol.92
, pp. 273-292
-
-
McGee, V.1
-
29
-
-
60950667606
-
On Establishing the Converse
-
Robert K. Meyer and Errol P. Martin, 'On Establishing the Converse', Logique et Analyse 139-140 (1992), pp. 207-222.
-
(1992)
Logique et Analyse
, vol.139
, pp. 207-222
-
-
Meyer, R.K.1
Martin, E.P.2
-
31
-
-
1642350592
-
Truth-Makers
-
Kevin Mulligan, Peter Simons, and Barry Smith,'Truth-Makers', Philosophy and Phenomenological Research 44 (1984), pp. 287-321.
-
(1984)
Philosophy and Phenomenological Research
, vol.44
, pp. 287-321
-
-
Mulligan, K.1
Simons, P.2
Smith, B.3
-
32
-
-
0003110161
-
Constructible Falsity
-
David Nelson, 'Constructible Falsity', Journal of Symbolic Logic 14 (1949), pp. 16-26.
-
(1949)
Journal of Symbolic Logic
, vol.14
, pp. 16-26
-
-
Nelson, D.1
-
36
-
-
85010774565
-
Logic, Nonstandard
-
Donald M. Borchert, ed., (Supplement) (Macmillan Reference)
-
Graham Priest, 'Logic, Nonstandard', in Donald M. Borchert, ed., The Encyclopedia of Philosophy (Supplement) (Macmillan Reference, 1996), pp. 307-310.
-
(1996)
The Encyclopedia of Philosophy
, pp. 307-310
-
-
Priest, G.1
-
37
-
-
35348984486
-
What is Wrong with Disjunctive Syllogism?
-
Stephen Read, 'What is Wrong with Disjunctive Syllogism?', Analysis 41 (1981), pp. 66-70.
-
(1981)
Analysis
, vol.41
, pp. 66-70
-
-
Read, S.1
-
38
-
-
33746803039
-
Formal and Material Consequence
-
Stephen Read, 'Formal and Material Consequence', Journal of Philosophical Logic 23 (1994), pp. 247-265.
-
(1994)
Journal of Philosophical Logic
, vol.23
, pp. 247-265
-
-
Read, S.1
-
39
-
-
0003416702
-
-
Oxford: Oxford University Press
-
Stephen Read, Thinking About Logic (Oxford: Oxford University Press, 1995).
-
(1995)
Thinking about Logic
-
-
Read, S.1
-
41
-
-
33746139792
-
Truthmakers, Entailment and Necessity
-
Greg Restall, 'Truthmakers, Entailment and Necessity', Australasian Journal of Philosophy 74 (1996), pp. 331-340.
-
(1996)
Australasian Journal of Philosophy
, vol.74
, pp. 331-340
-
-
Restall, G.1
-
43
-
-
1642420978
-
Negation in Relevant Logics: How i Stopped Worrying and Learned to Love the Routley Star
-
Dov Gabbay and Heinrich Wansing, eds. (Dordrecht: Kluwer Academic Publishers)
-
reg Restall, 'Negation in Relevant Logics: How I Stopped Worrying and Learned to Love the Routley Star', in Dov Gabbay and Heinrich Wansing, eds., What Is Negation? (Dordrecht: Kluwer Academic Publishers, 1999).
-
(1999)
What Is Negation?
-
-
Restall, R.1
-
44
-
-
0001703834
-
Interview with a Constructive Mathematician
-
Fred Richman, 'Interview With a Constructive Mathematician', Modern Logic 6 (1996), pp. 247-271.
-
(1996)
Modern Logic
, vol.6
, pp. 247-271
-
-
Richman, F.1
-
45
-
-
53249099448
-
Relevantism, Material Detachment, and the Disjunctive Syllogism Argument
-
Richard Routely, 'Relevantism, Material Detachment, and the Disjunctive Syllogism Argument', Canadian Journal of Philosophy 14 (1984), pp. 167-188.
-
(1984)
Canadian Journal of Philosophy
, vol.14
, pp. 167-188
-
-
Routely, R.1
-
46
-
-
85023488535
-
Semantics of First-Degree Entailment
-
Richard Routley and Valerie Routley, 'Semantics of First-Degree Entailment', Nous 3 (1972), pp. 335-359.
-
(1972)
Nous
, vol.3
, pp. 335-359
-
-
Routley, R.1
Routley, V.2
-
47
-
-
84972535287
-
The Grounds for the Model-Theoretic Account of the Logical Properties
-
Manuel Garcia-Carpintero Sanchez-Miguel, 'The Grounds for the Model-Theoretic Account of the Logical Properties', Notre Dame Journal of Formal Logic 34 (1993), pp. 107-131.
-
(1993)
Notre Dame Journal of Formal Logic
, vol.34
, pp. 107-131
-
-
Garcia-Carpintero, M.1
Sanchez-Miguel2
-
48
-
-
0004091673
-
-
Cambridge, MA: MIT Press
-
Robert Stalnaker, Inquiry (Cambridge, MA: MIT Press, 1984).
-
(1984)
Inquiry
-
-
Stalnaker, R.1
-
49
-
-
24144432372
-
Against Intuitionism: Constructive Mathematics is Part of Classical Mathematics
-
W. Tait, 'Against Intuitionism: Constructive Mathematics is Part of Classical Mathematics', Journal of Philosophical Logic 12 (1983), pp. 173-195.
-
(1983)
Journal of Philosophical Logic
, vol.12
, pp. 173-195
-
-
Tait, W.1
-
50
-
-
0346052656
-
Truth and Proof: The Platonism of Mathematics
-
W. Tait, 'Truth and Proof: The Platonism of Mathematics', Synthese 69 (1986), pp. 314-370.
-
(1986)
Synthese
, vol.69
, pp. 314-370
-
-
Tait, W.1
-
51
-
-
33747033479
-
The Transmission of Truth and the Transitivity of Deduction
-
Dov Gabbay, ed, Oxford: Oxford University Press
-
Neil Tennant, 'The Transmission of Truth and the Transitivity of Deduction', in Dov Gabbay, ed., What is a Logical System? (Oxford: Oxford University Press, 1994), pp. 161-177.
-
(1994)
What Is A Logical System
, pp. 161-177
-
-
Tennant, N.1
-
52
-
-
0003481217
-
-
Cambridge, MA: MIT Press, ed. G. H. von Wright, R. Rees and G. E. M. Anscome
-
Ludwig Wittgenstein, Remarks on the Foundations of Mathematics (Cambridge, MA: MIT Press, 1967), ed. G. H. von Wright, R. Rees and G. E. M. Anscome.
-
(1967)
Remarks on the Foundations of Mathematics
-
-
Wittgenstein, L.1
-
53
-
-
33947497881
-
Twenty-Five Basic Theorems in Situation and World Theory
-
Edward N. Zalta, 'Twenty-Five Basic Theorems in Situation and World Theory', Journal of Philosophical Logic 93 (1993), pp. 385-428.
-
(1993)
Journal of Philosophical Logic
, vol.93
, pp. 385-428
-
-
Zalta, E.N.1
-
54
-
-
85010827905
-
A Classically-Based Theory of Impossible Worlds
-
Edward N. Zalta, 'A Classically-Based Theory of Impossible Worlds', Notre Dame Journal of Formal Logic 39 (1998), pp. 640-660.
-
(1998)
Notre Dame Journal of Formal Logic
, vol.39
, pp. 640-660
-
-
Zalta, E.N.1
|