Skip to main content
SpringerLink
Log in

Two-Dimensional Adventures

  • Published:
Philosophical Studies Aims and scope Submit manuscript

Abstract

This paper recalls some applications of two-dimensional modal logic from the 1980s, including work on the logic of ‘Actually’ and on a somewhat idealized version of the indicative/subjunctive distinction, as well as on absolute and relative necessity. There is some discussion of reactions this material has aroused in commentators since. We also survey related work by Leslie Tharp from roughly the same period.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

REFERENCES

  • Lennart, Å. (1973): ‘Modal Logic with Subjunctive Conditionals and Dispositional Predicates’, Journal of Philosophical Logic 2, 1–76.

    Google Scholar 

  • Belnap, N.D. (1982): ‘Display Logic’, Journal of Philosophical Logic 11, 375–417.

    Google Scholar 

  • Bergmann, M. (1981): ‘Presupposition and Two-Dimensional Logic’, Journal of Philosophical Logic 10, 27–53.

    Google Scholar 

  • Blok, W.J. and Pigozzi, D.L. (1991): ‘Local Deduction Theorems in Algebraic Logic’, in H. Andréka, J.D. Monk and I. Németi (eds.), Algebraic Logic (pp. 75–109), Amsterdam: North-Holland.

    Google Scholar 

  • Bostock, D. (1988): ‘Necessary Truth and A Priori Truth’, Mind 97, 343–379.

    Google Scholar 

  • Bricker, P. (1989): ‘Quantified Modal Logic and the Plural De Re’, in P.A. French et al. (eds.), Midwest Studies in Philosophy, Vol. XIV: Contemporary Perspectives in the Philosophy of Language II (pp. 372–394), Notre Dame, Indiana: University of Notre Dame Press.

    Google Scholar 

  • Burgess, J.P. (1999): ‘Which Modal Logic is the Right One’, Notre Dame Journal of Formal Logic 40, 81–93.

    Google Scholar 

  • Castañeda, H-N. (1967/8): ‘Actions, Imperatives, and Obligations’, Proceedings of the Aristotelian Society 68, 25–48.

    Google Scholar 

  • Castañeda, H-N. (1967): ‘Acts, the Logic of Obligation, and Deontic Calculi’, Philosophical Studies 19, 13–26.

    Google Scholar 

  • Chalmers, D. (1999): ‘The Tyranny of the Subjunctive’, at http://consc.net/papers/tyranny.html, originally part of the lecture series Mind and Modality, delivered by Chalmers at Princeton.

  • Charlwood, G.W. (1981): ‘An Axiomatic Version of Positive Semilattice Relevance Logic’, Journal of Symbolic Logic 46, 233–239.

    Google Scholar 

  • Cresswell, M. (1990): Entities and Indices, Dordrecht: Kluwer.

    Google Scholar 

  • Crossley, J.N. and Humberstone, L. (1977): ‘The Logic of “Actually”’, Reports on Mathematical Logic 8, 11–29.

    Google Scholar 

  • Davies, M. (1981): Meaning, Quantification, Necessity: Themes in Philosophical Logic, London: Routledge and Kegan Paul.

    Google Scholar 

  • Davies, M. and Humberstone, L. (1980): ‘Two Notions of Necessity’, Philosophical Studies 38, 1–30.

    Google Scholar 

  • Donnellan, K. (1977): ‘The Contingent A Priori and Rigid Designators’, Midwest Studies in Philosophy 2, 12–27.

    Google Scholar 

  • Dunn, J.M. (1986): ‘Relevance Logic and Entailment’, in D.M. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic III: Alternatives to Classical Logic (pp. 117–224), Dordrecht: Reidel.

    Google Scholar 

  • Evans, M.G.J. (1979): ‘Reference and Contingency’, The Monist 62, 161–189.

    Google Scholar 

  • Forbes, G. (1989): Languages of Possibility, Oxford: Basil Blackwell.

    Google Scholar 

  • Forbes, G. (1992): ‘Melia on Modalism’, Philosophical Studies 68, 57–63.

    Google Scholar 

  • van Fraassen, B.C. (1977): ‘The Only Necessity is Verbal Necessity’, Journal of Philosophy 74, 71–85.

    Google Scholar 

  • Gil, A.J. and Rebagliato, J. (2000): ‘Protoalgebraic Gentzen Systems and the Cut Rule’, Studia Logica 65, 53–89.

    Google Scholar 

  • Gregory, D. (2001): ‘Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators’, Journal of Philosophical Logic 30, 57–78.

    Google Scholar 

  • Hazen, A.P. (1976): ‘Expressive Completeness in Modal Language’, Journal of Philosophical Logic 5, 25–46.

    Google Scholar 

  • Hazen, A.P. (1978): ‘Eliminability of the Actuality Operator in Propositional Modal Logic’, Notre Dame Journal of Formal Logic 19, 617–622.

    Google Scholar 

  • Hazen, A.P. (1990): ‘Actuality and Quantification’, Notre Dame Journal of Formal Logic 31 498–508.

    Google Scholar 

  • Hilpinen, R. (1981): ‘Conditionals and Possible Worlds’, in G. Fløistad (ed.), Contemporary Philosophy: A New Survey, Vol. 1 (pp. 299–335), The Hague: Martinus Nijhoff.

    Google Scholar 

  • Hilpinen, R. (1982): ‘Disjunctive Permissions and Conditionals with Disjunctive Antecedents’, Acta Philosophica Fennica 35, 175–194.

    Google Scholar 

  • Hodes, H. (1984a): ‘Some Theorems on the Expressive Limitations of Modal Languages’, Journal of Philosophical Logic 13, 13–26.

    Google Scholar 

  • Hodes, H. (1984b): ‘Axioms for Actuality’, Journal of Philosophical Logic 13, 27–34.

    Google Scholar 

  • Hodes, H. (1984c): ‘On Modal Logics Which Enrich First-Order S5’, Journal of Philosophical Logic 13, 423–454.

    Google Scholar 

  • Humberstone, L. (1978): ‘Two Merits of the Circumstantial Operator Language for Conditional Logics’, Australasian Journal of Philosophy 56, 21–24.

    Google Scholar 

  • Humberstone, L. (1981a): ‘Relative Necessity Revisited’, Reports on Mathematical Logic 13, 33–42.

    Google Scholar 

  • Humberstone, L. (1981b): ‘From Worlds to Possibilities’, Journal of Philosophical Logic 10, 313–339.

    Google Scholar 

  • Humberstone, L. (1982): ‘Scope and Subjunctivity’, Philosophia 12, 99–126.

    Google Scholar 

  • Humberstone, L. (1988): ‘Operational Semantics for Positive R’, Notre Dame Journal of Formal Logic 29, 61–80.

    Google Scholar 

  • Humberstone, L. (1992): ‘Direction of Fit’, Mind 101, 59–83.

    Google Scholar 

  • Jackson, F. (1998): From Metaphysics to Ethics: A Defence of Conceptual Analysis, Oxford: Clarendon Press.

    Google Scholar 

  • Kamp, J.A.W. (Hans)(1971): ‘Formal Properties of “Now”’, Theoria 37, 227–273.

    Google Scholar 

  • Kaplan, D. (1979): ‘The Logic of Demonstratives’, in P.A. French, T.E. Uehling and H.K. Wettstein (eds.), Contemporary Perspectives in the Philosophy of Language (pp. 401–412), Minneapolis: University of Minnesota Press

    Google Scholar 

  • Kaplan, D. (1989): ‘Demonstratives’ and ‘Afterthoughts’, in J. Almog, J. Perry and H. Wettstein (eds.), Themes from Kaplan (pp. 481–563 and 565–614), New York: Oxford University Press.

    Google Scholar 

  • Kuhn, S.T. (1989): ‘The Domino Relation: Flattening a Two-Dimensional Logic’, Journal of Philosophical Logic 18, 173–195.

    Google Scholar 

  • Kuhn, S.T. (1995): ‘Minimal Non-Contingency Logic’, Notre Dame Journal of Formal Logic 36, 230–234.

    Google Scholar 

  • Lemmon, E.J. (1959): ‘Is There Only One Correct System of Modal Logic’, Aristotelian Soc. Supp. Volume 33, 23–40.

    Google Scholar 

  • Lewis, D. (1973): Counterfactuals, Oxford: Basil Blackwell.

    Google Scholar 

  • Lewis, D. (1983): ‘Postscripts to “Anselm and Actuality”’, in Philosophical Papers, Vol. 1 (pp. 21–25), New York: Oxford University Press.

    Google Scholar 

  • Lewis, D. (2002): ‘Tharp's Third Theorem’, Analysis 62, 95–97.

    Google Scholar 

  • Marx, M. and Venema, Y. (1997): Multi-Dimensional Modal Logic, Dordrecht: Kluwer.

    Google Scholar 

  • Max, I. (1998): ‘Handling Inconsistencies in Multi-Dimensional Logics’, Logique et Analyse 41, 67–93.

    Google Scholar 

  • Melia, J. (1992): ‘Against Modalism’, Philosophical Studies 68, 35–56.

    Google Scholar 

  • Meredith, C.A. and Prior, A.N. (1965): ‘Modal Logic with Functorial Variables and a Contingent Constant’, Notre Dame Journal of Formal Logic 6, 99–109.

    Google Scholar 

  • Meyer, R.K. (1974): ‘Entailment is Not Strict Implication’, Australasian Journal of Philosophy 52, 212–231.

    Google Scholar 

  • Montague, R. (1974): Formal Philosophy, R.H. Thomason (ed.), London: Yale University Press.

    Google Scholar 

  • Partee, B.H. (1973): ‘Some Structural Analogies between Tenses and Pronouns in English’ Journal of Philosophy 70, 601–609.

    Google Scholar 

  • Peacocke, C.A.B. (1976): ‘What is a Logical Constant’, Journal of Philosophy 73, 221–240.

    Google Scholar 

  • Pratt, V. (1994): ‘A Roadmap of Some Two-Dimensional Logics’, in J. van Eijck and A. Visser (eds.), Logic and Information Flow (pp. 149–162), Cambridge, MA: MIT Press.

    Google Scholar 

  • Pynko, A.P. (1999): ‘Implication Systems for Many-Dimensional Logics’, Reports on Mathematical Logic 33, 11–27.

    Google Scholar 

  • Rabinowicz, W. and Segerberg, K. (1994): ‘Actual Truth, Possible Knowledge’, Topoi 13, 101–115.

    Google Scholar 

  • Segerberg, K. (1973): ‘Two-DimensionalModal Logic’, Journal of Philosophical Logic 2, 77–96.

    Google Scholar 

  • Smiley, T.J. (1963): ‘Relative Necessity’, Journal of Symbolic Logic 28, 113–134.

    Google Scholar 

  • Smiley, T.J. (1996): ‘Rejection’, Analysis 56, 1–9.

    Google Scholar 

  • Stalnaker, R.C. (1978): ‘Assertion’, in P. Cole (ed.), Syntax and Semantics, Vol. 9: Pragmatics, New York: Academic Press.

    Google Scholar 

  • Surma, S.J. (ed.) (1977) Mordchaj Wajsberg: Logical Works, Ossolineum: Polish Academy of Sciences, Institute of Philosophy and Sociology.

    Google Scholar 

  • Teichmann, R. (1990): ‘Actually’, Analysis 50, 16–19.

    Google Scholar 

  • Tharp, L. (1974): ‘Necessity, A Priority and Provability’, Notices of the American Math. Soc. 21, *74T-E23, A–320.

    Google Scholar 

  • Tharp, L. (1989): ‘Three Theorems of Metaphysics’, Synthese 81, 207–214.

    Google Scholar 

  • Thomas, I. (1976): ‘One dimension in PS and PSI’, Notre Dame Journal of Formal Logic 17, 421–423.

    Google Scholar 

  • Urquhart, A. (1972): ‘Semantics for Relevant Logics’, Journal of Symbolic Logic 37, 159–169.

    Google Scholar 

  • Venema, Y. (1992): ‘A Note on the Tense Logic of Dominoes’, Journal of Philosophical Logic 21, 172–182.

    Google Scholar 

  • Wehmeier, K. (forthcoming): ‘Modality, Mood, and Descriptions’, to appear in Reinhard Kahle (ed.), Intensionality — An Interdisciplinary Discussion, A.K. Peters.

  • Williamson, T. (1998): ‘Iterated Attitudes’, Procs. British Academy 93 (1998), 85–133.

    Google Scholar 

  • Zalta, E.N. (1988): ‘Logical and Analytic Truths that are Not Necessary’, Journal of Philosophy 85, 57–74.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Philosophy and Bioethics, Monash University, Clayton Campus, Victoria, 3800, Australia

    Lloyd Humberstone

Authors
  1. Lloyd Humberstone
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Humberstone, L. Two-Dimensional Adventures. Philosophical Studies 118, 17–65 (2004). https://doi.org/10.1023/B:PHIL.0000019542.43440.d1

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:PHIL.0000019542.43440.d1

Keywords

Search

Navigation