A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

High-level perception--”the process of making sense of complex data at an abstract, conceptual level--”is fundamental to human cognition. Through high-level perception, chaotic environmen- tal stimuli are organized into the mental representations that are used throughout cognitive pro- cessing. Much work in traditional artificial intelligence has ignored the process of high-level perception, by starting with hand-coded representations. In this paper, we argue that this dis- missal of perceptual processes leads to distorted models of human cognition. We examine some existing artificial-intelligence models--”notably (...) BACON, a model of scientific discovery, and the Structure-Mapping Engine, a model of analogical thought--”and argue that these are flawed pre- cisely because they downplay the role of high-level perception. Further, we argue that perceptu- al processes cannot be separated from other cognitive processes even in principle, and therefore that traditional artificial-intelligence models cannot be defended by supposing the existence of a --œrepresentation module--� that supplies representations ready-made. Finally, we describe a model of high-level perception and analogical thought in which perceptual processing is integrated with analogical mapping, leading to the flexible build-up of representations appropriate to a given context. (shrink)

We present four classical theories of counterpossibles that combine modalities and counterfactuals. Two theories are anti-vacuist and forbid vacuously true counterfactuals, two are quasi-vacuist and allow counterfactuals to be vacuously true when their antecedent is not only impossible, but also inconceivable. The theories vary on how they restrict the interaction of modalities and counterfactuals. We provide a logical cartography with precise acceptable boundaries, illustrating to what extent nonvacuism about counterpossibles can be reconciled with classical logic.

This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.

This paper considers some issues to do with valuational presentations of consequence relations, and the Galois connections between spaces of valuations and spaces of consequence relations. Some of what we present is known, and some even well-known; but much is new. The aim is a systematic overview of a range of results applicable to nonreflexive and nontransitive logics, as well as more familiar logics. We conclude by considering some connectives suggested by this approach.

What does it take for two logics to be mere notational variants? The present paper proposes a variety of different ways of cashing out notational variance, in particular isolating a constraint on any reasonable account of notational variance which makes plausible that the only kinds of translations which can witness notational variance are what are sometimes called definitional translations.

We give a simple sequent calculus presentation of R.B. Angell’s logic of analytic containment, recently championed by Kit Fine as a plausible logic of partial content.

Some theorists have developed formal approaches to truth that depend on counterexamples to the structural rules of contraction. Here, we study such approaches, with an eye to helping them respond to a certain kind of objection. We define a contractive relative of each noncontractive relation, for use in responding to the objection in question, and we explore one example: the contractive relative of multiplicative-additive affine logic with transparent truth, or MAALT. -/- .

The Turing Test, originally proposed as a simple operational definition of intelligence, has now been with us for exactly half a century. It is safe to say that no other single article in computer science, and few other articles in science in general, have generated so much discussion. The present article chronicles the comments and controversy surrounding Turing's classic article from its publication to the present. The changing perception of the Turing Test over the last fifty years has paralleled the (...) changing attitudes in the scientific community towards artificial intelligence: from the unbridled optimism of 1960's to the current realization of the immense difficulties that still lie ahead. I conclude with the prediction that the Turing Test will remain important, not only as a landmark in the history of the development of intelligent machines, but also with real relevance to future generations of people living in a world in which the cognitive capacities of machines will be vastly greater than they are now. (shrink)

Justification logics provide frameworks for studying the fine structure of evidence and justification. Traditionally, these logics do not impose any closure requirements on justification. In this paper, we argue that for some applications they should subject justification to closure under some variety of logical consequence. Specifically, we argue, building on ideas from Beall, that the non-classical logic FDE offers a particularly attractive notion of consequence for this purpose and define a justification logic where justification is closed under FDE consequence. We (...) show the resulting logic to be sound and complete. Lastly, we discuss how the closure of justification under FDE ontrasts closure under related non-classical logics and how our approach contrasts with some alternatives. (shrink)

Aldo Leopold was a pragmatist in the vernacular sense of the word. Bryan G. Norton claims that Leopold was also heavily influenced by American Pragmatism, a formal school of philosophy. As evidence, Norton offers Leopold's misquotation of a definition of right (as truth) by political economist, A.T. Hadley, who was an admirer of the philosophy of William James. A search of Leopold's digitised literary remains reveals no other evidence that Leopold was directly influenced by any actual American Pragmatist or by (...) Pragmatism (although he may have been indirectly influenced by Pragmatism early in his career). A 1923 reference, by Leopold, to Hadley and Hadley's putative definition of truth, cited by Norton, is dripping with irony. Leopold, as he matured philosophically, regarded a profound cultural shift from anthropocentric dominionism and consumerism to an evolutionary-ecological worldview and an associated non-anthropocentric 'land ethic' to be necessary for successful and sustainable conservation. Hadley espoused a brutal form of Social Darwinism and his philosophy, as expressed in the book of Hadley's that Norton cites, is politically reactionary, militaristic and unconcerned with conservation. Leopold's mature philosophy and Hadley's – far from consonant, as Norton claims – are diametrically opposed. (shrink)

Implicit Learning and Consciousness challenges conventional wisdom and presents the most up-to-date studies to define, quantify and test the predictions of the main models of implicit learning. The chapters include a variety of research from computer modeling, experimental psychology and neural imaging to the clinical data resulting from work with amnesics. The result is a topical book that provides an overview of the debate on implicit learning, and the various philosophical, psychological and neurological frameworks in which it can be placed. (...) It will be of interest to undergraduates, postgraduates and the philosophical, psychological and modeling research community. (shrink)

In recent years, substructural approaches to paradoxes have become quite popular. But whatever restrictions on structural rules we may want to enforce, it is highly desirable that such restrictions be accompanied by independent philosophical motivation, not directly related to paradoxes. Indeed, while these recent developments have shed new light on a number of issues pertaining to paradoxes, it seems that we now have even more open questions than before, in particular two very pressing ones: what (independent) motivations do we have (...) (if any) for restrictions on structural rules, and what to make of the plurality of new logics emerging from these restrictions, i.e. how to ‘choose’ among the different options. In this paper, we address these two questions from the perspective of a dialogical conception of logic that we've been advocating in recent years. We will argue that dialogical interpretations of structural rules, that is, as rules determining specific properties of the dialogues in question, provide a conveniently neutral framework to adjudicate between the different substructural proposals that have been made in the literature on paradoxes. (shrink)

In Wehmeier (J Philos Log 33:607–630, 2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking atomic predicates as being either in the subjunctive or indicative mood. Wehmeier claims that this language is expressively equivalent to the standard actuality language, and that despite this the marked-unmarked dichotomies are not the same in the two languages. In this paper we will attend to Wehmeier’s argument that this is the case, (...) and show that this conclusion rests on what might be considered an uncharitable stipulation concerning what it is for a formula in the actuality language to be true in a model. (shrink)

Computational modeling has long been one of the traditional pillars of cognitive science. Unfortunately, the computer models of cognition being developed today have not kept up with the enormous changes that have taken place in computer technology and, especially, in human-computer interfaces. For all intents and purposes, modeling is still done today as it was 25, or even 35, years ago. Everyone still programs in his or her own favorite programming language, source code is rarely made available, accessibility of models (...) to non-programming researchers is essentially non-existent, and even for other modelers, the profusion of source code in a multitude of programming languages, written without programming guidelines, makes it almost impossible to access, check, explore, re-use, or continue to develop. It is high time to change this situation, especially since the tools are now readily available to do so. We propose that the modeling community adopt three simple guidelines that would ensure that computational models would be accessible to the broad range of researchers in cognitive science. We further emphasize the pivotal role that journal editors must play in making computational models accessible to readers of their journals. (shrink)

We show that there are denumerably many Post-complete normal modal logics in the language which includes an additional propositional constant. This contrasts with the case when there is no such constant present, for which it is well known that there are only two such logics.

This paper argues that adopting a particular dialogical account of logical consequence quite directly gives rise to an interesting form of logical pluralism, the form of pluralism in question arising out of the requirement that deductive proofs be explanatory.

The purpose of the present note is to advertise an interesting conjecture concerning a well-known translation in modal logic, by confirming a (highly restricted) special case of the conjecture.

We investigate two different broad traditions in the abstract valuational model theory for nontransitive and nonreflexive logics. The first of these traditions makes heavy use of the natural Galois connection between sets of valuations and sets of arguments. The other, originating with work by Grzegorz Malinowski on nonreflexive logics, and best systematized in Blasio et al. : 233–262, 2017), lets sets of arguments determine a more restricted set of valuations. After giving a systematic discussion of these two different traditions in (...) the valuational model theory for substructural logics, we turn to looking at the ways in which we might try to compare two sets of valuations determining the same set of arguments. (shrink)

Three‐ to 4‐month‐old infants show asymmetric exclusivity in the acquisition of cat and dog perceptual categories. The cat perceptual category excludes dog exemplars, but the dog perceptual category does not exclude cat exemplars. We describe a connectionist autoencoder model of perceptual categorization that shows the same asymmetries as infants. The model predicts the presence of asymmetric retroactive interference when infants acquire cat and dog categories sequentially. A subsequent experiment conducted with 3‐ to 4‐month‐olds verifies the predicted pattern of looking time (...) behaviors. We argue that bottom‐up, associative learning systems with distributed representations are appropriate for modeling the operation of short‐term visual memory in early perceptual category learning. (shrink)

Núñez and colleagues (2019) chronicle in extraordinary detail the “demise” of cognitive science, as it was first defined in the late 1970s. The problem is that their account, however accurate, misses the forest for the trees. Cognitive science circa 2019 is alive and well; it just has not followed the path anticipated by its founders over 40 years ago.

This paper argues that a prominent—and oft-thought to be persuasive—argument against general validity as the best account of validity for languages containing the actuality operator is flawed, the flaw arising out of inadequate attention to the formalisation of mood distinctions.

Our concern here is with the extent to which the expressive equivalence of Wehmeier’s Subjunctive Modal Language and the Actuality Modal Language is sensitive to the choice of background modal logic. In particular we will show that, when we are enriching quantified modal logics weaker than S5, AML is strictly expressively stronger than SML, this result following from general considerations regarding the relationship between operators and predicate markers. This would seem to complicate arguments given in favour of SML which rely (...) upon its being expressively equivalent to AML. (shrink)

The present note investigates the connection between nonreflexive and nontransitive logics from a bounds-theoretic perspective. What will emerge is one way in which, if we focus on the ways in which strict and tolerant acts constrain one another, nonreflexive and nontransitive notions of consequence can be seen as simply reflecting different aspects of the same underlying reality.

No computer that had not experienced the world as we humans had could pass a rigorously administered standard Turing Test. We show that the use of “subcognitive” questions allows the standard Turing Test to indirectly probe the human subcognitive associative concept network built up over a lifetime of experience with the world. Not only can this probing reveal differences in cognitive abilities, but crucially, even differences in _physical aspects_ of the candidates can be detected. Consequently, it is unnecessary to propose (...) even harder versions of the Test in which all physical and behavioral aspects of the two candidates had to be indistinguishable before allowing the machine to pass the Test. Any machine that passed the “simpler” symbols- in/symbols-out test as originally proposed by Turing would be intelligent. The problem is that, even in its original form, the Turing Test is already too hard and too anthropocentric for any machine that was not a physical, social, and behavioral carbon copy of ourselves to actually pass it. Consequently, the Turing Test, even in its standard version, is not a reasonable test for general machine intelligence. There is no need for an even stronger version of the Test. (shrink)

In this thesis, I both analyze the phenomenology of vision from a geometrical point of view, and also develop certain connections between that geometrical analysis and the mind body problem. In order to motivate the need for such an analysis, I first show, by means of a refutation of direct realism, that visual space is never identical with any of the physical objects being indirectly "seen" by constituting color arrangements in it. It thus follows that the geometry of visual space (...) may be quite different from the Euclidean geometry of physical space, and I proceed to analyze that geometry. ;I argue that topologically, visual space is two dimensional, inasmuch as regions of it are capable of being bounded by a line, such as the borders around the various objects constituted in it. An apparent paradox arises here though, inasmuch as we posess phenomenal depth perception, which is particularly striking during binocular vision, and thus the question arises as to how the binocular depth cue of retinal disparity is registered phenomenally in a two dimensional space. I resolve this apparent paradox by arguing that the internal metric struture of this space can be apprehended phenomenally, and can serve as such a phenomenal depth cue. It is shown that holistically, this metric structure is elliptical, since for example marginal distortions in wide-angle photography are not present in visual space, and it is also noted that there is a tendency towards size constancy in visual perception. It is shown from these geometrical considerations that visual space posseses a variable curvature, with that curvature being determined by the physical depths of objects constituted in the space. ;Finally, I investigate what bearing the preceding geometrical conclusions have on the question of how events in visual space may be causally determined by neural events in the brain. The classical isomorphic theory of Gestalt psychology is then reinterpreted in light of my analysis of the geometry of visual space. (shrink)

In Parts of Classes David Lewis argued that mereology is ‘ontologically innocent’, mereological notions not incurring additional ontological commitments. Unfortunately, though, Lewis’s argument for this is not fully spelled out. Here we use some formal results concerning translations between formal languages to argue for the ontological innocence of mereology directly.

Zuidema et al. illustrate how empirical AGL studies can benefit from computational models and techniques. Computational models can help clarifying theories, and thus in delineating research questions, but also in facilitating experimental design, stimulus generation, and data analysis. The authors show, with a series of examples, how computational modeling can be integrated with empirical AGL approaches, and how model selection techniques can indicate the most likely model to explain experimental outcomes.

The opposition of science and religion is a recent phenomenon; in the middle ages, and indeed until the middle of the nineteenth century, there was almost no conflict. In the Middle Ages the objective study of nature - the activity we now call science - was largely the province of religious men. This book looks at the origins of western science and the central role played by the Dominican and Franciscan friars. It explains why these two groups devoted so much (...) intellectual effort to the study of physical and biological phenomena, and distinguishes ’Natural Philosophy’ from ’science’ as presently understood. Though the friars were recognisably ’scientific’ in their approach their motives were religious - they wished to understand the mind of God and the beauty of God’s nature. Even so, as this study makes clear, the roots of western science lie in the monasteries and refuges of the medieval friars - the direct forebears of the anti-scientific Popes of the age of Copernicus and Galileo. Contents: Introduction 1. Philosophy and true philosophy 2. Town air 3. Sapienta and scientia: the cloister and the school 4. nature and the twelfth century 5. Heresy and Dominic 6. The evil and good world 7. Conquest and re-education 8. Dominican re-education 9. Fiat lux! Let there be light! 10. Et facta est lux! And there was light 11. Epilogue. (shrink)

David Marr's (1982) three‐level analysis of computational cognition argues for three distinct levels of cognitive information processing—namely, the computational, representational, and implementational levels. But Marr's levels are—and were meant to be—descriptive, rather than interactive and dynamic. For this reason, we suggest that, had Marr been writing today, he might well have gone even farther in his analysis, including the emergence of structure—in particular, explicit structure at the conceptual level—from lower levels, and the effect of explicit emergent structures on the level (...) (or levels) that gave rise to them. The message is that today's cognitive scientists need not only to understand how emergent structures—in particular, explicit emergent structures at the cognitive level—develop but also to understand how they feed back on the sub‐structures from which they emerged. (shrink)

In a series of radio broadcasts, one of which is translated for the first time in this issue (pp. 21-34), Adorno and Becker claimed that modern education is profoundly inadequate. Their views on education draw heavily on Kant’s notion of Enlightenment as a process for the development of personal and social maturity and responsibility. As such, education cannot just be a training but must itself be a developmental process which takes into account not only social and political realities but also (...) the complex psychodynamics involved in learning. However, Adorno and Becker arrive at a position that is close to self-contradictory, unable to solve the paradox inherent in the idea of an education that is at once authoritative and non-conformist. This might arise from their failure to reflect on the nature of their own dialogue, and it is suggested that friendship offers the social model of a dynamic relationship of the type they sought to articulate. Despite the fact that the discussion took place in 1969, in a climate of educational debate radically different from today’s, their work raises issues and poses questions of the profoundest importance 30 years on. (shrink)

A series of essays on the development of medicine in the century of the Enlightenment, illustrating the decline in the role of religion in medical thinking, and the increased use of reason.

The term “ethics” covers a multitude of virtues and possibly some sins where ethical perspectives differ. Given the diversity of ethical philosophies there is a question about what common ground can, or should, inform health research ethics. At a minimum it must be consistent with the law. Beyond that, ethics embraces a variety of possible approaches. This raises the question—what criteria are applied in determining the appropriate approach and what standards by way of quality control are applied to its decisional (...) application by ethics committees or other authorities exercising responsibility in this difficult area. The particular issue of ethical perspectives on the use of “big data” in medical research also raises complex issues for consideration. (shrink)

In the first section of the article, we examine some recent criticisms of the connectionist enterprise: first, that connectionist models are fundamentally behaviorist in nature (and, therefore, non-cognitive), and second that connectionist models are fundamentally associationist in nature (and, therefore, cognitively weak). We argue that, for a limited class of connectionist models (feed-forward, pattern-associator models), the first criticism is unavoidable. With respect to the second criticism, we propose that connectionist modelsare fundamentally associationist but that this is appropriate for building models (...) of human cognition. However, we do accept the point that there are cognitive capacities for which any purely associative model cannot provide a satisfactory account. The implication that we draw from is this is not that associationist models and mechanisms should be scrapped, but rather that they should be enhanced.In the next section of the article, we identify a set of connectionist approaches which are characterized by “active symbols” — recurrent circuits which are the basis of knowledge representation. We claim that such approaches avoid criticisms of behaviorism and are, in principle, capable of supporting full cognition. In the final section of the article, we speculate at some length about what we believe would be the characteristics of a fully realized active symbol system. This includes both potential problems and possible solutions (for example, mechanisms needed to control activity in a complex recurrent network) as well as the promise of such systems (in particular, the emergence of knowledge structures which would constitute genuine internal models). (shrink)

What new implications does the dynamical hypothesis have for cognitive science? The short answer is: None. The _Behavior and Brain Sciences _target article, “The dynamical hypothesis in cognitive science” by Tim Van Gelder is basically an attack on traditional symbolic AI and differs very little from prior connectionist criticisms of it. For the past ten years, the connectionist community has been well aware of the necessity of using (and understanding) dynamically evolving, recurrent network models of cognition.

Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be read as saying that “after the individuals a1,..., an have been drawn, A is the case”.

Relational priming is argued to be a deeply inadequate model of analogy-making because of its intrinsic inability to do analogies where the base and target domains share no common attributes and the mapped relations are different. Leech et al. rely on carefully handcrafted representations to allow their model to make a complex analogy, seemingly unaware of the debate on this issue fifteen years ago. Finally, they incorrectly assume the existence of fixed, context-independent relations between objects.