Skip to main content
SpringerLink
Log in

Partiality and Its Dual

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This paper explores allowing truth value assignments to be undetermined or "partial" (no truth values) and overdetermined or "inconsistent" (both truth values), thus returning to an investigation of the four-valued semantics that I initiated in the sixties. I examine some natural consequence relations and show how they are related to existing logics, including Łukasiewicz's three-valued logic, Kleene's three-valued logic, Anderson and Belnap's (first-degree) relevant entailments, Priest's "Logic of Paradox", and the first-degree fragment of the Dunn-McCall system "R-mingle". None of these systems have nested implications, and I investigate twelve natural extensions containing nested implications, all of which can be viewed as coming from natural variations on Kripke's semantics for intuitionistic logic. Many of these logics exist antecedently in the literature, in particular Nelson's "constructible falsity".

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

  • Almukdad, A., and D. Nelson (1984). ‘Constructible falsity and inexact predicates’, The Journal of Symbolic Logic 49, 231-233.

    Google Scholar 

  • Anderson, A. R., and N. D. Belnap. et al (1975). Entailment: The Logic of Relevance and Necessity, vol. 1, Princeton (Princeton University Press).

    Google Scholar 

  • Anderson, A. R., N. D. Belnap, and J. M. Dunn, et al (1992), Entailment: The Logic of Relevance and Necessity, vol. 2, Princeton (Princeton University Press).

    Google Scholar 

  • Asenjo, F., (1966), ‘A calculus of antinomies’, Notre Dame Journal of Formal Logic VII, 103-105.

    Google Scholar 

  • Belnap, N. D., (1970), ‘Restricted quantification and conditional assertion’, Noûs 4, 1-12. Fuller version in H. Leblanc (ed.), Truth, Syntax and Modality, Amsterdam, North-Holland Publishing Company, p. 48–75, 1973.

    Google Scholar 

  • Belnap, N. D., (1975), ‘A useful four-valued logic’, abstract in Proceedings of the 1975 International Symposium on Multiple-Valued Logic, Indiana University, Bloomington.

    Google Scholar 

  • Belnap, N. D., (1977a), ‘A useful four-valued logic’, in Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein (eds.), Dordrecht, D. Reidel Publishing Co.

    Google Scholar 

  • Belnap, N. D., (1977b), ‘How a computer should think’, in Contemporary Aspects of Philosophy, G. Ryle (ed.), Stocksfield, Oriel Press Ltd, p. 30-55.

    Google Scholar 

  • Blamey, S., (1986), ‘Partial logics’, in Handbook of Philosophical Logic vol. III, Alternatives to Classical Logic, D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company), p. 1-70.

    Google Scholar 

  • Dunn, J. M., (1966), The Algebra of Intensional Logics, Doctoral Dissertation, University of Pittsburgh, Ann Arbor (University Microfilms). Some portions relevant to this paper are reprinted in Anderson, Belnap, et al. (1975) as §8 and §28.2.

    Google Scholar 

  • Dunn, J. M., (1967), ‘The effective equivalence of certain propositions about De Morgan lattices’, The Journal of Symbolic Logic 32, 433-434.

    Google Scholar 

  • Dunn, J. M., (1969), ‘Natural language versus formal language’, unpublished manuscript, Presented at the joint APA-ASL symposium, New York, Dec. 27.

  • Dunn, J. M., (1971), ‘An intuitive semantics for first degree relevant implications’ (abstract), The Journal of Symbolic Logic 36, 362-363.

    Google Scholar 

  • Dunn, J. M., (1976a), ‘Intuitive semantics for first-degree entailments and coupled trees’, Philosophical Studies 29, 149-168.

    Google Scholar 

  • Dunn, J. M., (1976b), ‘A Kripke-style semantics for R-mingle using a binary accessibility relation’, Studia Logica 35, 163-172.

    Google Scholar 

  • Dunn, J. M., (1979), ‘A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic’, Studia Logica 38, 149-169.

    Google Scholar 

  • Dunn, J. M., (1986), ‘Relevance logic and entailment’, in Handbook of Philosophical Logic vol. III, Alternatives to Classical Logic, D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company.

    Google Scholar 

  • Dunn, J. M., (1993), ‘Perp and star: Two treatments of negation’, in Philosophical Perspectives 7: Language and Logic, J. Tomberlin (ed.), p. 331-357.

  • Dunn, J. M., (1997), ‘A comparative study of various model-theoretic treatments of negation: A history of formal negation’, D. Gabbay and H. Wansing (eds.), Dordrecht, Kluwer Academic Publishing.

    Google Scholar 

  • Dunn, J. M., and N. D. Belnap (1968), ‘Homomorphisms of intensionally complemented distributive lattices’, Mathematische Annalen 176, 28-38.

    Google Scholar 

  • Fagin, R., and J. Y. Halpern (1985), ‘Belief, awareness and limited reasoning: Preliminary report’, in Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Altos, Morgan Kaufmann, p. 491-501.

    Google Scholar 

  • Fagin, R., and J. Y. Halpern (1987), ‘Belief, awareness and limited reasoning’, Artificial Intelligence 34, 39-76.

    Google Scholar 

  • Fagin, R., J. Y. Halpern, Y. Moses, M. Y. Vardi (1995), Reasoning about Knowledge, Cambridge, U.S.A, The MIT Press.

    Google Scholar 

  • Fine, K., (1974), ‘Models for entailment’, Journal of Philosophical Logic 3, 347-372.

    Google Scholar 

  • Fitting, M., (1988), ‘Logic programming on a topological bilattice’, Fundamenta Informatica 11, 209-218.

    Google Scholar 

  • Fitting, M., (1989), ‘Bilattices and the theory of truth’, Journal of Philosophical Logic 18, 225-256.

    Google Scholar 

  • Ginsberg, M. L., (1987), ‘Multi-valued logics’, Technical Report, The Logic Group Knowledge Systems Laboratory, Department of Computer Science, Stanford University.

  • Girard, J.-Y., (1987), ‘Linear logic’, Theoretical Computer Science 50, 1-102.

    Google Scholar 

  • Grzegorczyk, A., (1964), ‘A philosophically plausible formal interpretation of intuitionistic logic’, Indagiones Mathematicae 26, 596-601.

    Google Scholar 

  • Gurevich, Y., (1977), ‘Intuitionistic logic with strong negation’, Studia Logica 36, 49-59.

    Google Scholar 

  • Hazen, A., (199+), ‘Subminimal negation’, unpublished ms.

  • Horn, L., (1989), A natural history of negation, Chicago, University of Chicago Press.

    Google Scholar 

  • Jaspars, J., (1994), Calculi for Constructive Communication, Ph.D. Dissertation, University of Tilburg.

  • Kalman, J. A., (1958), ‘Lattices with involution’, Transactions of the American Mathematical Society 87, 485-491.

    Google Scholar 

  • Kleene, S. C., (1952), Introduction to Metamathematics, New York, D. Van Nostrand Company.

    Google Scholar 

  • Kripke, S., (1965), ‘Semantic analysis of intuitionistic logic I’, in Formal Systems and Recursive Functions, J. Crossley and M. Dummett (eds.), Amsterdam, North-Holland Publishing Company, p. 92-129.

    Google Scholar 

  • Kripke, S., (1975), ‘Outline of a theory of truth’, The Journal of Philosophy 72, 690-716.

    Google Scholar 

  • von Kutschera, F., (1969), ‘Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle’, Archiv für Mathematische Logik und Grundlagenforschung 12, 104-118.

    Google Scholar 

  • Levesque, H. J., (1984), ‘A logic of implicit and explicit belief’, in Proceedings of the National Conference on Artificial Intelligence, Los Altos, Morgan Kaufman, p. 198-202.

    Google Scholar 

  • Markov, A. A., (1950), ‘Konstruktivnaja logika’, Uspéhi Matematičéskih Nauk, 5,no. 3. 187-188.

    Google Scholar 

  • Martin, R. L., P. W. Woodruff (1975), ‘On representing ‘true-in-L’ in L’, Philosophia 5, 213-217.

    Google Scholar 

  • Meyer, R. K., (1971), ‘Entailment’, The Journal of Philosophy 68, 808-818.

    Google Scholar 

  • Meyer, R. K., (1973), ‘Intuitionism, entailment, negation’, in Truth, Syntax, and Modality, H. Leblanc (ed.), Amsterdam, North-Holland Publishing Co., p. 168-198.

    Google Scholar 

  • Meyer, R. K., (1979), ‘A Boolean-valued semantics for R’, Research Paper No. 4, Australian National University, Logic Group, Research School of Social Sciences, Canberra.

    Google Scholar 

  • Meyer, R. K., S. Giambrone, and R. Brady (1984), ‘Where gamma fails’, Studia Logica 247-256.

  • Nelson, D., (1949), ‘Constructible falsity’, The Journal of Symbolic Logic 14, 16-26.

    Google Scholar 

  • Nelson, D., (1959), ‘Negation and separation of concepts in constructive systems’, in Constructivity in Mathematics, A. Heyting (ed.), Amsterdam, North-Holland Publishing Company, p. 208-225.

    Google Scholar 

  • Pearce, D., (1991), ‘n Reasons for Choosing N’, Technical Report 14/91, Gruppe für Logik, Wissenstheorie und Information, Freie Universität Berlin.

    Google Scholar 

  • Pearce, D., (1993), ‘Answer sets and constructive logic II: Extended logic programs and related non-monotonic formalisms’, in Logic Programming and Non-monotonic Reasoning, L. Pereira and A. Nerode (eds.), Cambridge, MA, MIT Press.

    Google Scholar 

  • Pearce, D., and G. Wagner (1990), ‘Logic programming with strong negation’, in Proceedings of the Workshop on Extensions of Logic Programming, Logic Notes in AI, 475, P. Schroeder-Heister (ed.), Berlin, Springer-Verlag.

    Google Scholar 

  • Priest, G., (1977), ‘The logic of paradox’ (abstract), Relevance Logic Newsletter 2, 105. Reprinted in the Bulletin of the Section of Logic 6 (1977), 140–141.

    Google Scholar 

  • Priest, G., (1979), ‘The logic of paradox’, Journal of Philosophical Logic 9, 415-435.

    Google Scholar 

  • Priest, G., (1987), In Contradiction, The Hague, Martinus Nijhoff.

    Google Scholar 

  • Raju, P. T., (1954), ‘The principle of four-cornered negation in Indian philosophy’, Review of Metaphysics 7, 694-713.

    Google Scholar 

  • Rasiowa, H., (1974), An Algebraic Approach to Non-classical Logics, Amsterdam, North-Holland Publishing Company.

    Google Scholar 

  • Routley, R., and R. K. Meyer (1972–73), ‘The semantics of entailment I’, in Truth, Syntax and Modality, H. Leblanc (ed.), Amsterdam, North-Holland Publishing Company, 1973, p. 199-243. ‘The semantics of entailment II–III’, Journal of Philosophical Logic 1 (1972), 53–73, 192–208.

    Google Scholar 

  • Routley, R., and R. K. Meyer (1976), ‘Dialectical logic, classical logic, and the consistency of the world’, Studies in Soviet Thought 16, 1-25.

    Google Scholar 

  • Routley, R., and R. V. Routley (1972), ‘Semantics of first-degree entailment’, Noûs, 335-359.

  • Scott, D., (1973). ‘Models of various type-free calculi’, in Logic, Methodology and Philosophy of Science IV, P. Suppes et al (eds.), Amsterdam, North-Holland Publishing Co., p. 157-187.

    Google Scholar 

  • Shramko, Y., (1999), Intuitionismus und Relevanz, Berlin, Logos-Verlag.

    Google Scholar 

  • Shramko, Y., (2000), ‘American plan for intuitionistic logic 1: An intuitive background’, LOGICA Yearbook '99, Academy of Sciences of the Czech Republic.

  • Slaney, J., (1989), ‘The implications of paraconsistency’, Technical Report TR-ARP-3/89, Automated Reasoning Project, Australian national University, Canberra.

    Google Scholar 

  • Slaney, J., T. Surendonk, and R. Girie (1989), ‘Time, truth, and logic’, Technical Report TR-ARP-11/89, Automated Reasoning Project, Australian national University, Canberra.

    Google Scholar 

  • Strawson, P. F., (1952), Introduction to Logical Theory, London, Methuen and Co. Ltd.

    Google Scholar 

  • Thijsse, E., (1992), Partial Logic and Knowledge Representation, Delft, Holland, Eburon Publishers.

    Google Scholar 

  • Thomason, R. H., (1969), ‘A semantical study of constructive falsity’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 15, 247-257.

    Google Scholar 

  • Urquhart, A., (1986), ‘Many-valued logic’, in Handbook of Philosophical Logic vol. III, Alternatives to Classical Logic, D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company, p. 71-116.

    Google Scholar 

  • Visser, A., (1984). ‘Four valued semantics and the liar’, Journal of Philosophical Logic 13, 181-212.

    Google Scholar 

  • Wagner, G., (1991), ‘Logic programming with strong negation and inexact predicates’, Journal of Logic and Computation 1, 835-859.

    Google Scholar 

  • Wagner, G., (1994), Vivid Logic: Knowledge-Based Reasoning with Two kinds of Negation, Lecture Notes in AI, 764, Berlin, Springer-Verlag.

    Google Scholar 

  • Wansing, H., (1993), The Logic of Information Structures, Lectures Notes in AI, 681, Berlin, Springer-Verlag.

    Google Scholar 

  • Wansing, H., (1995a), ‘Semantics-based nonmonotonic inference’, Notre Dame Journal of Formal Logic 36, 44-54.

    Google Scholar 

  • Wansing, H., (1995b), ‘Tarskian structured consequence relations and functional completeness’, Mathematical Logic Quarterly 41, 73-92.

    Google Scholar 

  • Woodruff, P. W., (1984), ‘Paradox, truth and logic, part I: Paradox and truth’, Journal of Philosophical Logic 13, 213-232.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departments of Philosophy ⇐ Computer Science, Indiana University, Bloomington, IN, 47405

    J. Michael Dunn

Authors
  1. J. Michael Dunn
    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

Dunn, J.M. Partiality and Its Dual. Studia Logica 66, 5–40 (2000). https://doi.org/10.1023/A:1026740726955

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1026740726955

Search

Navigation