ORCID Profile
0000-0002-7899-1727
Current Organisation
Victoria University of Wellington
Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the Feedback Form.
Publisher: Springer Science and Business Media LLC
Date: 28-08-2017
Publisher: Springer Science and Business Media LLC
Date: 22-10-2008
Publisher: Springer Science and Business Media LLC
Date: 10-1995
DOI: 10.1007/BF01052599
Publisher: Springer Science and Business Media LLC
Date: 07-05-2012
Publisher: Springer Science and Business Media LLC
Date: 1994
DOI: 10.1007/BF01053023
Publisher: Springer Science and Business Media LLC
Date: 06-2000
Publisher: Wiley
Date: 14-06-2012
Publisher: Springer Science and Business Media LLC
Date: 02-1993
DOI: 10.1007/BF01049182
Publisher: Wiley
Date: 28-06-2008
Publisher: Wiley
Date: 1993
Publisher: Springer Science and Business Media LLC
Date: 20-03-2010
Publisher: Cambridge University Press (CUP)
Date: 25-01-2012
DOI: 10.1017/S1755020311000384
Abstract: We provide a Hilbert-style axiomatization of the logic of ‘actually’, as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straightforward first-order extensions.
Publisher: Springer Science and Business Media LLC
Date: 28-12-2011
Publisher: Springer Netherlands
Date: 2013
Publisher: Cambridge University Press
Date: 26-02-2004
Abstract: This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used ('relevant') in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles (especially implication and negation) and natural language conditionals. The book ends by examining various applications of relevant logic and presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists.
Publisher: Springer Science and Business Media LLC
Date: 1992
DOI: 10.1007/BF00370329
Publisher: Cambridge University Press (CUP)
Date: 03-2006
Abstract: The quantified relevant logic RQ is given a new semantics in which a formula ∀ xA is true when there is some true proposition that implies all x -instantiations of A . Formulae are modelled as functions from variable-assignments to propositions, where a proposition is a set of worlds in a relevant model structure. A completeness proof is given for a basic quantificational system QR from which RQ is obtained by adding the axiom EC of ‘extensional confinement’: ∀ x ( A ⋁ B ) → ( A ⋁ ∀ xB ), with x not free in A . Validity of EC requires an additional model condition involving the boolean difference of propositions. A QR-model falsifying EC is constructed by forming the disjoint union of two natural arithmetical structures in which negation is interpreted by the minus operation.
Publisher: Duke University Press
Date: 10-1997
Publisher: Springer Science and Business Media LLC
Date: 12-1995
DOI: 10.1007/BF01306969
Publisher: Cambridge University Press (CUP)
Date: 09-09-2014
DOI: 10.1017/S1755020314000276
Abstract: This paper presents a probabilist paraconsistent theory of belief revision. This theory is based on a very general theory of probability, that fits with a wide range of classical and nonclassical logics. The theory incorporates a version of Jeffrey conditionalisation as its method of updating. A Dutch book argument is given, and the theory is applied to the problem of choosing a logical system.
Publisher: Oxford University PressOxford
Date: 21-10-2004
DOI: 10.1093/ACPROF:OSO/9780199265176.003.0017
Abstract: Approaches to paraconsistency can be arranged on a spectrum similar to the way in which approaches to vagueness are often understood. On the left are the metaphysical realists those who think that there are real contradictory facts, that are mind and language independent. On the right are those who think that although we can have inconsistent beliefs and inconsistent theories — and we need a paraconsistent logic to deal with them — the world itself is perfectly consistent. In the middle are the semantic dialetheists, who claim that there are true contradictions, but that these come about because of particular features of our use of language. This chapter outlines a particular version of semantic dialetheism based on a four-valued logic. It contends that although we need such a logic to deal with our current language, we could regiment our uses of predicates (and other expressions) to eliminate all true contradictions.
Publisher: Springer Science and Business Media LLC
Date: 06-2004
Publisher: Oxford University Press (OUP)
Date: 20-10-2009
Publisher: Duke University Press
Date: 04-2007
Publisher: Acumen Publishing Limited
Date: 30-03-2007
Abstract: Questions about the plausibility and character of realism and its alternatives are at the heart of all metaphysical disputes today. However it is not a straightforward matter to know when some contentious realm of entities is real, or to understand and appreciate what is at issue between those on either side of the dispute. This book aims to make clear what is really at stake in the contemporary realism debate. The first part of the book examines the realist and anti-realist debate abstracted away from any particular application of it. The authors explain local realism and anti-realism and look at the motivations that might support one position over the other with regard to a particular subject matter. In addition, they examine particular types of global anti-realism idealism, Kantianism, verificationism and show how each is motivated by intricate combinations of semantic, epistemological and metaphysical reasons. In the second part of the book the authors explore how the ideas outlined in Part 1 can and have been applied to different subject matters. They examine the respective cases for realism and anti-realism about colours, morality, science, mathematics, modality, and fiction. The authors show that the realism and anti-realism debates within various different domains are much more unified than we are often led to believe, and that a comparison of the realism debates in different areas can give us an appreciation of the need for a kind of consistency in our views that is often lacking. Realism and Anti-Realism offers readers a clear introduction to a subject central to contemporary work in metaphysics, epistemology and philosophy of language.
Publisher: Oxford University Press
Date: 24-11-2011
Publisher: Informa UK Limited
Date: 12-2000
Publisher: Duke University Press
Date: 03-1992
Publisher: Springer Science and Business Media LLC
Date: 16-03-2013
Publisher: Central Library of the Slovak Academy of Sciences
Date: 24-08-2019
Publisher: Elsevier BV
Date: 02-2004
Publisher: Informa UK Limited
Date: 22-08-2013
Publisher: Springer Netherlands
Date: 21-06-2012
Publisher: Springer Netherlands
Date: 21-06-2012
Publisher: Elsevier
Date: 2011
Publisher: Springer Science and Business Media LLC
Date: 03-1994
DOI: 10.1007/BF00763646
Publisher: Informa UK Limited
Date: 02-2013
Location: Canada
Start Date: 2008
End Date: 2010
Funder: Australian Research Council
View Funded ActivityStart Date: 2018
End Date: 2021
Funder: Marsden Fund
View Funded Activity