In an anonymous referee report written in 1945, Church suggested a sweeping argument against verificiationism, the thesis that every truth is knowable. The argument, which was published with due acknowledgement by Fitch almost two decades later, has generated significant attention as well as some interesting successor arguments. In this paper, we present the most important episodes in this intellectual history using the logic that Church himself favoured, and we give reasons for thinking that the arguments are less than decisive. However, (...) we present some new arguments against verificationism that we believe to be dialectically effective. (shrink)

Teaching while managing instructional workload is causal to the teaching-learning process. The study determined the teachers' instructional workload management to the teachers' teaching efficacy. It was conducted in a community college in Tangub City, Misamis Occidental. The descriptive-correlational design was used in the study. There were 15 program heads and 361 students who served as the respondents selected through a stratified random sampling technique. The researcher-made Teachers' Instructional Workload Management and Teachers' Teaching Efficacy Questionnaires were used as research instruments. Mean, (...) Standard Deviation, and Pearson Product-Moment Correlation Coefficient were used as statistical tools to analyze the data gathered. Results revealed that the teachers were very good in their instructional workload management. The teachers' teaching efficacy was very high. Some aspects of the teachers' instructional workload management like the preparation of instructional materials influenced the teachers' administration of assessment tasks and classroom management. Their conduct of consultation also influenced the administration of assessment tasks. Moreover, their submission of academic reports influenced the administration of assessment tasks and school resource utilization. The workload management of teachers play a crucial role in shaping teachers' teaching efficacy. It is recommended for teachers to manage their workload proactively since it can impact their teaching efficacy. (shrink)

Supervision of teachers is essential for ensuring effective educational practices, fostering professional development, and achieving student success. The study determined the relationship of program heads' supervisory practices to the teachers’ teaching efficacy. It was conducted in a community college in Tangub City, Misamis Occidental. The descriptive-correlational design was used in the study. There were 146 faculty and 361 students who served as the respondents selected through a stratified random sampling technique. The adapted Program Heads’ Supervisory Practices and researcher-made Teachers’ Teaching (...) Efficacy Questionnaires were used as research instruments. Mean, Standard Deviation, and Pearson Product-Moment Correlation Coefficient were used as statistical tools to analyze the data gathered. Results revealed that the program heads were good in their supervisory practices. The teachers’ teaching efficacy was very high. The program heads’ supervisory practices did not influence the teacher’s teaching efficacy. The strategies employed by program heads in their supervisory roles do not always translate into improved teaching efficiency. The study's findings indicate that program heads need to adopt more responsive and tailored supervisory practices that directly address the specific needs of teachers to enhance teaching efficacy. This may involve integrating targeted professional development focused on practical classroom strategies and fostering peer collaboration to share best practices. Program heads may prioritize open communication and continuous feedback mechanisms to better align their supervisory approaches with the realities of classroom instruction, ensuring that support translates into improved teaching efficiency. (shrink)

Metacognitive skills are essential to be developed by the students to help improve their academic performance. This study was conducted with the aim of determining whether the use of problem-solving strategies can increase students' metacognitive skills. Students of the Mathematics in the World course offered at a local college in the Philippines were selected to participate in this study. Using an independent sample t-test, results revealed that students who were the recipients of problem-solving strategies scored statistically higher in formal examinations (...) compared to those students who were taught using conventional strategies. The researchers concluded that students who were taught using the problem-solving strategy enhanced their metacognitive skills based on their scores in the test of metacognitive skills during the post-test. The researchers suggested that teachers should incorporate problem-solving strategies into their lessons since this research demonstrates this to be an effective strategy for enhancing students' metacognitive skills essential to their learning. (shrink)

The supervision of teachers is essential for ensuring effective teaching methods, ongoing professional growth, and student success. This study explored the experiences of program heads in supervising teachers. It was conducted in a local college in Tangub City, Misamis Occidental. The phenomenological design was used in the study. Eleven program heads served as the participants selected through the purposive sampling technique. The Interview Guide was used as the research instrument. Moustakas' transcendental phenomenology of data analysis was utilized to analyze the (...) data gathered. Results revealed the following main themes: the critical role of supervision in advancing teacher development and educational excellence, mutual learning and growth, the role of program heads in teacher supervision, overcoming challenges in teacher supervision, and effective communication strategies. Supervision improves teaching and learning quality, which supports professional development. The complex nature of supervisory roles requires adaptive strategies and strong support networks. It is recommended for program heads and teachers to establish open communication to help address the challenges encountered during supervision. (shrink)

Computation and Metacognitive skills are essential sub-skills under the domain of Critical Thinking which is a 21 st Century Skill. Having acquired these skills can greatly help students to have a better performance in the Mathematics course. The purpose of this study was to determine whether computation and metacognitive skills are significant predictors of students' performance in Mathematics. Students from four sections of the course Mathematics in the Modern World which was offered during the first semester of the academic year (...) 2018-2019 were selected as the participants of this study which was conducted at Gov. Alfonso D. Tan College, Tangub City, Misamis Occidental, Philippines. The results of this study showed that students' scores in computation and metacognitive test of skills significantly correlate with the students' performance in Mathematics in terms of Grade Point Average (GPA) and a positive direct relationship has been established. Using the Regression Analysis, the result revealed that both computation and metacognitive skills of the students were significant predictors of their performance in Mathematics. These research outcomes affirm that if students acquire these skills, they tend to perform better in Mathematics. This suggests that teachers are encouraged to be more strategic in training the students to acquire and develop computation and metacognitive skills by administering various mathematical problems that encourage students to think critically. (shrink)

Soon there will be sex robots. The creation of such devices raises a host of social, legal and ethical questions. In this article, I focus in on one of them. What if these sex robots are deliberately designed and used to replicate acts of rape and child sexual abuse? Should the creation and use of such robots be criminalised, even if no person is harmed by the acts performed? I offer an argument for thinking that they should be. The argument (...) consists of two premises. The first claims that it can be a proper object of the criminal law to regulate wrongful conduct with no extrinsically harmful effects on others. The second claims that the use of robots that replicate acts of rape and child sexual abuse would be wrongful, even if such usage had no extrinsically harmful effects on others. I defend both premises of this argument and consider its implications for the criminal law. I do not offer a conclusive argument for criminalisation, nor would I wish to be interpreted as doing so; instead, I offer a tentative argument and a framework for future debate. This framework may also lead one to question the proposed rationales for criminalisation. (shrink)

Many philosophers favour the simple knowledge account of assertion, which says you may assert something only if you know it. The simple account is true but importantly incomplete. I defend a more informative thesis, namely, that you may assert something only if your assertion expresses knowledge. I call this 'the express knowledge account of assertion', which I argue better handles a wider range of cases while at the same time explaining the simple knowledge account's appeal. §1 introduces some new data (...) that a knowledge account of assertion well explains. §2 explains the simple knowledge account's advantage over two of its main competitors. §3 presents a problem for the simple account and offers a solution, which is to adopt the express knowledge account. §4 encapsulates the case for the express knowledge account, and offers a unifying vision for the epistemology of belief and assertion. §5 answers an objection. §6 briefly sums up. Even those who ultimately reject my conclusion can still benefit from the new data presented in §1, and learn an important lesson from the problem discussed in §3, which demonstrates a general constraint on an acceptable account of the norm of assertion. (shrink)

The concept of practical knowledge is central to G.E.M. Anscombe's argument in Intention, yet its meaning is little understood. There are several reasons for this, including a lack of attention to Anscombe's ancient and medieval sources for the concept, and an emphasis on the more straightforward concept of knowledge "without observation" in the interpretation of Anscombe's position. This paper remedies the situation, first by appealing to the writings of Thomas Aquinas to develop an account of practical knowledge as a distinctive (...) form of thought that "aims at production" of things that lie within an agent's power; and then by showing how this Thomistic understanding of practical cognition seems to have been Anscombe's, too. Having done this, I question whether the thesis that agential knowledge is practical knowledge entails that an agent always has non-observational knowledge of what she is intentionally doing. I answer "Not": Anscombe's claims to the contrary rest on a misleading assimilation of human beings' finite agency to that of an infinite agent like God. (shrink)

An impressive case has been built for the hypothesis that knowledge is the norm of assertion, otherwise known as the knowledge account of assertion. According to the knowledge account, you should assert something only if you know that it’s true. A wealth of observational data supports the knowledge account, and some recent empirical results lend further, indirect support. But the knowledge account has not yet been tested directly. This paper fills that gap by reporting the results of such a test. (...) The knowledge account passes with flying colors. (shrink)

Since the release of ChatGPT, there has been a lot of debate about whether AI systems pose an existential risk to humanity. This paper develops a general framework for thinking about the existential risk of AI systems. We analyze a two-premise argument that AI systems pose a threat to humanity. Premise one: AI systems will become extremely powerful. Premise two: if AI systems become extremely powerful, they will destroy humanity. We use these two premises to construct a taxonomy of ‘survival (...) stories’, in which humanity survives into the far future. In each survival story, one of the two premises fails. Either scientific barriers prevent AI systems from becoming extremely powerful; or humanity bans research into AI systems, thereby preventing them from becoming extremely powerful; or extremely powerful AI systems do not destroy humanity, because their goals prevent them from doing so; or extremely powerful AI systems do not destroy humanity, because we can reliably detect and disable systems that have the goal of doing so. We argue that different survival stories face different challenges. We also argue that different survival stories motivate different responses to the threats from AI. Finally, we use our taxonomy to produce rough estimates of ‘P(doom)’, the probability that humanity will be destroyed by AI. (shrink)

Is knowledge justified true belief? Most philosophers believe that the answer is clearly ‘no’, as demonstrated by Gettier cases. But Gettier cases don’t obviously refute the traditional view that knowledge is justified true belief (JTB). There are ways of resisting Gettier cases, at least one of which is partly successful. Nevertheless, when properly understood, Gettier cases point to a flaw in JTB, though it takes some work to appreciate just what it is. The nature of the flaw helps us better (...) understand the nature of knowledge and epistemic justification. I propose a crucial improvement to the traditional view, relying on an intuitive and independently plausible metaphysical distinction pertaining to the manifestation of intellectual powers, which supplements the traditional components of justification, truth and belief. (shrink)

It is increasingly recognized that knowledge is the norm of assertion. As this view has gained popularity, it has also garnered criticism. One widely discussed criticism involves thought experiments about “selfless assertion.” Selfless assertions are said to be intuitively compelling examples where agents should assert propositions that they don’t even believe and, hence, don’t know. This result is then taken to show that knowledge is not the norm of assertion. This paper reports four experiments demonstrating that “selfless assertors” are viewed (...) as both believing and knowing the propositions they assert: this is the natural and intuitive way of interpreting the case. Thought experiments about selfless assertions do not threaten the knowledge account and they do not motivate weaker alternative accounts. The discussion also highlights a general lesson for philosophers: thought experiments intended to probe for mental state attributions should not conflict with basic principles that guide social cognition. (shrink)

One fairly common view about practical reason has it that whether you have a reason to act is not determined by what you know, or believe, or are justified in believing. Your reasons are determined by the facts. Perhaps there are two kinds of reasons, and however it goes with motivating reasons, normative reasons are determined by the facts, not your take on the facts. One fairly common version of this view has it that what's reasonable for you to do (...) is determined by what you know or believe. Any view that drives this kind of wedge between reasons and rationality is inherently unstable. I argue against this view, criticize the arguments typically presented in its favor, and sketch an alternative. (shrink)

This article accomplishes two closely connected things. First, it refutes an influential view about the relationship between perception and knowledge. In particular, it demonstrates that perceiving does not entail knowing. Second, it leverages that refutation to demonstrate that knowledge is not the most general factive propositional attitude.

Most properties have comparatives, which are relations. For instance, the property of width has the comparative relation denoted by `_ is wider than _'. Let us say a property is reducible to its comparative if any statement that refers to the property has the same meaning as another statement that refers to the comparative instead. Width is not reducible to its comparative. To be sure, many statements that refer to width are reducible: for instance, `The Mississippi is wide' means the (...) same as `The Mississippi is wider than most rivers'. But some statements that refer to width are not reducible: for instance, `Electrons have zero width' is not. A property is not reducible to its comparative if it has absolute degrees, and specifically an absolute zero. A property's comparative relation places things in an order from those that have the property least to those that have it most. If there is an absolute zero point somewhere in this ordering, the property is not reducible to its comparative. For width, there is an absolute zero at one end of the ordering, so width is not reducible. The property of goodness is reducible to its comparative, betterness. In particular, there is no absolute zero of goodness. Things are ordered by betterness – some things are better than others – but nothing is absolutely good or absolutely bad. This is an exaggeration. In certain applications, goodness does have absolute degrees of a sort, and an absolute zero. For instance, it makes sense to say an event is good, and another event bad. These are absolute degrees of a sort, but they are themselves reducible to betterness. To say an event is good simply means the event is better than what would otherwise have happened. The goodness of lives has a different sort of absolute zero. Lives are ordered by betterness; some lives are better than others. We can make sense of the question `Where in this ordering is the division between lives that are good and those that are bad?' The division between good and bad lives is again reducible to betterness. To say a person's life is good means it is better that the person should continue living, rather than that she should die. Or it may mean it is better that her life should be lived rather than that it should never have been lived at all. As it is often put: a good life is a life worth living. Derek Parfit appears to attach a different sense to the idea of a good life. He appears to mean a life that contains a preponderance of good things (such as pleasure) over bad things (such as pain). If a life contains no good things and no bad things, it has zero goodness in this sense. In this sense, absolute goodness and the absolute zero of goodness are not reducible to betterness. However, this is a naturalistic sense of goodness, and it is subject to the open-question objection. If a life contains no good things and no bad things, it is an open question whether it has zero goodness. It might, for instance, be a bad thing that this life should be lived. In discussing the evil of death, some philosophers seem to have been searching for an absolute goodness that is not reducible to betterness. Thomas Nagel speaks of an asymmetry between what is good about life and what is bad about death. But if a person's life is good, that only means it would be better that she should continue living than that she should die. And if a person's death would be bad, that only means it would be worse that she should die than that she should continue living. So there can be no asymmetry. (shrink)

According to G.E.M. Anscombe, an agent’s knowledge of his own intentional actions differs from his knowledge of his unintended behaviors as well as the knowledge others can have of what he intentionally does, in being secured “without observation”. I begin by posing a problem for any conception of this theory according to which non-observational knowledge must be independent of sense-perception, and criticize several recent attempts to get around the problem. Having done this, I develop an alternative account of non-observational knowledge (...) according to which its special character consists in the particular causal role of an agent’s self-awareness in bringing his intentional actions about. (shrink)

The A-theory and the B-theory advance competing claims about how time is grounded. The A-theory says that A-facts are more fundamental in grounding time than are B-facts, and the B-theory says the reverse. We argue that whichever theory is true of the actual world is also true of all possible worlds containing time. We do this by arguing that time is uniquely groundable: however time is actually grounded, it is necessarily grounded in that way. It follows that if either the (...) A-theory or the B-theory is actually false, then it is necessarily false. (shrink)

Replicating or exceeding human intelligence, not just in particular domains but in general, has always been a major goal of Artificial Intelligence (AI). We argue here that “human intelligence” is not only ill-defined, but often conflated with broader aspects of human psychology. Standard arguments for replicating it are morally unacceptable. We then suggest a reframing: that the proper goal of AI is not to replicate humans, but to complement them by creating diverse intelligences capable of collaborating with humans. This goal (...) renders issues of theory of mind, empathy, and caring, or community engagement, central to AI. It also challenges AI to better understand the circumstances in which human intelligence, including human moral intelligence, fails. (shrink)

Plato is associated with the idea that the body holds us back from knowing ultimate reality and so we should try to distance ourselves from its influence. This sentiment appears is several of his dialogues including Theaetetus where the flight from the physical world is compared to becoming like God. In some major dialogues of Plato's later career such as Philebus and Laws, however, the idea of becoming like God takes a different turn. God is an intelligent force that tries (...) to create order in the physical world. I argue that likeness to God in these dialogues involves imitating God's effort by trying to order our bodies, souls, and societies as intelligence directs. Becoming like Plato's God is not to abandon the world. It is to improve it. (shrink)

In this paper I refute the chief arguments for cultural relativism, meaning the moral (not the descriptive) theory that goes by that name. In doing this I walk some oft-trodden paths, but I also break new ones. For instance, I take unusual pains to produce an adequate formulation of cultural relativism, and I distinguish that thesis from the relativism of present-day anthropologists, with which it is often conflated. In addition, I address not one or two, but eleven arguments for cultural (...) relativism, many of which contribute to its popularity but receive scant attention from its critics. To elicit the failings of these arguments I deploy a host of pertinent but often neglected distinctions. (shrink)

Spinoza's causal axiom is at the foundation of the Ethics. I motivate, develop and defend a new interpretation that I call the ‘causally restricted interpretation’. This interpretation solves several longstanding puzzles and helps us better understand Spinoza's arguments for some of his most famous doctrines, including his parallelism doctrine and his theory of sense perception. It also undermines a widespread view about the relationship between the three fundamental, undefined notions in Spinoza's metaphysics: causation, conception and inherence.

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

There is a growing sense of unease around algorithmic modes of governance ('algocracies') and their impact on freedom. Contrary to the emancipatory utopianism of digital enthusiasts, many now fear that the rise of algocracies will undermine our freedom. Nevertheless, there has been some struggle to explain exactly how this will happen. This chapter tries to address the shortcomings in the existing discussion by arguing for a broader conception/understanding of freedom as well as a broader conception/understanding of algocracy. Broadening the focus (...) in this way enables us to see how algorithmic governance can be both emancipatory and enslaving, and provides a framework for future development and activism around the creation of this technology. (shrink)

There are two different ways of understanding alienation: as a condition and as a struggle. On this distinction turns the whole theory and practice of Marxism.

(for Adam Morton's half) I argue that if we take the values of persons to be ordered in a way that allows incomparability, then the problems Broome raises have easy solutions. In particular we can maintain that creating people is morally neutral while killing them has a negative value.

It is sometimes asked whether virtue ethics can be assimilated by Kantianism or utilitarianism, or if it is a distinct position. A look atAristotle’s ethics shows that it certanly can be distinct. In particular, Aristotle presents us with an ethics of aesthetics in contrast to themore standard ethics of cognition: A virtuous agent identifies the right actions by their aesthetic qualities. Moreover, the agent’s concernwith her own aesthetic character gives us a key to the important role the emotions play for (...) Aristotle, which further distinguishes him from the other two theories we have mentioned. (shrink)

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...) contextualism, and pluralism. Besides the new spirit there have been quiet developments in logic and its history and philosophy that could radically improve logic teaching. This lecture expands points which apply equally well in first, second, and third courses, i.e. in “critical thinking”, “deductive logic”, and “symbolic logic”. (shrink)

The outlines of a novel, fully naturalistic theory of perception are provided, that can explain perception of an object X by organism Z in terms of reflexive causality. On the reflexive view proposed, organism Z perceives object or property X just in case X causes Z to acquire causal dispositions reflexively directed back upon X itself. This broadly functionalist theory is potentially capable of explaining both perceptual representation and perceptual content in purely causal terms, making no use of informational concepts. (...) However, such a reflexive, naturalistic causal theory must compete with well entrenched, supposedly equally naturalistic theories of perception that are based on some concept of information, so the paper also includes some basic logical, naturalistic and explanatory criticisms of such informational views. (shrink)

The field of machine perception is based on standard informational and computational approaches to perception. But naturalistic informational theories are widely regarded as being inadequate, while purely syntactic computational approaches give no account of perceptual content. Thus there is a significant need for a novel, purely naturalistic perceptual theory not based on informational or computational concepts, which could provide a new paradigm for mechanistic perception. Now specifically evolutionary naturalistic approaches to perception have been—perhaps surprisingly—almost completely neglected for this purpose. Arguably (...) perceptual mechanisms enhance evolutionary fitness by facilitating sensorily mediated causal interactions between an organism Z and items X in its environment. A ‘reflexive’ theory of perception of this kind is outlined, according to which an organism Z perceives an item X just in case X causes a sensory organ zi of Z to cause Z to acquire a disposition toward the very same item X that caused the perception. The rest of the paper shows how an intuitively plausible account of mechanistic perception can be developed and defended in terms of the reflexive theory. Also, a compatibilist option is provided for those who wish to preserve a distinct informational concept of perception. (shrink)

Recent attempts to answer ontological questions through conceptual analysis have been controversial. Still, it seems reasonable to assume that if the existence of certain things analytically follows from sentences we already accept, then there is no further ontological commitment involved in affirming the existence of those things. More generally, it is plausible that whenever a sentence analytically entails another, the conjunction of those sentences requires nothing more of the world for its truth than the former sentence alone. In his ‘Analyticity (...) and Ontology’, Louis deRosset tries to produce counterexamples to these principles by means of linguistic stipulations. I aim to show where his arguments go wrong. (shrink)

Clearly we can perceive both objects, and various aspects or appearances of those objects. But how should that complexity of perceptual content be explained or analyzed? I argue that perceptual representations normally have a double or two level nested structure of content, so as to adequately incorporate information both about contextual aspects Y(X) of an object X, and about the object X itself. On this double content (DC) view, perceptual processing starts with aspectual data Y?(X?) as a higher level of (...) content, which data does not itself provide lower level X-related content, but only an aspectually encoded form of such data. Hence the relevant perceptual data Y?(X?) must be. (shrink)

The key problem for normative (or moral) cultural relativism arises as soon as we try to formulate it. It resists formulations that are (1) clear, precise, and intelligible; (2) plausible enough to warrant serious attention; and (3) faithful to the aims of leading cultural relativists, one such aim being to produce an important alternative to moral universalism. Meeting one or two of these conditions is easy; meeting all three is not. I discuss twenty-four candidates for the label "cultural relativism," showing (...) that not one meets all three conditions. In the end I conclude that cultural relativists have produced nothing that threatens universalism. (shrink)

The category of works of fiction is a very broad and heterogeneous one. I do have a general thesis in mind about such works, namely, that they themselves are fictional, in much the same way as are the fictional events or entities that they are about. But a defense of such a broad thesis would provide an intractably complex topic for an introductory essay, so I shall here confine myself to a presentation of a similar thesis for narrative theatrical works (...) or plays, performances of which are naturally regarded as involving, or evoking, a “fictional world” whose fictional characters and events are what the work in question is about. Another reason for initially focusing on such narrative plays is because performances of them provide a rich source of epistemic issues about evidence for artistic authenticity or correctness of artworks, which will turn out to be of integral importance to my fictionalist account of plays. (shrink)

What is the relation between a perceptual experience of an object X as being red, and one's belief, if any, as to the nature of that experience? A traditional Cartesian view would be that, if indeed object X does seem to be red to oneself, then one's resulting introspective belief about it could only be a _conforming _belief, i.e., a belief that X perceptually seems to be _red _to oneself--rather than, for instance, a belief that X perceptually seems to be (...) green to oneself instead. On such a Cartesian view, our introspective certainly about our own thoughts extends also to our perceptual experiences as to how things seem to be to us, so that our resulting introspective beliefs about our phenomenal states also count as knowledge of them. (shrink)

This work treats the correlative concepts knowledge and opinion, in various senses. In all senses of ‘knowledge’ and ‘opinion’, a belief known to be true is knowledge; a belief not known to be true is opinion. In this sense of ‘belief’, a belief is a proposition thought to be true—perhaps, but not necessarily, known to be true. All knowledge is truth. Some but not all opinion is truth. Every proposition known to be true is believed to be true. Some but (...) not every proposition believed to be true is known to be true. Our focus is thus on propositional belief (“belief-that”): the combination of propositional knowledge (“knowledge-that”) and propositional opinion (“opinion-that”). Each of a person’s beliefs, whether knowledge or opinion, is the end result of a particular thought process that continued during a particular time interval and ended at a particular time with a conclusive act—a judgment that something is the case. This work is mainly about beliefs in substantive informative propositions—not empty tautologies. We also treat objectual knowledge (knowledge of objects in the broadest sense, or “knowledge-of”), operational knowledge (abilities and skills, “knowledge-how-to”, or “know-how”), and expert knowledge (expertise). Most points made in this work have been made by previous writers, but to the best of our knowledge, they have never before been collected into a coherent work accessible to a wide audience. -/- Key words: belief, knowledge/opinion, propositional, operational, objectual, cognition, . (shrink)

The debate over the merits of originalism has advanced considerably in recent years, both in terms of its intellectual sophistication and its practical significance. In the process, some prominent originalists—Lawrence Solum and Jeffrey Goldsworthy being the two discussed here—have been at pains to separate out the linguistic and normative components of the theory. For these authors, while it is true that judges and other legal decision-makers ought to be originalists, it is also true that the communicated content of the constitution (...) is its original meaning. That is to say: the meaning is what it is, not what it should be. Accordingly, there is no sense in which the communicated content of the constitution is determined by reference to moral desiderata; linguistic desiderata do all the work. In this article, I beg to differ. In advancing their arguments for linguistic originalism, both authors rely upon the notion of successful communications conditions. In doing so they implicitly open up the door for moral desiderata to play a role in determining the original communicated content. This undercuts their claim and changes considerably the dialectical role of linguistic originalism in the debate over constitutional interpretation. (shrink)

This paper corrects a mistake I saw students make but I have yet to see in print. The mistake is thinking that logically equivalent propositions have the same counterexamples—always. Of course, it is often the case that logically equivalent propositions have the same counterexamples: “every number that is prime is odd” has the same counterexamples as “every number that is not odd is not prime”. The set of numbers satisfying “prime but not odd” is the same as the set of (...) numbers satisfying “not odd but not not-prime”. The mistake is thinking that every two logically-equivalent false universal propositions have the same counterexamples. Only false universal propositions have counterexamples. A counterexample for “every two logically-equivalent false universal propositions have the same counterexamples” is two logically-equivalent false universal propositions not having the same counterexamples. The following counterexample arose naturally in my sophomore deductive logic course in a discussion of inner and outer converses. “Every even number precedes every odd number” is counterexemplified only by even numbers, whereas its equivalent “Every odd number is preceded by every even number” is counterexemplified only by odd numbers. Please let me know if you see this mistake in print. Also let me know if you have seen these points discussed before. I learned them in my own course: talk about learning by teaching! (shrink)

Are universities justified in trying to regulate student use of cognitive enhancing drugs? In this article I argue that they can be, but that the most appropriate kind of regulatory intervention is likely to be voluntary in nature. To be precise, I argue that universities could justifiably adopt a commitment contract system of regulation wherein students are encouraged to voluntarily commit to not using cognitive enhancing drugs. If they are found to breach that commitment, they should be penalized by, for (...) example, forfeiting a number of marks on their assessments. To defend this model of regulation, I adopt a recently-proposed evaluative framework for determining the appropriateness of enhancement in specific domains of activity, and I focus on particular existing types of cognitive enhancement drugs, not hypothetical or potential forms. In this way, my argument is tailored to the specific features of university education, and common patterns of usage among students. It is not concerned with the general ethical propriety of using cognitive enhancing drugs. (shrink)

In this article I contrast 17th and 18th explanations of hysteria including those of Sydenham and Willis with those given by Plato and pre-modern medicine. I show that beginning in the second decade of the 17th century the locus of the disorder was transferred to the nervous system and it was no longer connected with the womb as in Hippocrates and Galen; hysteria became identified with hypochondria, and was a disease contracted by men as well as women. I discuss the (...) purely mechanical explanation of hysteria given by Robert Boyle who attributed its cause to corporeal ideas as well as overly sensitive disposition of the nervous system. I relate this the mechanical theory of the nervous system prominent in Descartes' writings on physiology. The paper closes with a discussion of the contrast between early modern explanations of hysteria and the nature of man with those of Freud in the early 20th century. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...) of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...) paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

This article argues that Rousseau's endorsement of male domination and his illiberal views of rape, punishment and the education of women have been seriously underestimated by twentieth century commentators who tend to produce expoisitions of his work that evade, ignore or marginalise this 'darker side' of his educational philosophy.

In its strongest, unqualified form the principle of wholistic reference is that each and every proposition refers to the whole universe of discourse as such, regardless how limited the referents of its non-logical or content terms. Even though Boole changed from a monistic fixed-universe framework in his earlier works of 1847 and 1848 to a pluralistic multiple-universe framework in his mature treatise of 1854, he never wavered in his frank avowal of the principle of wholistic reference, possibly in a slightly (...) weaker form. Indeed, he took it as an essential accompaniment to his theory of concept formation and proposition formation. Similar views are found in later logicians, and some of the most recent formulations of standard, one-sorted first-order logic seem to be in accord with a form of it, if they do not actually imply the principle itself. (shrink)

Utilitarian (U.) theories must be capable of being applied in practical reasoning, or they would have no value as a guide to rational conduct. However, I show that epistemic extensions to U. theories produce logical confusion. Basic questions about what one needs to know in order to apply a U. analysis embroil one in an infinite regress. And attempts to incrementally apply U. either are no help at all (leaving one entirely 'in the dark'), or in general constitute arbitrary gambles (...) which no practical reasoner could defend taking. These problems are serious enough to completely discredit U. theories as having any relevance to practical reasoning. (shrink)