This study applied a body of knowledge derived from the common core thesis of mysticism to investigate the hypothesis that similarities in belief significantly contribute to the appearance of overlap between mystical and positive dimension schizotypal phenomena. Data from 211 university students who completed Hood's Mysticism Scale and Eckblad and Chapman's Magical Ideation Scale were submitted to correlational analyses. Contrary to the hypothesis, results indicated that positive schizotypy correlates more strongly with the experiential dimensions of mysticism than with the interpretive (...) dimension of mysticism. These correlation differences suggest criteria for distinguishing mystical and schizotypal experiences and identify specific points of overlap. Suggestions for future research into this relationship, and implications for schizotypy research, are noted. (shrink)

It is argued that the English bare plural (an NP with plural head that lacks a determiner), in spite of its apparently diverse possibilities of interpretation, is optimally represented in the grammar as a unified phenomenon. The chief distinction to be dealt with is that between the generic use of the bare plural (as in Dogs bark) and its existential or indefinite plural use (as in He threw oranges at Alice). The difference between these uses is not to be accounted (...) for by an ambiguity in the NP itself, but rather by explicating how the context of the sentence acts on the bare plural to give rise to this distinction. A brief analysis is sketched in which bare plurals are treated in all instances as proper names of kinds of things. A subsidiary argument is that the null determiner is not to be regarded as the plural of the indefinite article a. (shrink)

Whether or not the particular view of generic sentences articulated above is correct, it is quite clear that the study of generic terms and the truth-conditions of generic sentences touches on the representation of other parts of the grammar, as well as on how the world around us is reflected in language. I would hope that the problems mentioned above will highlight the relevance of semantic analysis to other apparently distinct questions, and focus attention on the relevance of linguistic problems (...) to other already established areas of inquiry. (shrink)

Beginning with analyses of English generic sentences and English plural indefinite noun phrases (e.g.dogs), we proceed to apply mechanisms there motivated to a characterization of atemporalwhen, a sense ofwhen which does not appear to involve time. Dealt with are such examples as Dogs are intelligent when they have blue eyes, and their relationships to examples like Dogs that have blue eyes are intelligent. The proposed treatment of atemporalwhen helps motivate the existence of a generic verb phrase operator in English, as (...) well as the treatment of indefinite plural noun phrases as disguised definite descriptions. (shrink)

This paper examines a type of discourse structure we here call ‘generic passages’. We argue that generic passages should be analyzed as sequences of generic sentences, each sentence containing its own GEN operator (Krifka et al. 1995). The GEN operators produce tripartite matrix/restrictor structures; the main discourse connection among the sentences is that the restrictor produced by each sentence in the sequence has as its contents the information in the matrix produced by the previous sentence in the discourse. We also (...) argue that an identity of reference times is required for this process to occur. In the end generic passages are a natural product of the interaction of generic operators in sentences with independently- established principles structuring ordinary extensional narrative. (shrink)

In this paper we offer a new argument for the existence of God. We contend that the laws of logic are metaphysically dependent on the existence of God, understood as a necessarily existent, personal, spiritual being; thus anyone who grants that there are laws of logic should also accept that there is a God. We argue that if our most natural intuitions about them are correct, and if they are to play the role in our intellectual activities that we take (...) them to play, then the laws of logic are best construed as necessarily existent thoughts -- more specifically, as divine thoughts about divine thoughts. We conclude by highlighting some implications for both theistic arguments and antitheistic arguments. (shrink)

Sober (1992) has recently evaluated Brandon's (1982, 1990; see also 1985, 1988) use of Salmon's (1971) concept of screening-off in the philosophy of biology. He critiques three particular issues, each of which will be considered in this discussion.

The Axiom of Projective Determinacy implies the existence of a universal $\utilde{\Pi}^{1}_{n}\setminus\utilde{\Delta}^{1}_{n}$ set for every $n \geq 1$. Assuming $\text{\upshape MA}(\aleph_{1})+\aleph_{1}=\aleph_{1}^{\mathbb{L}}$ there exists a universal $\utilde{\Pi}^{1}_{1}\setminus\utilde{\Delta}^{1}_{1}$ set. In ZFC there is a universal $\utilde{\Pi}^{0}_{\alpha}\setminus\utilde{\Delta}^{0}_{\alpha}$ set for every $\alpha$.

The Martin-Steel coarse inner model theory is employed in obtaining new results in descriptive set theory. $\underset{\sim}{\Pi}$ determinacy implies that for every thin Σ 1 2 equivalence relation there is a Δ 1 3 real, N, over which every equivalence class is generic--and hence there is a good Δ 1 2 (N ♯ ) wellordering of the equivalence classes. Analogous results are obtained for Π 1 2 and Δ 1 2 quasilinear orderings and $\underset{\sim}{\Pi}^1_2$ determinacy is shown to imply that (...) every Π 1 2 prewellorder has rank less than $\underset{\sim}{\delta}^1_2$. (shrink)

(2013). A review of “Smith, Nicholas J. J., Logic: The Laws of Truth. Australasian Journal of Philosophy: Vol. 91, No. 3, pp. 629-629. doi: 10.1080/00048402.2013.794849.

First, a few words of introduction, setting the scene. IÕm not a Nietzsche scholar. IÕm not even an historian of philosophy of any stripe. I am one of the fortunate few who are paid to Ôdo philosophyÕ, but the areas I tend to do most of my work in are logic, philosophy of language and some philosophy of religion. So why am I presenting a paper on Nietzsche? Well, there are at least two reasons. Firstly, I teach philosophy of religion, (...) and in the course I have a section about distinctively modern critics of religious belief. Nietzsche, together with Freud, Feuerbach and Marx present important criticisms which form a part of the fabric of contemporary philosophy of religion, and any student of the area needs to know something about it. So, what better way for me to learn about it than to force myself to write a paper on it? However, my reasons are not just selfish Ñ I do believe that the way that Christians (and other religious believers) respond to these contemporary critics of religion is very important. So, my aim in this paper is not only to give a short introduction to what Nietzsche has to say about Christian faith, but also to examine what an appropriate response for believers might be. This then has consequences for what we take the task of ÔChristian PhilosophyÕ to be. (shrink)

It ‘seems altogether inconceivable', says Hume, that this ‘new relation' ought ‘can be a deduction' from others ‘which are entirely different from it' The idea that you can't derive an Ought from an Is, moral conclusions from non-moral premises, has proved enormously influential. But what did Hume mean by this famous dictum? Was he correct? How does it fit in with the rest of his philosophy? And what does this suggest about the nature of moral judgements? This collection, the first (...) on this topic for forty years, assembles a distinguished cast of international scholars to discuss these questions. The book combines, historical scholarship, meta-ethics and cutting-edge research in philosophical logic. It includes three distinct attempts to reformulate and prove No-Ought-From-Is in the face of Prior's famous counterexamples. -/- Contributors: A.N. Prior, Gerhard Schurz, Charles Pigden, J.M.Shorter, Annette.C.Baier, Wade Robison, Adrian Heathcote, Alan Musgrave, Norva Y.S. Lo, Gillian Russell, Hakan Salwén, Greg Restall, Peter Vranas, Edwin Mares, Stephen Maitzen. (shrink)

Readers are invited to contact Greg S. Loeben in writing at Midwestern University, Glendale Campus, Bioethics Program, 19555 N. 59th Ave., Glendale, AZ 85308 regarding books they would like to see reviewed or books they are interested in reviewing.

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, (...) a position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both (...) students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading. (shrink)

This paper examines the contents of the codes of ethics of 83 of the top 500 companies operating in the private sector in Australia in an attempt to discover whether there are national characteristics that differentiate the codes used by companies operating in Australia from codes used by companies operating in the American and Canadian systems. The studies that were used as a comparison were Mathews (1987) for the United States of America and Lefebvre and Singh (1992) for Canada. The (...) major conclusion is that, whilst Australian codes do have some characteristics that differentiate them from the other two groups, it appears that companies in all three cultures are driven by the same motives to develop codes. (shrink)

Carruthers offers a refreshing piece of “substantive philosophy.” Going beyond the limitations of pure analysis, he adopts a methodology which is one part analysis, one part empirical data, and a heavy dose of inference to the best explanation. The overarching goal is to advance the commonsense—yet unfashionable—thesis that natural language is the primary medium of thought, and to defend the related cognitive conception of NL. In particular, Carruthers argues that imaginative phonological representations of “inner speech” are constitutive of conscious thoughts, (...) and that thinking involves operations on such symbols. While there is still a role for mentalese cognition, such thinking is always unconscious, and probably of limited innate conceptual resources. The weak thesis is that, of natural necessity, all conscious propositional thought requires NL. The strong thesis is that, of natural necessity, distinctively human thoughts can only be tokened in natural language—hence even much of our unconscious thinking occurs in English. (shrink)

In early 2017, Nevada amended its Uniform Determination of Death Act, in order to clarify the neurologic criteria for the determination of death. The amendments stipulate that a determination of death is a clinical decision that does not require familial consent and that the appropriate standard for determining neurologic death is the American Academy of Neurology’s guidelines. Once a physician makes such a determination of death, the Nevada amendments require the withdrawal of life-sustaining treatment within twenty-four hours with limited exceptions. (...) Neurologists have generally supported Nevada’s amendments for clarifying the diagnostic standard and limiting the ability of family members to challenge it. However, it is more appropriate to view the Nevada amendments with concern. Even though the primary purpose of the UDDA is to ensure that all functions of a person’s entire brain have ceased, the AAN guidelines do not accurately assess this. In addition, by characterizing the determination of death as solely a clinical decision, the Nevada legislature has improperly ignored the doctrine of informed consent, as well as the beliefs of particular faiths and cultures that reject brain death. Rather than resolving controversies regarding brain death determinations, the Nevada amendments may instead instigate numerous constitutional challenges. (shrink)

In the near future developments in non-invasive prenatal testing may soon provide couples with the opportunity to test for and diagnose a much broader range of heritable and congenital conditions than has previously been possible. Inevitably, this has prompted much ethical debate on the possible implications of NIPT for providing couples with opportunities for reproductive choice by way of routine prenatal screening. In view of the possibility to test for a significantly broader range of genetic conditions with NIPT, the European (...) Society of Human Genetics and American Society of Human Genetics recommend that, pending further debate, prenatal screening for reproductive choice should only be offered where concerning serious congenital conditions and childhood disorders. In support of this recommendation, the ESHG and ASHG discuss a number of ethical issues on which they prompt further debate: the informational privacy of the future child, the trivialization of abortion, the risk of information overload, and issues of distributive justice. This paper responds to this call with further reflection on each ethical issue and how it relates to the moral justification of providing couples with opportunities for meaningful reproductive choice. The paper concludes that whilst there may be good reasons for qualifying the scope of any unsolicited prenatal screening offer to serious congenital conditions and childhood disorders, if prenatal screening is justified for providing couples with opportunities for meaningful reproductive choice, then health services may have obligations to empower couples with the same opportunity where concerning other conditions. (shrink)

The stock market crash of 1987 had a profound effect on corporate Australia and the Australian community in general. The fall-out revealed that some of our most respected business figures had not been as ethical, or even as lawful, as we would have hoped. This impropriety produced in Australia an awakening to business ethics. Whilst many companies endeavoured to introduce ethical practices into their corporations, they perceived ethics as a way of minimising damage to the corporation and in some cases (...) as a means of competitive advantage. What was lost was the reason that one should embark on business ethics; and that is to make the society and corporate Australia a more ethical place in which to exist.This paper proposes a model based on 2 factors: commitment and partnerships, as a means of enabling corporate Australia to refocus attention on the main purpose of being inherently ethical in all that we do. This ethical model requires a commitment to partnerships with all stakeholders both internal and external in an attempt to enhance the level of ethical business practices that are contemplated and pursued within corporate Australia. Whilst the research agenda and the information collected is Australian-based, it is hoped that the ideas contained within this paper will have a wider appeal to corporations in similar cultural settings. (shrink)

Developments in Non-Invasive Prenatal Testing and cell-free fetal DNA analysis raise the possibility that antenatal services may soon be able to support couples in non-invasively testing for, and diagnosing, an unprecedented range of genetic disorders and traits coded within their unborn child’s genome. Inevitably, this has prompted debate within the bioethics literature about what screening options should be offered to couples for the purpose of reproductive choice. In relation to this problem, the European Society of Human Genetics and American Society (...) of Human Genetics tentatively recommend that any expansion of this type of screening, as facilitated by NIPT, should be limited to serious congenital and childhood disorders. In support of this recommendation, the ESHG and ASHG cite considerations of distribution justice. Notably, however, an account of justice in the organization and provision of this type of screening which might substantiate this recommendation has yet to be developed. This paper attempts to redress this oversight through an investigation of Norman Daniels’ theory of Just health: meeting health needs fairly. In line with this aim, the paper examines what special moral importance screening for the purpose of reproductive choice might have where concerning serious congenital and childhood disorders in particular. The paper concludes that screening for reproductive choice where concerning serious congenital and childhood disorders may be important for providing women with fair opportunity to protect their health. (shrink)

Abstract 1 This paper makes a preliminary case for a central and radical claim. I begin with Bernard Williams? seldom-faced argument that integrity cannot be a moral virtue because it lacks two key ingredients of moral virtues, namely a characteristic thought and motivation. Whereas, for example, generosity involves the thought that another could use assistance, and the motivation to actually give assistance, integrity lacks these two things essential to morally excellent responses. I show that several maneuvers aimed at avoiding Williams? (...) challenge fail and that others are likely to remain unpersuasive. The paper concludes by offering an argument to the best explanation: Williams? important insight is best explained by the supposition that integrity is an epistemic virtue, and an epistemic virtue of a practical sort. (shrink)

Some of the most interesting recent work in philosophy of language and metaphysics is focused on questions about propositions, the abstract, truth-bearing contents of sentences and beliefs. The aim of this guide is to give instructors and students a road map for some significant work on propositions since the mid-1990s. This work falls roughly into two areas: challenges to the existence of propositions and theories about the nature and structure of propositions. The former includes both a widely discussed puzzle about (...) propositional designators as well as direct and indirect arguments against the existence of propositions. The latter is dominated by what is currently the central debate about the metaphysics of propositions, i.e. whether they are structured, composite entities or unstructured ontological simples. This issue has eclipsed older debates about whether propositions can be identified with sets of possible worlds or other kinds of sentence intensions. Author Recommends 1. Soames, Scott. 'Direct Reference, Propositional Attitudes, and Semantic Content.' Philosophical Topics 15 (1987): 47–87. Reprinted in Propositions and Attitudes . Eds. N. Salmon and S. Soames. Oxford: Oxford University Press, 1988. 197–239. Essential groundwork for more recent work on propositions. Soames gives a careful and exacting presentation of the case against identifying propositions with sets of possible worlds or other truth-supporting circumstances. Also contains a detailed statement of the Russellian conception of propositions on which propositions are ordered sets of objects, properties and relations. 2. King, Jeffrey. 'Designating Propositions.' The Philosophical Review 111 (2002): 341–71. Sometimes substituting a definite description for a corresponding 'that'-clause can lead to bizarre changes in truth-conditions: compare 'Bill fears that Hillary will be president' with 'Bill fears the proposition that Hillary will be president'. This puzzle about propositional designators threatens the relational analysis of propositional attitude reports, the view that 'believes' expresses a relation to the proposition designated by its 'that'-clause, and thereby poses an indirect threat to the existence of propositions. King's solution posits an ambiguity in verbs like 'fear' that embed both 'that'-clauses and definite descriptions. 3. Jubien, Michael. 'Propositions and the Objects of Thought.' Philosophical Studies 104 (2001): 47–62. A direct attack on the existence of propositions. Jubien deploys an analogue of the problem that Paul Benacerraf raised for set-theoretical reductions of numbers against metaphysical reductions of propositions. Just as numbers can be reduced to sets in many different ways, any reduction of propositions brings with it equally good variants, thus making any such reduction arbitrary and unmotivated. The only alternative is to treat propositions as abstract metaphysical primitives. As Jubien argues, however, abstract primitive entities are incapable of doing what propositions must do, i.e. represent objects and states of affairs on their own, without the input of thinking subjects. The upshot is the propositions cannot be reduced and they cannot be primitive, and so they must not exist. 4. Hanks, Peter. 'How Wittgenstein Defeated Russell's Multiple Relation Theory of Judgment.' Synthese 154 (2007): 121–46. Scepticism about propositions has recently led some philosophers, Jubien included, to resuscitate Russell's multiple relation theory of judgment, the idea that judgment is a many-place relation to objects, properties and relations. This paper explains why Russell himself abandoned that theory, and why the theory is still refuted by an objection due to Wittgenstein. 5. Hofweber, Thomas. 'Inexpressible Properties and Propositions.' Oxford Studies in Metaphysics . 2 vols. Ed. D. Zimmerman. Oxford: Oxford University Press, 2006. 155–206. An indirect attack on the existence of propositions. Hofweber argues that sentences like 'Bill believes something that Hillary asserted' do not commit us to the existence of propositions. His view is that propositional quantification is an instance of what he calls 'internal' or 'inferential role' quantification, a kind of quantification that carries no ontological implications. 6. Schiffer, Stephen. The Things We Mean . Oxford: Oxford University Press, 2003. esp. chs 1–2. Schiffer defends his theory of pleonastic propositions, on which propositions are unstructured, have no parts, and are very finely grained. 7. Bealer, George. 'Propositions.' Mind 107 (1998): 1–32. Bealer defends his algebraic theory of propositions, which, like Schiffer's pleonastic account, treats propositions as unstructured metaphysical simples. 8. King, Jeffrey. The Nature of and Structure of Content . Oxford: Oxford University Press, 2007. The best developed current theory of the structure in structured propositions. King identifies propositions with certain kinds of facts in which objects, properties and relations are bound together by amalgams of syntactic and semantic relations. 9. Hanks, Peter. 'Recent Work on Propositions.' Philosophy Compass 4 (2009): 1–18. A survey of work on propositions since the mid-1990s that complements this teaching and learning guide. Contains responses to Jubien's and Hofweber's arguments against propositions and critical discussions of Schiffer's pleonastic propositions and King's theory of propositional structure. Online Resources 1. http://plato.stanford.edu/entries/propositions/ Propositions (Matthew McGrath) 2. http://plato.stanford.edu/entries/propositions-structured/ Structured Propositions (Jeffrey King) 3. http://plato.stanford.edu/entries/propositions-singular/ Singular Propositions (Greg Fitch) Sample Partial Syllabus The following partial syllabus can be used as a unit on recent work on propositions in graduate level courses in philosophy of language or metaphysics. Week 1: A Substitution Puzzle About Propositional Designators King, Jeffrey. 'Designating Propositions'. Moltmann, Friederike. 'Propositional Attitudes Without Propositions.' Synthese 135 (2003): 77–118. Week 2: The Benacerraf Problem and Propositional Representation Benacerraf, Paul. 'What Numbers Could Not Be.' Philosophical Review 74 (1965): 47–73. Jubien, Michael. 'Propositions and the Objects of Thought.' Week 3: Propositional Quantification Hofweber, Thomas. 'Inexpressible Properties and Propositions'. Hofweber, Thomas. 'A Puzzle about Ontology.' Noûs 39 (2005): 256–83. Week 4: Schiffer on Pleonastic Propositions Schiffer, Stephen. 'Language-Created Language-Independent Entities.' Philosophical Topics 24 (1996): 149–67. Schiffer, Stephen. The Things We Mean , chs 1–2. Week 5: King on Structured Propositions King, Jeffrey. 'Structured Propositions and Complex Predicates.' Noûs , 29 (1995): 516–35. King, Jeffrey. The Nature and Structure of Content , chs 1–3. Focus Questions 1. Why does identifying propositions with sentence intensions, e.g. sets of possible worlds, 'require the attitudes to have a particular sort of closure under logical consequence, which they clearly don't have' (Mark Richard)? 2. How does the difference between (a) and (b) pose a threat to the existence of propositions? (a) Bill fears that Hillary will be president. (b) Bill fears the proposition that Hillary will be president. 3. What is the Benacerraf problem for metaphysical reductions of propositions? 4. Why must a proposition represent 'on its own cuff' (Michael Jubien)? Why is this a problem for the view that propositions are primitive abstract entities? 5. What does it mean to say that propositions are structured ? Give two different accounts of what propositional structure might be. (shrink)

Readers are invited to contact Greg S. Loeben in writing at Midwestern University, Glendale Campus, Bioethics Program, 19555 N. 59th Ave., Glendale, AZ 85308 regarding books they would like to see reviewed or books they are interested in reviewing.

L’album de Franquin et Greg, QRN sur Bretzelburg, explore avec bonheur trois sens singulièrementdifficiles à rendre en BD : l’ouïe, le goût et l’odorat. Ou plutôt il nous invite à réfléchir sur ce qu’il advientlorsque nos sens sont brouillés. Alors le sens lui-même s’embrouille. Et l’incommunication fait retour, àtravers les médias et la communication interpersonnelle. Une incommunication aux effets politiques déliquescents.Ce sera la tâche de Spirou et Fantasio de lutter contre cette incommunication, de renverser leseffets délétères du son notamment (...) au bénéfice du bon goût. Où la BD, dans sa richesse narrative et expressive,nourrit un dialogue serré avec la théorie de l’incommunication, qui n’avait pas jusque-là intégré laquestion des sens, et participe ainsi à son enrichissement.The Franquin & Greg album entitled “QRN sur Bretzelburg” is a delightful exploration of threesenses that are exceedingly difficult to work into a comic strip: hearing, taste and smell. Or rather, thealbum prompts us to ponder on what happens when our senses get confused. The subject of uncommunication– through the media and through interpersonal communication – rides again. And this is uncommunicationwith a deliquescent political effect. Spirou and Fantasio have a mission: a mission to fightuncommunication, to overthrow the pernicious effects of noise so that good taste can win out. The comic strip,through its peculiarly expressive narrative richness, thus contributes to a close-knit dialogue with the theory ofuncommunication, which until now had not dealt with the question of the senses, and so helps to enrich it. (shrink)

Our topic is the notion of logical consequence: the link between premises and conclusions, the glue that holds together deductively valid argument. How can we understand this relation between premises and conclusions? It seems that any account begs questions. Painting with very broad brushtrokes, we can sketch the landscape of disagreement like this: “Realists” prefer an analysis of logical consequence in terms of the preservation of truth [29]. “Anti-realists” take this to be unhelpful and o:er alternative analyses. Some, like Dummett, (...) look to preservation of warrant to assert [9, 36]. Others, like Brandom [5], take inference as primitive, and analyse other notions in terms of it. There is plenty of disagreement on the “realist” side of the fence too. It is one thing to argue that logical consequence involves preservation of truth. It is another to explain how far truth must be preserved. Is the preservation essentially modal (in all circumstances [25]) or analytic (vouchsafed by.. (shrink)

Combining phenomenological insights from Brentano and Sartre, but also drawing on recent work on consciousness by analytic philosophers, this book defends the view that conscious states are reflexive, and necessarily so, i.e., that they have a built-in, implicit awareness of their own occurrence, such that the subject of a conscious state has an immediate, non-objectual acquaintance with it. As part of this investigation, the book also explores the relationship between reflexivity and the phenomenal, or what-it-is-like, dimension of conscious experience, defending (...) the innovative thesis that phenomenal character is constituted by the implicit self-awareness built into every conscious state. This account stands in marked contrast to most influential extant theories of phenomenal character, including qualia theories, according to which phenomenal character is a matter of having phenomenal sensations, and representationalism, according to which phenomenal character is constituted by representational content. (shrink)

Beall and Restall’s Logical Pluralism (2006) characterises pluralism about logical consequence in terms of the different ways cases can be selected in the analysis of logical consequence as preservation of truth over a class of cases. This is not the only way to understand or to motivate pluralism about logical consequence. Here, I will examine pluralism about logical consequence in terms of different standards of proof. We will focus on sequent derivations for classical logic, imposing two different restrictions on classical (...) derivations to produce derivations for intuitionistic logic and for dual intuitionistic logic. The result is another way to understand the manner in which we can have different consequence relations in the same language. Furthermore, the proof-theoretic perspective gives us a different explanation of how the one concept of negation can have three different truth conditions, those in classical, intuitionistic and dual-intuitionistic models. (shrink)