The problem of evil is the most prominent argument against the existence of God. Skeptical theists contend that it is not a good argument. Their reasons for this contention vary widely, involving such notions as CORNEA, epistemic appearances, 'gratuitous' evils, 'levering' evidence, and the representativeness of goods. We aim to dispel some confusions about these notions, in particular by clarifying their roles within a probabilistic epistemology. In addition, we develop new responses to the problem of evil from both the phenomenal (...) conception of evidence and the knowledge-first view of evidence. (shrink)

A style of argument that calls into question our freedom (in the sense that involves freedom to do otherwise) has been around for millennia; it can be traced back to Origen. The argument-form makes use of the crucial idea that the past is over-and-done-with and thus fixed; we cannot now do anything about the distant past (or, for that matter, the recent past)—it is now too late. Peter van Inwagen has presented this argument (what he calls the Consequence Argument) in (...) perhaps its clearest and most forceful way, but debate over the argument has arguably reached a stalemate. -/- Recently, however, Wes Holliday has attempted to break this seeming stalemate by presenting a new argument for the Principle of the Fixity of the Past. Holliday’s argument is subtle and ingenious, and worthy of serious consideration, especially given the promise it holds for genuinely advancing this old debate. In what follows, however, we argue that despite its considerable ingenuity, Holliday’s argument fails to convince, and the stalemate appears to remain. (shrink)

The current COVID-19 pandemic and the previous SARS/MERS outbreaks of 2003 and 2012 have resulted in a series of major global public health crises. We argue that in the interest of developing effective and safe vaccines and drugs and to better understand coronaviruses and associated disease mechenisms it is necessary to integrate the large and exponentially growing body of heterogeneous coronavirus data. Ontologies play an important role in standard-based knowledge and data representation, integration, sharing, and analysis. Accordingly, we initiated the (...) development of the community-based Coronavirus Infectious Disease Ontology in early 2020. -/- As an Open Biomedical Ontology (OBO) library ontology, CIDO is open source and interoperable with other existing OBO ontologies. CIDO is aligned with the Basic Formal Ontology and Viral Infectious Disease Ontology. CIDO has imported terms from over 30 OBO ontologies. For example, CIDO imports all SARS-CoV-2 protein terms from the Protein Ontology, COVID-19-related phenotype terms from the Human Phenotype Ontology, and over 100 COVID-19 terms for vaccines (both authorized and in clinical trial) from the Vaccine Ontology. CIDO systematically represents variants of SARS-CoV-2 viruses and over 300 amino acid substitutions therein, along with over 300 diagnostic kits and methods. CIDO also describes hundreds of host-coronavirus protein-protein interactions (PPIs) and the drugs that target proteins in these PPIs. CIDO has been used to model COVID-19 related phenomena in areas such as epidemiology. The scope of CIDO was evaluated by visual analysis supported by a summarization network method. CIDO has been used in various applications such as term standardization, inference, natural language processing (NLP) and clinical data integration. We have applied the amino acid variant knowledge present in CIDO to analyze differences between SARS-CoV-2 Delta and Omicron variants. CIDO's integrative host-coronavirus PPIs and drug-target knowledge has also been used to support drug repurposing for COVID-19 treatment. -/- CIDO represents entities and relations in the domain of coronavirus diseases with a special focus on COVID-19. It supports shared knowledge representation, data and metadata standardization and integration, and has been used in a range of applications. (shrink)

Results: We analyzed 1,402 surveys and 15 in-depth interviews. Many (32%) CL participants reported greater difficulty refilling medications and a minority (14%) reported greater difficulty accessing HIV care during the pandemic. Most (99%) Opt4Mamas participants reported no difficulty refilling medications or accessing HIV/pregnancy care. Among the CL participants, older women were less likely (aOR = 0.95, 95% CI: 0.92–0.98) and women with more children were more likely (aOR = 1.13, 95% CI: 1.00–1.28) to report difficulty refilling medications. Only 2% of (...) CL participants reported greater difficulty managing FP and most (95%) reported no change in likelihood of using FP or desire to get pregnant. Qualitative analysis revealed three major themes: (1) adverse organizational/economic implications of the pandemic, (2) increased importance of pregnancy prevention during the pandemic, and (3) fear of contracting COVID-19. (shrink)

This chapter argues that scientific and philosophical progress in our understanding of the living world requires that we abandon a metaphysics of things in favour of one centred on processes. We identify three main empirical motivations for adopting a process ontology in biology: metabolic turnover, life cycles, and ecological interdependence. We show how taking a processual stance in the philosophy of biology enables us to ground existing critiques of essentialism, reductionism, and mechanicism, all of which have traditionally been associated with (...) substance ontology. We illustrate the consequences of embracing an ontology of processes in biology by considering some of its implications for physiology, genetics, evolution, and medicine. And we attempt to locate the subsequent chapters of the book in relation to the position we defend. (shrink)

This presentation includes a complete bibliography of John Corcoran’s publications devoted at least in part to Aristotle’s logic. Sections I–IV list 20 articles, 43 abstracts, 3 books, and 10 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article that antedates Corcoran’s Aristotle’s studies and the Journal of Symbolic Logic article first reporting his original results; it ends with works published in 2015. A few of the items are annotated with endnotes connecting them (...) with other work. In addition, Section V “Discussions” is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 22 in the 1980s, 39 in the 1990s, 56 in the 2000s, and 65 in the current decade. The secondary bibliography is annotated with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. As is evident from the Acknowledgements sections, all of Corcoran’s publications benefited from correspondence with other scholars, most notably Timothy Smiley, Michael Scanlan, and Kevin Tracy. All of Corcoran’s Greek translations were done in consultation with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. (shrink)

This compilation of references includes all references for the knowledge-how chapters included in Bengson & Moffett's edited volume. The volume and the compilation of references may serve as a good starting point for people who are unfamiliar with the philosophical literature on knowledge-how.

In Tulving’s initial characterization, episodic memory was one of multiple memory systems. It was postulated, in pursuit of explanatory depth, as displaying proprietary operations, representations, and substrates such as to explain a range of cognitive, behavioural, and experiential phenomena. Yet the subsequent development of this research program has, paradoxically, introduced surprising doubts about the nature, and indeed existence, of episodic memory. On dominant versions of the ‘common system’ view, on which a single simulation system underlies both remembering and imagining, there (...) are no processes unique to memory to support robust generalizations with inductive potential. Eliminativism about episodic memory seems to follow from the claim that it has no dedicated neurocognitive system of its own. After identifying this under-noticed threat, we push back against modern eliminativists by surveying recent evidence that still indicates specialized mechanisms, computations, and representations that are distinctly mnemic in character. We argue that contemporary realists about episodic memory can retain lessons of the common system approach while resisting the further move to eliminativism. (shrink)

Recent research has identified a tension between the Safety principle that knowledge is belief without risk of error, and the Closure principle that knowledge is preserved by competent deduction. Timothy Williamson reconciles Safety and Closure by proposing that when an agent deduces a conclusion from some premises, the agent’s method for believing the conclusion includes their method for believing each premise. We argue that this theory is untenable because it implies problematically easy epistemic access to one’s methods. Several possible solutions (...) are explored and rejected. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the (...) BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

It is proposed that our memory is made up of individual, unconnected Records, to each of which is attached a Heading. Retrieval of a Record can only be accomplished by addressing the attached Heading, the contents of which cannot itself be retrieved. Each Heading is made up of a mixture of content in more or less literal form and context, the latter including specification of environment and of internal states (e.g. drug states and mood). This view of memory allows an (...) easy account of a number of natural memory phenomena as well as a variety of laboratory findings such as the differences between recall and recognition. The theory further proposes that Headed Records can neither be deleted nor modified. Data apparently against such a hypothesis can be accounted for in terms of the retrieval process. (shrink)

In this paper, we present two puzzles involving desire reports concerning series of events. What does a person want to happen in the first event – is it the event with the highest expected return, or the event that is the initial part of the best series? We show that existing approaches fail to resolve the puzzles around this question and develop a novel account of our own. Our semantics is built around three ideas. First, we propose that desire ascriptions (...) are evaluated relative to a contextually supplied set of propositions, or alternatives. The semantic value of an ascription ‘S wants p’ is determined by S's preference ordering over these alternatives. Second, we propose that desire reports carry a requirement to the effect that the prejacent of the ascription must be suitably related to the background set of alternatives. Finally, we suggest that desire reports carry a dominance condition concerning the subject's ranking of the alternatives. Overall, we argue that our theory provides us with an elegant resolution of our puzzles, and yields a promising approach to desire. (shrink)

According to QBism, quantum states, unitary evolutions, and measurement operators are all understood as personal judgments of the agent using the formalism. Meanwhile, quantum measurement outcomes are understood as the personal experiences of the same agent. Wigner’s conundrum of the friend, in which two agents ostensibly have different accounts of whether or not there is a measurement outcome, thus poses no paradox for QBism. Indeed the resolution of Wigner’s original thought experiment was central to the development of QBist thinking. The (...) focus of this paper concerns two very instructive modifications to Wigner’s puzzle: One, a recent no-go theorem by Frauchiger and Renner, and the other a thought experiment by Baumann and Brukner. We show that the paradoxical features emphasized in these works disappear once both friend and Wigner are understood as agents on an equal footing with regard to their individual uses of quantum theory. Wigner’s action on his friend then becomes, from the friend’s perspective, an action the friend takes on Wigner. Our analysis rests on a kind of quantum Copernican principle: When two agents take actions on each other, each agent has a dual role as a physical system for the other agent. No user of quantum theory is more privileged than any other. In contrast to the sentiment of Wigner’s original paper, neither agent should be considered as in “suspended animation.” In this light, QBism brings an entirely new perspective to understanding Wigner’s friend thought experiments. (shrink)

JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic (...) article from his Buffalo period first reporting his original results; it ends with works published in 2015. A few of the items are annotated as listed or with endnotes connecting them with other work and pointing out passages that in-retrospect are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 23 in the 1980s, 42 in the 1990s, 56 in the 2000s, and 69 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally, of the Lukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. -/- REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. Also, let me know of passages I should comment on. (shrink)

In this paper, we aim to get clear about why renewal is needed in philosophy of religion and how to achieve it. We begin with a fundamental distinction between someone’s perspective in the field and the perspective of the field, arguing that any philosopher of religion is responsible to both. Then we identify eight problems that should prevent the status quo in philosophy from appearing acceptable to anyone who takes the perspective of the field, as well as seven practical suggestions (...) which, if implemented, would help to solve these problems. The problems include such things as tribalism, ignorance about religion, and viewing issues exclusively in terms of what is religiously familiar; the mitigations such things as allowing non-Christians to join the Society of Christian Philosophers, broadening the education of philosophers of religion, and paying more attention to the deep history of religion. (shrink)

Rivka Weinberg advances an error theory of ultimate meaning with three parts: (1) a conceptual analysis, (2) the claim that the extension of the concept is empty, and (3) a proposed fitting response, namely being very, very sad. Weinberg’s conceptual analysis of ultimate meaning involves two features that jointly make it metaphysically impossible, namely (i) the separateness of activities and valued ends, and (ii) the bounded nature of human lives. Both are open to serious challenges. We offer an internalist alternative (...) to (i) and a relational alternative to (ii). We then draw out implications for (2) and conclude with reasons to be cheerful about the prospects of a meaningful life. (shrink)

Reasoning about mental states and processes is important in various subareas of the legal domain. A trial lawyer might need to reason and the beliefs, reasoning and other mental states and processes of members of a jury; a police officer might need to reason about the conjectured beliefs and reasoning of perpetrators; a judge may need to consider a defendant's mental states and processes for the purposes of sentencing and so on. Further, the mental states in question may themselves be (...) about the mental states and processes of other people. Therefore, if AI systems are to assist with reasoning tasks in law, they may need to be able to reason about mental states and processes. Such reasoning is riddled with uncertainty, and this is true in particular in the legal domain. The article discusses how various different types of uncertainty arise, and shows how they greatly complicate the task of reasoning about mental states and processes. The article concentrates on the special case of states of belief and processes of reasoning, and sketches an implemented, prototype computer program (ATT-Meta) that copes with the various types of uncertainty in reasoning about beliefs and reasoning. In particular, the article outlines the system's facilities for handling conflict between different lines of argument, especially when these lie within the reasoning of different people. The system's approach is illustrated by application to a real-life mugging example. [NB: The date on the archived preprint avail via this Phil* page has an incorrect date, 2011, on it. The correct date is 2001.]. (shrink)

[Edited from Conclusion section:] We have looked at various challenging issues to do with getting connectionism to cope with high-level cognitive activities such a reasoning and natural language understanding. The issues are to do with various facets of generalization that are not commonly noted. We have been concerned in particular with the special forms these issues take in the arena of propositional attitude processing. The main problems we have looked at are: (1) The need to construct explicit representations of generalizations, (...) not just generalize correctly to individual cases; (2) The need to be able to match two or more complex short-term information structures, to enable rapid generalization from recent examples rather than from long-term memories; (3) The need to represent and reason with anomalous combinations of concepts; (4) The need to perform embedded reasoning. This presents special problems for systems using non-concatenative representations (as in mainstream connectionist approaches). We also touched on vague quantification in attitude report complements. Neither this topic nor that of analogies between short-term structures (point 2) has been adequately addressed in the symbolic framework, let alone in connectionism. -/- The opportunities and problems covered are put forward as things worth being optimistic about or pessimistic about, respectively. They are not put forward as decisive arguments for or against connectionism. The hope is that this chapter contributes to a greater understanding of the connectionist/symbolist gap by presenting some unusual issues and by throwing new light on some well known ones. (shrink)

I present considerations surrounding pre-reflective self-consciousness, arising in work I am conducting on a new physicalist, process-based account of [phenomenal] consciousness. The account is called the meta-causal account because it identifies consciousness with a certain type of arrangement of meta-causation. Meta-causation is causation where a cause or effect is itself an instance of causation. The proposed type of arrangement involves a sort of time-spanning, internal reflexivity of the overall meta-causation. I argue that, as a result of the account, any conscious (...) process has PRSC. Hence, PRSC does not need to be taken as a stipulation or argued for on purely phenomenological grounds or as a necessary support for reflective consciousness. I also show how it is natural to the account that PRSC is not an additional, peripheral, sort of consciousness, but is intrinsic to all consciousness, thereby fitting claims about self-intimation and co-constitution by various authors, and also being amenable to an adverbial account. As part of this, consciousness of an external object is just the form that current self-consciousness takes, the meta-causal constitution of it being inextricably modulated by the causal relationship with the object. The article also discusses how MCA helps explore issues of for-me-ness, transparency of perceptual consciousness, and possible immediacy and non-relationality of self-consciousness. (shrink)

Super-Humeans argue that the most parsimonious ontology of the natural world compatible with our best physical theories consists exclusively of particles and the distance relations between them. This paper argues by contrast that Super-Humean reduction goes insufficiently far, by showing there to be a more parsimonious ontology compatible with physics: Ultimate-Humeanism. This novel view posits an ontology consisting solely of the particles and distance relations required for the existence of a single brain. Super-Humeans impose conditions on what counts as an (...) ontology of the natural world to avoid their view slipping into this kind of ontology, but these conditions are arbitrarily imposed and once this is exposed, Super-Humeans face a dilemma. Either they can embrace Ultimate-Humeanism as the minimal ontology of the natural world compatible with physics, or (more likely) they can rethink the methodology that got them there. Overall, this paper argues that Super-Humeanism currently lacks principled motivation, outlines a framework for naturalistic ontological reductions, and exposes the consequences of unchecked adherence to a simplicity-driven methodology. (shrink)

The book is thought-provoking and informative, wide in scope while also being technically detailed, and still relevant to modem AI [at least as of 1998, the time of writing this review, but probably also at the time of posting this entry here, 2023] even though it was published in 1989. This relevance lies mainly in the book’s advocacy of distributed computation at multiple levels of description, its combining of neural networks and other techniques, its emphasis on the interplay between action (...) and perception, and its particular approach to natural language processing. The criticisms I have occasionally made above are relatively minor, and one of the major shortcomings of schema theory at least at the time of the book’s publication -- namely the lack of a detailed, preferably neural, mechanism for schema instantiation -- is one of which Arbib is well aware. The book is well produced, for the most part clearly written, and has useful summaries at the beginning of each chapter. Both general readers and AI researchers (mainly but not exclusively those working on robotics, vision and neural networks) could benefit from reading the book. (shrink)

Abstract:This paper considers novel ethical issues pertaining to near-future artificial intelligence (AI) systems that seek to support, maintain, or enhance the capabilities of older adults as they age and experience cognitive decline. In particular, we focus on smart assistants (SAs) that would seek to provide proactive assistance and mediate social interactions between users and other members of their social or support networks. Such systems would potentially have significant utility for users and their caregivers if they could reduce the cognitive load (...) for tasks that help older adults maintain their autonomy and independence. However, proactively supporting even simple tasks, such as providing the user with a summary of a meeting or a conversation, would require a future SA to engage with ethical aspects of human interactions which computational systems currently have difficulty identifying, tracking, and navigating. If SAs fail to perceive ethically relevant aspects of social interactions, the resulting deficit in moral discernment would threaten important aspects of user autonomy and well-being. After describing the dynamic that generates these ethical challenges, we note how simple strategies for prompting user oversight of such systems might also undermine their utility. We conclude by considering how near-future SAs could exacerbate current worries about privacy, commodification of users, trust calibration and injustice. (shrink)

In this paper, I transcend the abstract engagement of J. L. Austin's Speech Acts theory and explore their sociopolitical advantages, using the Nigerian social space as my primary experimental field. Nigerian social space is quite hierarchical and progresses along apparently asymmetrical lines of social relationship (in most cases). This in turn, accentuates some sort of power dynamics. In every communication, there is an implicit reinforcement of the social fabric as well as the power dynamic, either through one person's percep6of the (...) social status of the other or, of one's emphasis of power dynamic over the other. Austin's theory comes to the fore as a very laudable framework to map this interesting sociological facts. This work then, offers a philosophical contribution to an otherwise, sociological/anthropological fact. My job in this paper, is to explore a sociopolitical negotiation of Austin's theory in a multiethnic nation-state as Nigeria where hierarchy and power dynamics are heavily emphasized. This paper thus highlights the importance of the perlocutionary acts and the felicity conditions, and also accentuates their implications for social interactions and power dynamics in the Nigerian social space. (shrink)

How, if at all, consciousness can be part of the physical universe remains a baffling problem. This article outlines a new, developing philosophical theory of how it could do so, and offers a preliminary mathematical formulation of a physical grounding for key aspects of the theory. Because the philosophical side has radical elements, so does the physical-theory side. The philosophical side is radical, first, in proposing that the productivity or dynamism in the universe that many believe to be responsible for (...) its systematic regularities is actually itself a physical constituent of the universe, along with more familiar entities. Indeed, it proposes that instances of dynamism can themselves take part in physical interactions with other entities, this interaction then being “meta-dynamism” (a type of meta-causation). Secondly, the theory is radical, and unique, in arguing that consciousness is necessarily partly constituted of meta-dynamic auto-sensitivity, in other words it must react via meta-dynamism to its own dynamism, and also in conjecturing that some specific form of this sensitivity is sufficient for and indeed constitutive of consciousness. The article proposes a way for physical laws to be modified to accommodate meta-dynamism, via the radical step of including elements that explicitly refer to dynamism itself. Additionally, laws become, explicitly, temporally non-local in referring directly to quantity values holding at times prior to a given instant of application of the law. The approach therefore implicitly brings in considerations about what information determines states. Because of the temporal non-locality, and also because of the deep connections between dynamism and time-flow, the approach also implicitly connects to the topic of entropy insofar as this is related to time. (shrink)

In this paper, we aim to show that the framework of embedded, distributed, or extended cognition offers new perspectives on social cognition by applying it to one specific domain: the psychology of memory. In making our case, first we specify some key social dimensions of cognitive distribution and some basic distinctions between memory cases, and then describe stronger and weaker versions of distributed remembering in the general distributed cognition framework. Next, we examine studies of social influences on memory in cognitive (...) psychology, and identify the valuable concepts and methods to be extended and embedded in our framework; we focus in particular on three related paradigms: transactive memory, collaborative recall, and social contagion. Finally, we sketch our own early studies of individual and group memory developed within our framework of distributed cognition, on social contagion of autobiographical memories, collaborative flashbulb memories, and memories of high school at a high school reunion. We see two reciprocal benefits of this conceptual and empirical framework to social memory phenomena: that ideas about distributed cognition can be honed against and tested with the help of sophisticated methods in the social cognitive psychology of memory; and conversely, that a range of social memory phenomena that are as yet poorly understood can be approached afresh with theoretically motivated extensions of existing empirical paradigms. (shrink)

Abstract: In this article we introduce an input-oriented democratic innovation – that we term ‘TaxTrack’ – which offers individual taxpayers the means to engage with their political economies in three ways. After joining the TaxTrack program, an individual can: (1) see and understand how much, and what types, of taxes they have contributed, (2) see and understand how their tax contributions are, or have been, used, and (3) control what their tax contributions can, or cannot, be spent on. We explain (...) this democratic innovation in two ways. The first is through evocation to prefigure what the innovation could look like in future practise which raises the prospects for both good and problematic outcomes. The second is through formal theory to produce a detailed model of the innovation to assist theory building. We conclude by discussing three interactive outcomes of ‘TaxTrack’ through the democratic innovations literature to establish the beginnings of a theory for the model. This theory tells us that ‘TaxTrack’ can return benefits to its users and the democratic regimes in which they are located but it may also place restrictions on output-oriented innovations like Participatory Budgeting. (shrink)

We consider the varieties and directions of influence that the source and target domains involved in a conceptual metaphor can have on each other during the course of understanding metaphorical utterances based on the metaphor. Previous studies have been restricted both as to direction of influence and as to type of influence. They have been largely confined to the “forward” (source to target) direction of influence, and they have concentrated on the transfer of features or propositions and (to some extent) (...) the highlighting of aspects of a domain. By contrast, this article stresses the importance both of other varieties of influence (e.g., transfer of queries and uncertainty effects) and of “reverse” influence (target to source). We seek to curb the natural tendency to think that, because metaphor involves an overall move from source to target, therefore all inter-domain influences in the course of understanding go in that direction. The bulk of the article explores the theoretical issues involved. These issues have arisen out of a reasoning-based approach to metaphor, seeking to make best use of information from metaphorical utterance, context, source and target domains, and known metaphorical mappings, by applying a complex overall reasoning process. The article briefly explains the thorough implementation of reverse influence in a computer program for metaphorical reasoning called ATT-Meta, although the theoretical considerations are relevant to all disciplines concerned with metaphor. We make some suggestions for further computational and psychological research on metaphor. (shrink)

The science of the mind, and of consciousness in particular, needs carefully to consider people's common-sense views of the mind, not just what the mind really is. Such views are themselves an aspect of the nature of (conscious) mind, and therefore part of the object of study for a science of mind. Also, since the common-sense views allow broadly successful social interaction, it is reasonable to look to the common-sense views for some rough guidance as to the real nature of (...) the mind. On the other hand, to the extent that common-sense views are inaccurate, and perhaps even in gross conflict with the true nature of the mind, one interesting scientific question is: why do we hold such views, given our access to our own minds? Why should introspection be limited in a way that allows inaccurate views to hold sway? Now, common-sense views of the mind are revealed in natural language discourse that describes mental states, and such descriptions are largely metaphorical. The metaphors are used within thinking about the mind as well as in language. Therefore the study of metaphor is central to the study of mind. The present article is a preliminary study of the importance of metaphor in the scientific study of consciousness. It concentrates on analysing the nature of a range of important metaphors of mind, briefly discussing the extent to which they can be used to describe or qualify states of consciousness, and pointing to important questions about the nature of consciousness that the study of the metaphors raises. The article further conjectures that the reason people use metaphors in describing themselves is often not (just) that they have intellectually worked out some structural analogy --- e.g., between interactions of physical objects in physical space and interactions of ideas in the mind --- but rather that they {\it feel} their own minds to be as described by the metaphor --- e.g., they feel that the ideas in their minds are interacting physical entities. This matter of how a mind feels to itself is an aspect of the central issue of consciousness, namely its phenomenal quality. -/- (NB: The archived file is a preprint. However, it is substantially the same as the published version.). (shrink)

This paper is a commentary on the target article by Lokendra Shastri & Venkat Ajjanagadde [S&A]: “From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony” in same issue of the journal, pp.417–451. -/- It puts S&A's temporal-synchrony binding method in a broader context, comments on notions of pointing and other ways of associating information - in both computers and connectionist systems - and mentions types of reasoning that are a challenge to (...) S&A's system (amongst many other connectionist systems, recognizing that S&A's is much more capable as regards reasoning than most other contemporary systems). (shrink)

This paper is a commentary on the target article by Michael Arbib, “Levels of modeling of mechanisms of visually guided behavior”, in the same issue of the journal, pp. 407–465. -/- I focus on the importance of the inclusion of an ability of a system to entertain, at a given time, multiple instantiations of a given schema (situation template, frame, script, action plan, etc.), and complications introduced into neural/connectionist network systems by such inclusion.

Due to the emergence of ICT in ELT sector, seasoned English teachers find it resistant to such a shift despite having a positive attitude towards its use. This quasi-experimental study aimed to examine the extent to which seasoned English language teachers developed their ICT skills through a Service-Learning Activity (SLA). Using a one-group pre- and post-test design, this study collected the data through a modified Needs Assessment Survey (NAS) distributed to fourteen purposively selected participants. It was administered to examine what (...) professional ICT development would greatly benefit them. The data were analyzed using descriptive statistics and themes according to the Service-Learning Activity (SLA) topics. A Post Evaluation Survey (PES) was administered, and its result was compared to the initial test. The results showed that the seasoned teachers gained significant learning gains in terms of (1) sharing of knowledge from other teachers; (2) being encouraged to use ICT tools; (3) training opportunities; (4) working with other colleagues; and 5) attending professional workshops which include SLA. However, this study unveiled that the English teachers had no significant difference in perceptions regarding the roles of computers in teaching before and after the intervention. Limitations and recommendations for future studies were discussed. (shrink)

A strategy for investigating consciousness that has proven very productive has focused on comparing brain processes that are accompanied by consciousness with processes that are not. But comparatively little attention has been given to a related strategy that promises to be even more fertile. This strategy exploits the fact that as individuals develop, new classes of brain processes can transition from operating ‘in the dark’ to becoming conscious. It has been suggested that these transitions occur when a new class of (...) brain processes becomes object to a new, emergent, higher-level subject. Similar transitions are likely to have occurred during evolution. An evolutionary/developmental research strategy sets out to identify the nature of the transitions in brain processes that shift them from operating in the dark to ‘lighting up’. The paper begins the application of this strategy by extrapolating the sequence of transitions back towards its origin. The goal is to reconstruct a minimally-complex, subject-object subsystem that would be capable of giving rise to consciousness and providing adaptive benefits. By focusing on reconstructing a subsystem that is simple and understandable, this approach avoids the homunculus fallacy. The reconstruction suggests that the emergence of such a minimally-complex subsystem was driven by its capacity to coordinate body-environment interactions in real time e.g. hand-eye coordination. Conscious processing emerged initially because of its central role in organising real-time sensorimotor coordination. The paper goes on to identify and examine a number of subsequent major transitions in consciousness, including the emergence of capacities for conscious mental modelling. Each transition is driven by its potential to solve adaptive challenges that cannot be overcome at lower levels. The paper argues that mental modelling arose out of a pre-existing capacity to use simulations of motor actions to anticipate the consequences of the actions. As the capacity developed, elements of the simulations could be changed, and the consequences of these changes could be ‘thought through’ consciously. This enabled alternative motor responses to be evaluated. The paper goes on to predict significant new major transitions in consciousness. (shrink)

Background: Previous studies assessing students’ learning outcomes and identifying contributing factors have often dwelt on the cognitive domain. Furthermore, school evaluation decisions are often made using scores from cognitive-based tests to rank students. This practice often skews evaluation results, given that education aims to improve the three learning domains. This study addresses this gap by assessing the contributions of four students’ input to their cognitive, affective and psychomotor skills (CAPs). Methods: A cross-section of senior secondary class II students (n = (...) 870), sampled through the multistage procedure, participated in a physical survey. Students’ Inputs Questionnaire (STIQ) and Learning Outcomes Questionnaire (LOQ) were used for data collection. Based on data obtained from a pilot sample (n = 412), principal axis factoring (PAF) was performed to assess the internal structure of the instruments following an oblique rotation. The KMO value of sampling adequacy were 0.88 and 0.94, while the Bartlett’s test of sphericity were significant χ2 (253) = 5,010; p < 0.001 and χ2 (105) = 3693.38, p < 0.001 for the STIQ and LOQ, respectively. Confirmatory factor analysis was used to assess the models’ acceptability based on the maximum likelihood estimation technique. The main study used hierarchical linear regression for data analysis. Results: Findings indicated that innate ability, health, motivation and social capital relatively and cumulatively predicted students’ overall, cognitive, affective and psychomotor learning outcomes. The proportion of variance explained by the predictors increased at different levels of the models with the addition of new variables. Students’ social capital reduced the effect of students’ innate ability regardless of their motivation and health status. Conclusion/implication: This study has provided evidence that the four students’ inputs are crucial predictors of their learning outcomes in the three domains. This result is helpful for school management to provide services aimed at improving the school climate for students’ motivation and social capital. The result can provide policymakers with a proper understanding of the constituents of learning outcomes and how policies can be aligned to secure quality student inputs for maximum productivity in education. (shrink)

Closure is the epistemological thesis that if S knows that P and knows that P implies Q, then if S infers that Q, S knows that Q. Fred Dretske acknowledges that closure is plausible but contends that it should be rejected because it conflicts with the plausible thesis: Conclusive reasons (CR): S knows that P only if S believes P on the basis of conclusive reasons, i.e., reasons S wouldn‘t have if it weren‘t the case that P. Dretske develops an (...) analysis of knowing that centers on CR, and argues that the requirement undermines skepticism by implying the falsity of closure. We develop a Dretske-style analysis of knowing that incorporates CR, and we argue that this analysis not only accords with closure, but also implies it. In addition, we argue that the analysis accounts for the prima facie plausibility of closure-invoking skeptical arguments, and nonetheless implies that they are fallacious. If our arguments turn out to be sound, the acceptability of Dretske‘s analysis of knowing will be significantly enhanced by the fact that, despite implying closure, it undermines closure-based skepticism. (shrink)

This article arises indirectly out of the development of a particular approach, called ATT-Meta, to the understanding of some types of metaphorical utterance. However, the specifics of the approach are not the focus of the present article, which concentrates on some general issues that have informed, or arisen from, the development of the approach. The article connects those issues to the questions of metaphorical meaning and truth. -/- A large part of the exploration of metaphor in fields such as Cognitive (...) Linguistics and natural language Pragmatics takes metaphor to rest on complex mappings between a target subject matter and a source subject matter (see, e.g., Lakoff 1993, 2008). This is one main way in which some aspects of the source, generally including some structural aspects, can have parallels in the target. It is typical for much, and perhaps the whole, of the meaning of a metaphorical expression to be explained by means of these parallels. We will talk about “parallelism” rather than “isomorphism,” or even “analogy,” because “isomorphism” implies a strict one-to-one correspondence between items in the source scenario and items in the target scenario, and analogy theorists often hold that analogy rests on isomorphism. We wish not to prejudge the question of whether looser, messier forms of parallelism are sometimes needed. Also, we will talk about parallels rather than mappings, because our discussion will embrace the question of parallelism that may be discernible, albeit implicitly, in accounts of metaphor that are not presented as being based on mappings. Three main cases of such accounts are Relevance Theory (RT: e.g., Sperber & Wilson 2008, Wilson & Carston 2006), the categorization-based or "class-inclusion“ approach (Glucksberg 2008), and Ritchie’s (2006) CLST account (Context-Limited Simulation Theory). -/- One main issue we will address is that of substantial non-parallelism that can exist between source and target subject-matters in metaphor: more precisely, the issue that there may be source aspects that are exploited by the utterance and have a deep effect on metaphorical interpretation but that do not themselves have a natural parallel in the target subject-matter (although we will point out that artificial parallels can generally be created). This is part of a broader point that the content of metaphorical discourse should often be seen as being derived in a rather holistic way from several metaphorical bits of the discourse, which conspire to describe some source-domain scenario, rather than being derived by putting together metaphorical meanings of each metaphorical bit (even if each bit could in principle be assigned its own separate metaphorical meaning). As a result, we suggest that it is misguided to think of the propositions making up the content (or, if you like, "meaning“) about the target scenario that is being described is a matter of metaphorical meaning of specific grammatical units such as sentences, clauses or other constituents that a traditional semantic theory would assign propositional meaning to. Rather, grammatical units (that are to be taken metaphorically) have meanings in source-domain terms; content in target-domain terms is derived from the source-domain scenario depicted by those units and fleshed out through inference; and the target-domain content is only (in general) fuzzily relatable to particular grammatical units. This view is on a spectrum at whose extreme point we could place Davidson’s (1984) view that metaphors only have literal (i.e., source-domain) meanings, with other effects on the understander not being a matter of propositional content. However, on our view it is proper to take metaphorical discourse as having non-literal meaning, couched as a collection of propositions, among other things possibly; it is just that the propositions are not to be thought of (in general) as meaning of specific sentences, clauses or other grammatical units rather than of a possibly only fuzzily delineated piece of discourse. -/- A second main concern of the article is the question of how much, and what types of, inference are involved in the derivation of metaphorical meaning. While our own ATT-Meta approach accords with, amongst other accounts, Relevance Theory (RT) as to the centrality of inference in metaphor interpretation, we disagree with RT on its claim that metaphor interpretation is a matter of (a relatively high degree of) concept "broadening“ and (often) "narrowing“. We argue that almost all inference can in fact be theoretically re-described as concept broadening and/or narrowing, and what is left over should be included in the metaphor interpretation process anyway. Thus, the RT claim about broadening and narrowing really just says that inference, of unrestricted type, is involved in metaphor understanding, in accord with what ATT-Meta claims. (shrink)

The appearance of negative terms in quasiprobability representations of quantum theory is known to be inevitable, and, due to its equivalence with the onset of contextuality, of central interest in quantum computation and information. Until recently, however, nothing has been known about how much negativity is necessary in a quasiprobability representation. Zhu :120404, 2016) proved that the upper and lower bounds with respect to one type of negativity measure are saturated by quasiprobability representations which are in one-to-one correspondence with the (...) elusive symmetric informationally complete quantum measurements. We define a family of negativity measures which includes Zhu’s as a special case and consider another member of the family which we call “sum negativity.” We prove a sufficient condition for local maxima in sum negativity and find exact global maxima in dimensions 3 and 4. Notably, we find that Zhu’s result on the SICs does not generally extend to sum negativity, although the analogous result does hold in dimension 4. Finally, the Hoggar lines in dimension 8 make an appearance in a conjecture on sum negativity. (shrink)

The representation of propositional attitudes (beliefs, desires, etc.) and the analysis of natural-language, propositional-attitude reports presents difficult problems for cognitive science and artificial intelligence. In particular, various representational approaches to attitudes involve the incorrect “imputation,” to cognitive agents, of the use of artificial theory-laden notions. Interesting cases of this problem are shown to occur in several approaches to attitudes. The imputation problem is shown to arise from the way that representational approaches explicate properties and relationships, and in particular from the (...) way they explicate propositional attitudes themselves. Another factor contributing to imputation is the compositional nature of typical semantic approaches to propositional-attitude reports. Some strategies for avoiding undesirable imputation are examined. One of the main conclusions is that the importance of imputations that arise in a representation scheme depends strongly on the use to which the scheme is put -- on whether, for instance, the scheme is used as part of a formal, objective account of natural language, or is used rather as a representational tool within an agent. (shrink)

In a recent very interesting and important challenge to tracking theories of knowledge, Williams & Sinhababu claim to have devised a counter-example to tracking theories of knowledge of a sort that escapes the defense of those theories by Adams & Clarke. In this paper we will explain why this is not true. Tracking theories are not undermined by the example of the backward clock, as interesting as the case is.

Although Paul Churchland and Jerry Fodor both subscribe to the so-called theory-theory– the theory that folk psychology (FP) is an empirical theory of behavior – they disagree strongly about FP’s fate. Churchland contends that FP is a fundamentally flawed view analogous to folk biology, and he argues that recent advances in computational neuroscience and connectionist AI point toward development of a scientifically respectable replacement theory that will give rise to a new common-sense psychology. Fodor, however, wagers that FP will be (...) largely preserved and vindicated by scientific investigations of behavior. Recent findings by developmental psychologists, I argue, will push both Churchlandians and Fodorians toward the pessimistic view that FP is a misguided theory that will never be displaced, because it is, so to speak, built into our cognitive systems. I explore the possibility of preserving optimism by rejecting the theory-theory and adopting the simulation theory, a competing view developed by Robert Gordon, Alvin Goldman, and Jane Heal. According to simulationists, common-sense interpretation of behavior is accomplished by means of pretense-like operations that deploy the cognitive system’s own reasoning capabilities in a disengaged manner. Since on this view no theory-like set of principles would be needed, the simulation theory seems to enjoy a simplicity advantage over the theory-theory. Steven Stich and Shawn Nichols, however, contend that as the cognitive system would require special mechanisms for disengaged operation, the simplicity question cannot be resolved until suitable computational models are developed. I describe a set of models I have constructed to meet this need, and I discuss the contribution such models can make to determining FP’s fate. (shrink)

The notion of Simulative Reasoning in the study of propositional attitudes within Artificial Intelligence (AI) is strongly related to the Simulation Theory of mental ascription in Philosophy. Roughly speaking, when an AI system engages in Simulative Reasoning about a target agent, it reasons with that agent’s beliefs as temporary hypotheses of its own, thereby coming to conclusions about what the agent might conclude or might have concluded. The contrast is with non-simulative meta-reasoning, where the AI system reasons within a detailed (...) theory about the agent’s (conjectured) reasoning acts. The motive within AI for preferring Simulative Reasoning is that it is more convenient and efficient, because of a simplification of the representations and reasoning processes. The chapter discusses this advantage in detail. It also sketches the use of Simulative Reasoning in an AI natural language processing system, ATT-Meta, that is currently being implemented. This system is directed at the understanding of propositional attitude reports. In ATT-Meta, Simulative Reasoning is yoked to a somewhat independent set of ideas about how attitude reports should be treated. Central here are the claims that (a) speakers often employ commonsense (and largely metaphorical) models of mind in describing agents’ attitudes, (b) the listener accordingly needs often to reason within the terms of such models, rather than on the basis of any objectively justifiable characterization of the mind, and (c) the commonsense models filter the suggestions that Simulative Reasoning comes up with concerning target agents’ reasoning conclusions. There is a yet tighter connection between the commonsense models and the Simulative Reasoning. It turns out that Simulative Reasoning can be rationally reconstructed in terms of a more general type of reasoning about the possibly-counterfactual “world” that the target agent believes in, together with an assumption that that agent has a faithful representation of the world. In the ATT-Meta approach, the reasoner adopts that assumption when it views the target agent through a particular commonsense model (called IDEAS-AS-MODELS). (shrink)

The idea that technologies can change moral beliefs and practices is an old one. But how, exactly, does this happen? This paper builds on an emerging field of inquiry by developing a synoptic taxonomy of the mechanisms of techno-moral change. It argues that technology affects moral beliefs and practices in three main domains: decisional (how we make morally loaded decisions), relational (how we relate to others) and perceptual (how we perceive situations). It argues that across these three domains there are (...) six primary mechanisms of techno-moral change: (i) adding options; (ii) changing decision-making costs; (iii) enabling new relationships; (iv) changing the burdens and expectations within relationships; (v) changing the balance of power in relationships; and (vi) changing perception (information, mental models and metaphors). The paper also discusses the layered, interactive and second-order effects of these mechanisms. (shrink)

The social welfare functional approach to social choice theory fails to distinguish a genuine change in individual well-beings from a merely representational change due to the use of different measurement scales. A generalization of the concept of a social welfare functional is introduced that explicitly takes account of the scales that are used to measure well-beings so as to distinguish between these two kinds of changes. This generalization of the standard theoretical framework results in a more satisfactory formulation of welfarism, (...) the doctrine that social alternatives are evaluated and socially ranked solely in terms of the well-beings of the relevant individuals. This scale-dependent form of welfarism is axiomatized using this framework. The implications of this approach for characterizing classes of social welfare orderings are also considered. (shrink)

The management of Higher Education Systems has continued to suffer from plethora of concerns and issues, cardinal amongst them, is the application of conventional administrative strategies and leadership patterns, sometimes without appropriate modifications so much so, that the management effectiveness of higher education systems is gradually being eroded. This is evident in the increasing distasteful gamut of multidimensional outcomes arising from the used of dogmatic and stereotype variants of managerial principles or nothing at all, in the circumstance. Given this premise, (...) there is an urgent desire to rejig and re-engineer learning experiences that will culminate into dynamic, goal oriented and robust management packages for higher education systems with results for global acclamations, thereby, chatting new directions to fill this existing gap in the management of higher education systems in Nigeria. With humility, I introduce to you this book titled: Management of Higher Education Systems, a collection of well-researched essays. The essays in this book promises to deliver on the deliverables of its raison d’tre of job specifications and management dynamics of higher education landscape, reflecting on the global realities. This is because scholarly evidences abound, to proof that looking into the National Universities Commission’s Bench Mark Minimum Academic Standard (BMAS) of the curriculum for Educational Management as a discipline, it is obvious, that the BMAS has fallen short of global expectations and appears to be revolving within neo-colonial conventional administrative theorizing, with little or no emphasis on the practical demonstration of acquired skills, competences and capabilities for trained educational administrators, to deal with peculiarities of the moment, especially in the developing world. This felt need pushes for a paradigm shift in our curricula endeavours. It is even worse off, when experiences have continued to show, that there are deficiencies noticeable in the understanding of job requirements of educational managers of higher education systems in Nigeria. -/- It is this gap therefore, that the current effort is geared towards building this literature which seeks to address this lacuna by re-chiseling and retooling educational management practices through equipping this sophisticated discipline with up-to-date information and knowledge that will enhance the full optimaization of the job specifications, of higher educational managers, to bring into a perfect nexus of the man, job and social milieu. It is also in public domain, that managers of higher educational systems with such limitations are very often left with no option than to resort to on -the- job training by bureaucrats, who are in themselves their acolytes ab-initio and who sometimes take over leadership of the organization, owing to the existing gaps that manifest in the knowledge of educational managers, thereby reducing substantive higher education executive head to a titular head or at best ceremonial heads. -/- This book brings together articles and chapters to be published in these directions by researchers, policy makers and practitioners to re-inform, reeducate and reorient higher educational managers on their job expectations. The volume also offers a rich and relevant literature of the dynamic state of higher education in global perspective. While this publication will be freely available online, the essays in this volume are carefully selected and they will provide a basis for thematic and analytical perspectives on the concerns of management of contemporary higher education systems. -/- The book is divided into twelve thematic sections with each addressing the demands of its Kernel, as it is reflected in Historical development of higher education systems and its organs, Gloabilization of higher education, Internationalization and the labour market, Funding of higher education systems, Proliferations of higher education systems, Corruption in higher education systems and the deterioration of its estate, Internationalization and massification, Politics and leadership in higher educational systems, Academic freedom and access to higher education, Academic planning and affiliation relationship of higher education systems, Conflict management in higher education systems, Research and training in higher education systems and Inclusivity in higher education. -/- Another striking feature of this book is in its efforts at globalizing the curriculum of management of higher education and providing opportunity for scholars with different shades of opinion even on same issues but from different perspectives with the hope that it will guarantee overall effectiveness in the management of higher education systems. I recommemd this book to all with passion for the management of diferentiated higher education systems, and invite you to this intellectual feast prepared so deliciously like a meal for the gods. -/- Finally, let me reflect on what may appears to be an aberration in this context, by appreciating all authors who had found time to respond to this academic calling by their various chapter contributions. This singular act is in itself enough justification as show of interest and further demonstration of your continuous determination to address gaps in Nigerian educational landscape. Similarly, my gratitude is equally extended to all members of my editorial team for their thoughtfulness and very constructive criticisms which have shaped these scholarly presentations thereof. May the Almighty God continue to enrich the contents of your cerebrum most intellectually, for the benefit of man but to His glory. -/- The PDF contains just the preliminary pages of the book. You can order the full copy of the book by contacting the editor-in-chief, Professor John A. Undie, FNAEAP, KSM. (shrink)

The paper is a commentary on the target article by Christine A. Skarda & Walter J. Freeman, “How brains make chaos in order to make sense of the world”, in the same issue of the journal, pp.161–195. -/- I confine my comments largely to some philosophical claims that Skarda & Freeman make and to the relationship of their model to connectionism. Some of the comments hinge on what symbols are and how they might sit in neural systems.

This paper is a commentary on the target article by Dana H. Ballard, “Cortical connections and parallel processing: Structure and function”, in the same issue of the journal, pp. 67–120. -/- I raise some issues about the connectionist or neural-network implementation of information and information processing. Issues include the sharing of information by different parts of a connectionist/neural network, the copying of complex information from one place to another in a network, the possibility of connection weights not being synaptic weights, (...) and the possibility of fast communication within single neurons as complex systems in their own right. (shrink)

This publication offers the first critical edition of John Buridan’s second set of questions on Aristotle's “De generatione et corruptione”. The edition was made by Michiel Streijger, Paul Bakker and Hans Thijssen. First published as a printed book in 2010, the publication has been converted to open access with the CC BY-NC-ND license as of September 2023.

SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is a broad subject which begins (...) when numerals are mentioned (not just used) and mentioned as names of numbers (not just as syntactic objects). Semantic arithmetic leads to many fascinating and surprising algorithms and decision procedures; it reveals in a vivid way the experiential import of mathematical propositions and the predictive power of mathematical knowledge; it provides an interesting perspective for philosophical, historical, and pedagogical studies of the growth of scientific knowledge and of the role metalinguistic discourse in scientific thought. (shrink)

I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.