75 found
Order:
Disambiguations
Chris Mortensen [73]Christian Edward Mortensen [3]
  1.  98
    Inconsistent mathematics.Chris Mortensen - 2008 - Studia Logica.
  2.  8
    Mental images: Should cognitive science learn from neurophysiology?Chris Mortensen - 1989 - In Peter Slezak (ed.), Computers, Brains and Minds. Kluwer Academic Publishers. pp. 123--136.
  3.  86
    Frontiers in Paraconsistent Logic.Diderik Batens, Chris Mortensen, Graham Priest & Jean Paul Van Bendegem (eds.) - 2000 - Research Studies Press.
    Paraconsistent logic, logic in which inconsistent information does not deliver arbitrary conclusions, is one of the fastest growing areas of logic, with roots in profound philosophical issues, and applications in information processing and philosophy of science. This book contains selected papers presented at the First World Congress on Paraconsistency, held in Ghent in 1997. It contains papers on various aspects of the subject. As such, it should be of interest to all who want to learn what the subject is, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  4.  19
    Conscious decisions.Chris Mortensen - 1985 - Behavioral and Brain Sciences 8 (4):548-549.
  5.  57
    Inconsistent models for relevant arithmetics.Robert Meyer & Chris Mortensen - 1984 - Journal of Symbolic Logic 49 (3):917-929.
    This paper develops in certain directions the work of Meyer in [3], [4], [5] and [6]. In those works, Peano’s axioms for arithmetic were formulated with a logical base of the relevant logic R, and it was proved finitistically that the resulting arithmetic, called R♯, was absolutely consistent. It was pointed out that such a result escapes incau- tious formulations of Goedel’s second incompleteness theorem, and provides a basis for a revived Hilbert programme. The absolute consistency result used as a (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  6.  16
    The Logic of Inconsistency.Chris Mortensen - 1981 - Philosophical Quarterly 31 (124):275-277.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  7.  58
    Aristotle's thesis in consistent and inconsistent logics.Chris Mortensen - 1984 - Studia Logica 43 (1-2):107 - 116.
    A typical theorem of conaexive logics is Aristotle''s Thesis(A), (AA).A cannot be added to classical logic without producing a trivial (Post-inconsistent) logic, so connexive logics typically give up one or more of the classical properties of conjunction, e.g.(A & B)A, and are thereby able to achieve not only nontriviality, but also (negation) consistency. To date, semantical modellings forA have been unintuitive. One task of this paper is to give a more intuitive modelling forA in consistent logics. In addition, while inconsistent (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  8.  12
    Every quotient algebra for $C_1$ is trivial.Chris Mortensen - 1980 - Notre Dame Journal of Formal Logic 21 (4):694-700.
  9.  55
    Chunk and permeate III: the Dirac delta function.Richard Benham, Chris Mortensen & Graham Priest - 2014 - Synthese 191 (13):3057-3062.
    Dirac’s treatment of his well known Delta function was apparently inconsistent. We show how to reconstruct his reasoning using the inconsistency-tolerant technique of Chunk and Permeate. In passing we take note of limitations and developments of that technique.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  10.  54
    Change and inconsistency.Chris Mortensen - forthcoming - Stanford Encyclopedia of Philosophy.
  11. The truth teller paradox.Chris Mortensen & Graham Priest - 1981 - Logique Et Analyse 24 (95):381-388.
     
    Export citation  
     
    Bookmark   11 citations  
  12.  47
    The limits of change.Chris Mortensen - 1985 - Australasian Journal of Philosophy 63 (1):1 – 10.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  13.  40
    The validity of disjunctive syllogism is not so easily proved.Chris Mortensen - 1983 - Notre Dame Journal of Formal Logic 24 (1):35-40.
  14. Paraconsistency and C1.Chris Mortensen - 1989 - In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. pp. 289--305.
     
    Export citation  
     
    Bookmark   8 citations  
  15.  55
    Peeking at the Impossible.Chris Mortensen - 1997 - Notre Dame Journal of Formal Logic 38 (4):527-534.
    The question of the interpretation of impossible pictures is taken up. Penrose's account is reviewed. It is argued that whereas this account makes substantial inroads into the problem, there needs to be a further ingredient. An inconsistent account using heap models is proposed.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  16.  56
    Physical topology.Chris Mortensen & Graham Nerlich - 1978 - Journal of Philosophical Logic 7 (1):209 - 223.
  17. A sequence of normal modal systems with non-contingency bases.Chris Mortensen - 1976 - Logique Et Analyse 19 (74):341-344.
  18.  54
    Relevance and verisimilitude.Chris Mortensen - 1983 - Synthese 55 (3):353-364.
    Popper's definition looked initially promising provided that the restriction of classical logic was removed. As we have seen, this promise is not fulfilled. The search for a satisfactory verisimilitude ordering must therefore be pursued along more mainstream lines. The present exercise ought, however, to make us aware of the possibility that breakdowns of proposed definitions might only occur because of strictly classical assumptions.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  31
    Inconsistent number systems.Chris Mortensen - 1987 - Notre Dame Journal of Formal Logic 29 (1):45-60.
  20.  48
    How Many Impossible Images Did Escher Produce?Chris Mortensen, Steve Leishman, Peter Quigley & Theresa Helke - 2013 - British Journal of Aesthetics 53 (4):425-441.
    In this article we address the question of how many impossible images Escher produced. To answer requires us first to clarify a range of concepts, including content, ambiguity, illusion, and impossibility. We then consider, and reject, several candidates for impossibility before settling on an answer.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  47
    Motion perception as inconsistent.Chris Mortensen - 2013 - Philosophical Psychology 26 (6):913-924.
    This paper offers an inconsistent model of motion perception. It was prompted by work on inconsistent motion due to Hegel and, following him, Priest. But the paper skirts Hegel's full scale idealism, by proposing that the inconsistency is with the cognitive contents of motion perception. The paper draws on work in the psychology of perception, and in the theory of inconsistency. I begin by noting the prima facie argument that temporal change threatens inconsistency, and canvassing ways in which this might (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22. Arguing for Universals.Chris Mortensen - 1987 - Revue Internationale de Philosophie 41 (1):97.
     
    Export citation  
     
    Bookmark   5 citations  
  23.  55
    On the possibility of science without numbers.Chris Mortensen - 1998 - Australasian Journal of Philosophy 76 (2):182 – 197.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  18
    Introduction.Christian Edward Mortensen & Graham Priest - 2006 - In Graham Priest (ed.), Doubt Truth to Be a Liar. Oxford University Press.
  25.  27
    On Logical Strength and Weakness.Chris Mortensen & Tim Burgess - 1989 - History and Philosophy of Logic 10 (1):47-51.
    First, we consider an argument due to Popper for maximal strength in choice of logic. We dispute this argument, taking a lead from some remarks by Susan Haack; but we defend a set of contrary considerations for minimal strength in logic. Finally, we consider the objection that Popper presupposes the distinctness of logic from science. We conclude from this that all claims to logical truth may be in equal epistemological trouble.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  24
    Reply to Burgess and to Read.Chris Mortensen - 1986 - Notre Dame Journal of Formal Logic 27 (2):195-200.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  27.  18
    Finance, Nature and Ontology.Glen Lehman & Chris Mortensen - 2019 - Topoi 40 (4):715-724.
    The paper examines connections between ontology and finance. The ontological debates concerning the role of finance are examined between two opposing schools of thought that can be labelled, very broadly, ‘instrumentalist’ and ‘realist’. These two schools of thought have had momentous repercussions in understanding what is a good society. Each school defines Nature in particular ways which can be explored using ontology and philosophical insight. Our theoretical investigation aims to accommodate Nature in community financial deliberations. A positive role for government (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  65
    An Analysis of Inconsistent and Incomplete Necker Cubes.Chris Mortensen - 2006 - Australasian Journal of Logic 4:216-225.
    This paper aims to distinguish and classify sixteen versions of the Necker cube. In particular, it is shown how to describe inconsistent and incomplete theories which correspond in a systematic way to these sixteen diagrams. Concerning two of these sixteen cubes, there is a natural intuition that there is a sense in which they inconsistent. It is seen that this intuition is vindicated by an analysis in which their corresponding theories turn out to be globally inconsistent but not locally inconsistent, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29. In the beginning.Chris Mortensen - 2003 - Erkenntnis 59 (2):141 - 156.
    In this paper, a survey is made of some of the contributionsto the interpretation of Hartle and Hawking's theory of thewave function of the universe and its beginning. It is arguedthat there are considerable difficulties with the interpretationof the theory, but that there is at least one interpretationhitherto not found in the literature which survives existingphilosophical objections.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30. 22. It Isn't So, But Could It Be?Chris Mortensen - 2005 - Logique Et Analyse 48.
     
    Export citation  
     
    Bookmark   3 citations  
  31.  17
    Model structures and set algebras for Sugihara matrices.Chris Mortensen - 1982 - Notre Dame Journal of Formal Logic 23 (1):85-90.
  32.  81
    The Leibniz continuity condition, inconsistency and quantum dynamics.Chris Mortensen - 1997 - Journal of Philosophical Logic 26 (4):377-389.
    A principle of continuity due to Leibniz has recently been revived by Graham Priest in arguing for an inconsistent account of motion. This paper argues that the Leibniz Continuity Condition has a reasonable interpretation in a different, though still inconsistent, class of dynamical systems. The account is then applied to the quantum mechanical description of the hydrogen atom.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  20
    Topological Separation Principles And Logical Theories.Chris Mortensen - 2000 - Synthese 125 (1-2):169-178.
    This paper is dedicated to Newton da Costa, who,among his many achievements, was the first toaim at dualising intuitionism in order to produce paraconsistent logics,the C-systems. This paper similarly dualises intuitionism to aparaconsistent logic, but the dual is a different logic, namely closed setlogic. We study the interaction between the properties of topologicalspaces, particularly separation properties, and logical theories on thosespaces. The paper begins with a brief survey of what is known about therelation between topology and modal logic, intuitionist logic (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. In defense of dharmakīrti -- a response to Tanaka.Chris Mortensen - 2007 - Philosophy East and West 57 (2):253-256.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  35. Dharmakirti and Priest on change.Chris Mortensen - 2004 - Philosophy East and West 54 (1):20-28.
    : Competing accounts of change and motion are given by the seventh-century Buddhist logician Dharmakirti and the contemporary analytical philosopher Graham Priest. They agree on much, but disagree on the issue of the Law of Non-Contradiction. This paper takes Dharmakirti's side, appealing to current space-time theory, while making some qualifications.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  28
    Models for inconsistent and incomplete differential calculus.Chris Mortensen - 1990 - Notre Dame Journal of Formal Logic 31 (2):274-285.
  37. A Theorem On Verisimilitude.Chris Mortensen - 1978 - Bulletin of the Section of Logic 7 (1):34-40.
  38.  42
    Inconsistent nonstandard arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
    This paper continues the investigation of inconsistent arithmetical structures. In $\S2$ the basic notion of a model with identity is defined, and results needed from elsewhere are cited. In $\S3$ several nonisomorphic inconsistent models with identity which extend the (=, $\S4$ inconsistent nonstandard models of the classical theory of finite rings and fields modulo m, i.e. Z m , are briefly considered. In $\S5$ two models modulo an infinite nonstandard number are considered. In the first, it is shown how to (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  73
    In the Beginning.Chris Mortensen - 2003 - Erkenntnis 59 (2):141-156.
    In this paper, a survey is made of some of the contributions to the interpretation of Hartle and Hawking’s theory of the wave function of the universe and its beginning. It is argued that there are considerable difficulties with the interpretation of the theory, but that there is at least one interpretation hitherto not found in the literature which survives existing philosophical objections.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  46
    Topological separation principles and logical theories.Chris Mortensen - 2000 - Synthese 125 (1-2):169 - 178.
    This paper is dedicated to Newton da Costa, who,among his many achievements, was the first toaim at dualising intuitionism in order to produce paraconsistent logics,the C-systems. This paper similarly dualises intuitionism to aparaconsistent logic, but the dual is a different logic, namely closed setlogic. We study the interaction between the properties of topologicalspaces, particularly separation properties, and logical theories on thosespaces. The paper begins with a brief survey of what is known about therelation between topology and modal logic, intuitionist logic (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  20
    Graham Charles Nerlich (23 November 1929 – 31 March 2022).Chris Mortensen & Antony Eagle - 2023 - Australasian Journal of Philosophy 101 (1):249-250.
    Graham Nerlich studied philosophy and English literature at the University of Adelaide, gaining a BA (with joint Honours) in 1954 and an MA (1955). These were halcyon days for philosophy in Adelaid...
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. In Defense of Dharmakīrti: A Response to Tanaka.Chris Mortensen - 2007 - Philosophy East and West 57 (2):253-256.
  43.  30
    Introduction.Filippo Casati, Chris Mortensen & Graham Priest - 2018 - Australasian Journal of Logic 15 (2):28-40.
    Introduction to the Routley/Sylvan Issue.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  7
    Prior and rennie on times and tenses.Chris Mortensen - 1995 - History and Philosophy of Logic 16 (1):65-73.
    One of Arthur Prior’s constructions of the relational calculus for times within tense logic plus propositional quantifiers is considered using Malcolm Rennie’s multimodal semantics and found wantin...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  15
    Fixed Point Theorems for Inconsistent and Incomplete Formation of Large Categories.J. Cole & Christian Edward Mortensen - 1995 - Logique Et Analyse 139 (140):223-238.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  29
    Notes on the theory of variable binding term operators.Newton C. A. da Costa & Chris Mortensen - 1983 - History and Philosophy of Logic 4 (1-2):63-72.
    The general theory of variable binding term operators is an interesting recent development in logic. It opens up a rich class of semantic and model-theoretic problems. In this paper we survey the recent literature on the topic, and offer some remarks on its significances and on its connections with other branches of mathematical logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  2
    Alien Intruders in Relevant Arithmetic.Robert Meyer & Chris Mortensen - 2021 - Australasian Journal of Logic 18 (5):401-425.
    This paper explores the model theory of relevant arithmetic, emphasizing the structure of nonstandard natural numbers in the relevant arithmetic R#. In particular, the authors prove the “Alien Intruder Theorem” guaranteeing the existence of a model of R# including the rational numbers in which each rational acts as a nonstandard natural number. The authors conclude by considering some consequences of and open questions about the construction used in the theorem.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  5
    Inconsistent Models for Relevant Arithmetics.Robert Meyer & Chris Mortensen - 2021 - Australasian Journal of Logic 18 (5):380-400.
    This paper develops in certain directions the work of Meyer in [3], [4], [5] and [6] (see also Routley [10] and Asenjo [11]). In those works, Peano’s axioms for arithmetic were formulated with a logical base of the relevant logic R, and it was proved finitistically that the resulting arithmetic, called R♯, was absolutely consistent. It was pointed out that such a result escapes incau- tious formulations of Goedel’s second incompleteness theorem, and provides a basis for a revived Hilbert programme. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Arguing for Universals in Nouvelles tendances du réalisme: la perspective australienne.Chris Mortensen - 1987 - Revue Internationale de Philosophie 41 (160):97-111.
     
    Export citation  
     
    Bookmark   1 citation  
  50.  15
    A mistaken argument.Chris Mortensen - 1982 - Philosophical Quarterly 32 (129):358-359.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 75