In the first section, I consider what several logicians say informally about the notion of logical consequence. There is significant variation among these accounts, they are sometimes poorly explained, and some of them are clearly at odds with the usual technical definition. In the second section, I first argue that a certain kind of informal account—one that includes elements of necessity, generality, and apriority—is approximately correct. Next I refine this account and consider several important questions about it, including the appropriate (...) characterization of necessity, the criterion for selecting logical constants, and the exact role of apriority. I argue, among other things, that there is no need to recognize a special logical sense of necessity and that the selection of terms to serve as logical constants is ultimately a pragmatic matter. In the third section, I consider whether the informal account I have presented and defended is adequately represented by the usual technical definition. I show that it is, and provably so, for certain limited ways of selecting logical constants. In the general case, however, there seems to be no way to be sure that the technical and informal accounts coincide. (shrink)

In the first section, I consider what several logicians say informally about the notion of logical consequence. There is significant variation among these accounts, they are sometimes poorly explained, and some of them are clearly at odds with the usual technical definition. In the second section, I first argue that a certain kind of informal account—one that includes elements of necessity, generality, and apriority—is approximately correct. Next I refine this account and consider several important questions about it, including the appropriate (...) characterization of necessity, the criterion for selecting logical constants, and the exact role of apriority. I argue, among other things, that there is no need to recognize a special logical sense of necessity and that the selection of terms to serve as logical constants is ultimately a pragmatic matter. In the third section, I consider whether the informal account I have presented and defended is adequately represented by the usual technical definition. I show that it is, and provably so, for certain limited ways of selecting logical constants. In the general case, however, there seems to be no way to be sure that the technical and informal accounts coincide. (shrink)

The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and Edward Zalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close to the (...) heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. (shrink)

In this paper I argue that there can be genuine (as opposed to merely verbal) disputes about whether a sentence form is logically true or an argument form is valid. I call such disputes ?cases of deviance?, of which I distinguish a weak and a strong form. Weak deviance holds if one disputant is right and the other wrong, but the available evidence is insufficient to determine which is which. Strong deviance holds if there is no fact of the matter. (...) In section 2 I argue that weak deviance need not be trivial and may even be interesting. Section 3 considers what it could mean to say that logic is determined by a theory, especially a theory of meaning, an idea that arises in section 2. In section 4 I discuss the dispute between classical and relevance logicians over entailment and argue that it is a case of strong deviance. Finally, in section 5 I show that the result of the previous section is not absolute but relative to the background logic used in reaching it. (shrink)

This article studies seriously actualistic quantified modal logics. A key component of the language is an abstraction operator by means of which predicates can be created out of complex formulas. This facilitates proof of a uniform substitution theorem: if a sentence is logically true, then any sentence that results from substituting a predicate abstract for each occurrence of a simple predicate abstract is also logically true. This solves a problem identified by Kripke early in the modern semantic study of quantified (...) modal logic. A tableau proof system is presented and proved sound and complete with respect to logical truth. The main focus is on seriously actualistic T, an extension of T, but the results established hold also for systems based on other propositional modal logics. Following Menzel it is shown that the formal language studied also supports an actualistic account of truth simpliciter. (shrink)

In "Logical consequence: A defense of Tarski" (Journal of Philosophical Logic, vol. 25, 1996, pp. 617-677), Greg Ray defends Tarski's account of logical consequence against the criticisms of John Etchemendy. While Ray's defense of Tarski is largely successful, his attempt to give a general proof that Tarskian consequence preserves truth fails. Analysis of this failure shows that de facto truth preservation is a very weak criterion of adequacy for a theory of logical consequence and should be replaced by a stronger (...) absence-of-counterexamples criterion. It is argued that the latter criterion reflects the modal character of our intuitive concept of logical consequence, and it is shown that Tarskian consequence can be proved to satisfy this criterion for certain choices of logical constants. Finally, an apparent inconsistency in Ray's interpretation of Tarski's position on the modal status of the consequence relation is noted. (shrink)

In a recent discussion article in this journal, Gila Sher responds to some of my criticisms of her work on what she calls the formal-structural account of logical consequence. In the present paper I reply and attempt to advance the discussion in a constructive way. Unfortunately, Sher seems to have not fully understood my 1997. Several of the defenses she mounts in her 2001 are aimed at views I do not hold and did not advance in my 1997. Most prominent (...) among these are her claims that I reject the formal-structural account, because it licenses “unnatural” logical constants, and that I consider the “truth-functional criterion” for connectives “a paradigm of a successful criterion of logicality”. Both of these claims are simply false, as even a moderately careful reading of my 1997 will show. Other charges she makes have some basis in fact but are inaccurate. For example, she says that I claim that FS is “neutral with regard to the apriority of logic,” and that this neutrality “renders it inconsistent”. What I actually say is that Sher’s acceptance of the neutrality in question is “inconsistent with part of the legacy of Tarski, a legacy that she finds very congenial”, not that FS itself is inconsistent. More interestingly, she misunderstands my claim about the apriority of logic, and clarification of this misunderstanding suggests two distinct ways in which logic might be held to be free of empirical influence. It is also noteworthy that Sher’s statements about the apriority of logic constitute both a change in the position she took in her 1991 and, although she seems not to realize it, an admission that she does not take issue with one of my major criticisms. (shrink)

In a recent discussion article in this journal, Gila Sher responds to some of my criticisms of her work on what she calls the formal-structural account of logical consequence. In the present paper I reply and attempt to advance the discussion in a constructive way. Unfortunately, Sher seems to have not fully understood my 1997. Several of the defenses she mounts in her 2001 are aimed at views I do not hold and did not advance in my 1997. Most prominent (...) among these are her claims that I reject the formal-structural account, because it licenses “unnatural” logical constants, and that I consider the “truth-functional criterion” for connectives “a paradigm of a successful criterion of logicality”. Both of these claims are simply false, as even a moderately careful reading of my 1997 will show. Other charges she makes have some basis in fact but are inaccurate. For example, she says that I claim that FS is “neutral with regard to the apriority of logic,” and that this neutrality “renders it inconsistent”. What I actually say is that Sher’s acceptance of the neutrality in question is “inconsistent with part of the legacy of Tarski, a legacy that she finds very congenial”, not that FS itself is inconsistent. More interestingly, she misunderstands my claim about the apriority of logic, and clarification of this misunderstanding suggests two distinct ways in which logic might be held to be free of empirical influence. It is also noteworthy that Sher’s statements about the apriority of logic constitute both a change in the position she took in her 1991 and, although she seems not to realize it, an admission that she does not take issue with one of my major criticisms. (shrink)

Although the use of possible worlds in semantics has been very fruitful and is now widely accepted, there is a puzzle about the standard definition of validity in possible-worlds semantics that has received little notice and virtually no comment. A sentence of an intensional language is typically said to be valid just in case it is true at every world under every model on every model structure of the language. Each model structure contains a set of possible worlds, and models (...) are defined relative to model structures, assigning truth-values to sentences at each world countenanced by the model structure. The puzzle is why more than one model structure is used in the definition of validity. There is presumably just one class of all possible worlds and just one model structure defined on this class that does correctly the things that model structures are supposed to do. (These include, but need not be limited to, specifying the set of individuals in each world as well as various accessibility relations between worlds.) Why not define validity simply as truth at every world under every model on this one model structure? What is the point of bringing in more model structures than just this one?

We investigate these questions in some detail and conclude that for many intensional languages the puzzle points to a genuine difficulty: the standard definition of validity is insufficiently motivated. We begin (Section 1) by showing that a plausible and natural account of validity for intensional languages can be based on a single model structure, and that validity so defined is analogous in important respects to the standard account of validity for extensional languages. We call this notion of validity "validity!", and in Section 2 we contrast it with the standard notion, which we call "validity2". Several attempts are made to discover a rationale for the almost universal acceptance of validity2, but in most of these attempts we come up empty-handed. So in Section 3 we investigate validity! for some intensional languages. Our investigation includes providing axiomatizations for several propositional and predicate logics, most of which are provably complete. The completeness proofs are given in the Appendix, which also contains a sketch of a compactness proof for one of the predicate logics. (shrink)

Some widely accepted arguments in the philosophy of mathematics are fallacious because they rest on results that are provable only by using assumptions that the con- clusions of these arguments seek to undercut. These results take the form of bicon- ditionals linking statements of logic with statements of mathematics. George Boolos has given an argument of this kind in support of the claim that certain facts about second-order logic support logicism, the view that mathematics—or at least part of it—reduces to (...) logic. Hilary Putnam has offered a similar argument for the view that it is indifferent whether we take mathematics to be about objects or about what follows from certain postulates. In this paper I present and rebut these arguments. (shrink)

Does general validity or real world validity better represent the intuitive notion of logical truth for sentential modal languages with an actuality connective? In (Philosophical Studies 130:436–459, 2006) I argued in favor of general validity, and I criticized the arguments of Zalta (Journal of Philosophy 85:57–74, 1988) for real world validity. But in Nelson and Zalta (Philosophical Studies 157:153–162, 2012) Michael Nelson and Edward Zalta criticize my arguments and claim to have established the superiority of real world validity. Section 1 (...) of the present paper introduces the problem and sets out the basic issues. In Sect. 2 I consider three of Nelson and Zalta’s arguments and find all of them deficient. In Sect. 3 I note that Nelson and Zalta direct much of their criticism at a phrase (‘true at a world from the point of view of some distinct world as actual’) I used only inessentially in Hanson (Philosophical Studies 130:436–459, 2006), and that their account of the philosophical foundations of modal semantics leaves them ill equipped to account for the plausibility of modal logics weaker than S5. Along the way I make several general suggestions for ways in which philosophical discussions of logical matters–especially, but not limited to, discussions of truth and logical truth for languages containing modal and indexical terms–might be facilitated and made more productive. (shrink)

Neuroscience, brain based learning and education -- Collaborative reports in neuroscience and education -- A local paradigmatic example, founded on an international research phenomenon -- The mereological fallacy -- First-person/third-person asymmetry -- Neuroscience and irreducible uncertainty -- Inner and outer : the epistemology of the mind -- Inner and outer : the challenges of crypto-cartesianism, materialism and reductionism -- Intrinsic and relational models of education -- Education, psychology and physics -- Bohr's philosophy of physics and its application to psychology and (...) education -- A new educational philosophy based on Bohr's interpretation of quantum physics -- Conclusions : wittgenstein-bohr model of education. (shrink)

Although the commentary on Aristotle’s problematic discussion of slavery is vast, his discussion of nobility receives little attention. The fragments of his dialogue On Noble Birth constitute his most extensive examination of nobility, and while their similarity to the παμβασιλεύς of the Politics has recently been recognized, their relevance to natural slavery has hitherto gone unnoticed. Yet by declaring that true nobles – particularly the god-like ἀρχηγός – preternaturally possess superhuman characteristics, Aristotle precludes their easy inclusion in the kind “human” (...) in a manner inversely mirroring the preternatural subhumanity of natural slaves. Building on recent scholarship which argues that Aristotle’s “defense” of natural slaves is better understood as an indictment, On Noble Birth becomes most coherent if read as a hypothetical investigation into what would be required for “nobility” to name something true rather than equivocal, with the conclusion that “true nobility” is an empty set. (shrink)

Interrogating received knowledge is constitutive to any critical project, and recently there has been a wave of scholarship which argues for locating the origin of racist-thinking prior to modern Europe—even prior to the Common Era—without any real consideration of the potential dangers accompanying such a seismic redefinition. By expanding “racism” to include potentially any pre-modern xenophobic or ethnicist atrocity, even well-meaning scholarship dilutes the peculiar injustice of modern Europe’s most successful epistemological weapon. As a result, we lose any criteria to (...) distinguish ubiquitous oppressive projects from specifically racist-projects of hegemony and domination. However laudable its intent, such scholarship falls prey to methodological, epistemological, and practical errors that hamstring the ameliorative impact of contemporary anti-racist work while ironically diminishing racism’s impact. For if every conflict is racist, then contemporary colorblindness is correct: if white supremacy isn’t particularly white, then racism is a distinction without a difference. (shrink)

With both the Roman Empire and contemporary scholarship as backdrop, this book contrasts the Imperial Platonism of Plotinus with Plato's own by distinguishing one as a master enlightening disciples, and the other as an Athenian teacher who taught students to discover the truth for themselves in the Academy.

In this book, William H. F. Altman turns to Demosthenes-universally regarded as Plato's student in antiquity-and Plato's other Athenian students in order to add external and historical evidence for Plato's original curriculum.

Neuroscience, brain based learning and education -- Collaborative reports in neuroscience and education -- A local paradigmatic example, founded on an international research phenomenon -- The mereological fallacy -- First-person/third-person asymmetry -- Neuroscience and irreducible uncertainty -- Inner and outer : the epistemology of the mind -- Inner and outer : the challenges of crypto-cartesianism, materialism and reductionism -- Intrinsic and relational models of education -- Education, psychology and physics -- Bohr's philosophy of physics and its application to psychology and (...) education -- A new educational philosophy based on Bohr's interpretation of quantum physics -- Conclusions : wittgenstein-bohr model of education. (shrink)

Preventing War and Promoting Peace: A Guide for Health Professionals is an interdisciplinary study of how pervasive militarism creates a propensity for war through the influence of academia, economic policy, the defense industry, and the news media. Comprising contributions by academics and practitioners from the fields of public health, medicine, nursing, law, sociology, psychology, political science, and peace and conflict studies, as well as representatives from organizations active in war prevention, the book emphasizes the underlying preventable causes of war, particularly (...) militarism, and focuses on the methods health professionals can use to prevent war. Preventing War and Promoting Peace provides hard-hitting facts about the devastating health effects of war and a broad perspective on war and health, presenting a new paradigm for the proactive engagement of health professions in the prevention of war and the promotion of peace. (shrink)

'Young People and Social Media: Contemporary Children's Digital Culture' explores the practices, relationships, consequences, benefits, and outcomes of children's experiences with, on, and through social media by bringing together a vast array of different ideas about childhood, youth, and young people's lives. These ideas are drawn from scholars working in a variety of disciplines, and rather than just describing the social construction of childhood or an understanding of children's lives, this collection seeks to encapsulate not only how young people exist (...) on social media but also how their physical lives are impacted by their presence on social media.One of the aims of this volume in exploring youth interaction with social media is to unpack the structuring of digital technologies in terms of how young people access the technology to use it as a means of communication, a platform for identification, and a tool for participation in their larger social world. During longstanding and continued experience in the broad field of youth and digital culture, we have come to realize that not only is the subject matter increasing in importance at an immeasurable rate, but the amount of textbooks and/or edited collections has lagged behind considerably. There is a lack of sources that fully encapsulate the canon of texts for the discipline or the rich diversity and complexity of overlapping subject areas that create the fertile ground for studying young people's lives and culture. The editors hope that this text will occupy some of that void and act as a catalyst for future interdisciplinary collections.'Young People and Social Media: Contemporary Children's Digital Culture' will appeal to undergraduate students studying Child and Youth Studies and-given the interdisciplinary nature of the collection- scholars, researchers and students at all levels working in anthropology, psychology, sociology, communication studies, cultural studies, media studies, education, and human rights, among others. Practitioners in these fields will also find this collection of particular interest. (shrink)

The scientific point of view has gained dominance in our growing world culture by basing its authenticity on an empirical foundation. Yet mystics can point to a different test of authenticity: the broad agreement in subtle perceptions of reality across many cultures and stretches of history. We benefit from the knowledge of the universe and the fascinating intricacies of nature, and we benefit from knowledge of meaning and purpose in the greater life of the cosmos and its implications for meaning (...) in our own lives. An understanding and appreciation of the inner life of the universe can offer an integration of the scientific story of the outer life with the insight of mystics into the inner story, distinguishing the realms appropriate for science and spirituality to explore, and offering hope that they can coexist in mutual respect and harmony, and that each could enrich the other. (shrink)