Corcoran, J. 2005. Counterexamples and proexamples. Bulletin of Symbolic Logic 11(2005) 460. -/- John Corcoran, Counterexamples and Proexamples. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: [email protected] Every perfect number that is not even is a counterexample for the universal proposition that every perfect number is even. Conversely, every counterexample for the proposition “every perfect number is even” is a perfect number that is not even. Every perfect number that is odd is a proexample for the existential proposition (...) that some perfect number is odd. Conversely, every proexample for the proposition “some perfect number is odd” is a perfect number that is odd. As trivial these remarks may seem, they can not be taken for granted, even in mathematical and logical texts designed to introduce their respective subjects. One well-reviewed book on counterexamples in analysis says that in order to demonstrate that a universal proposition is false it is necessary and sufficient to construct a counterexample. It is easy to see that it is not necessary to construct a counterexample to demonstrate that the proposition “every true proposition is known to be true” is false–necessity fails. Moreover the mere construction of an object that happens to be a counterexample does not by itself demonstrate that it is a counterexample–sufficiency fails. In order to demonstrate that a universal proposition is false it is neither necessary nor sufficient to construct a counterexample. Likewise, of course, in order to demonstrate that an existential proposition is true it is neither necessary nor sufficient to construct a proexample. This article defines the above relational concepts of counterexample and of proexample, it discusses their surprising history and philosophy, it gives many examples of uses of these and related concepts in the literature and it discusses some of the many errors that have been made as a result of overlooking the challenging subtlety of the proper use of these two basic and indispensable concepts. (shrink)

The author considers the model-theoretic character of proofs and disproofs by means of attempted counterexample constructions, distinguishes this proof format from formal derivations, then contrasts two approaches to semantic tableaux proposed by Beth and Lambert-van Fraassen. It is noted that Beth's original approach has not as yet been provided with a precisely formulated rule of closure for detecting tableau sequences terminating in contradiction. To remedy this deficiency, a technique is proposed to clarify tableau operations.

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. The idea is (...) that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)

This paper calls for a re-appraisal of McGee's analysis of the semantics, logic and probabilities of indicative conditionals presented in his 1989 paper Conditional probabilities and compounds of conditionals. The probabilistic measures introduced by McGee are given a new axiomatisation built on the principle that the antecedent of a conditional is probabilistically independent of the conditional and a more transparent method of constructing such measures is provided. McGee's Dutch book argument is restructured to more clearly reveal that it introduces a (...) novel contribution to the epistemology of semantic indeterminacy, and shows that its more controversial implications are unavoidable if we want to maintain the Ramsey Test along with the standard laws of probability. Importantly, it is shown that the counterexamples that have been levelled at McGee's analysis|generating a rather wide consensus that it yields `unintuitive' or `wrong' probabilities for compounds |fail to strike at their intended target; for to honour the intuitions of the counterexamples one must either give up the Ramsey Test or the standard laws of probability. It will be argued that we need to give up neither if we take the counterexamples as further evidence that the indicative conditional sometimes allows for a non-epistemic `causal' interpretation alongside its usual epistemic interpretation. (shrink)

In their (2008) article Liar-Like Paradox and Object Language Features C.S. Jenkins and Daniel Nolan (henceforth, JN) argue that it is possible to construct Liar-like paradox in a metalanguage even though its object language is not semantically closed. I do not take issue with this claim. I find fault though with the following points contained in JN’s article: First, that it is possible to construct Liar-like paradox in a metalanguage, even though this metalanguage is not semantically closed. Second, that the (...) presented examples of Liar-like paradox are supposed to be counterexamples to Tarski’s diagnosis of the classic Liar paradox. Third, that JN fail to notice Tarski’s postulate. And finally, that JN fail to recognize that the world they are pondering is not among the possible worlds. (shrink)

In Truth and Objectivity, Crispin Wright argues that because truth is a distinctively normative property, it cannot be as metaphysically insubstantive as deflationists claim.1 This argument has been taken, together with the scope problem,2 as one of the main motivations for alethic pluralism.3 We offer a reconstruction of Wright’s Inflationary Argument (henceforth IA) aimed at highlighting what are the steps required to establish its inflationary conclusion. We argue that if a certain metaphysical and epistemological view of a given subject matter (...) is accepted, a local counterexample to IA can be constructed. We focus on the domain of basic taste and we develop two variants of a subjectivist and relativist metaphysics and epistemology that seems palatable in that domain. Although we undertake no commitment to this being the right metaphysical cum epistemological package for basic taste, we contend that if the metaphysics and the epistemology of basic taste are understood along these lines, they call for a truth property whose nature is not distinctively normative—contra what IA predicts. This result shows that the success of IA requires certain substantial metaphysical and epistemological principles and that, consequently, a proper assessment of IA cannot avoid taking a stance on the metaphysics and the epistemology of the domain where it is claimed to be successful. Although we conjecture that IA might succeed in other domains, in this paper we don’t take a stand on this issue. We conclude by briefly discussing the significance of this result for the debate on alethic pluralism. (shrink)

This paper offers a reading of Beauvoir’s Second Sex as a genealogy of ‘morality’: the patriarchal system of values that maintains a moral distinction between men and women. This value system construes many of women’s experiences under oppression as evidence of women’s immorality, obscuring the agential role of those who provoke such experiences. Beauvoir’s examination of the origin for this value system provides an important counterexample to the prevailing debate over whether genealogical method functions to debunk or to vindicate: (...) while the currently dominant moral system may have been historically necessary at certain stages in human development, Beauvoir nevertheless debunks it; only the value system itself now remains, without its precipitating needs. Thus, Beauvoir’s critique reveals what I call the moral unintelligibility of women’s experiences of oppression: women encounter difficulty in making sense of the harms wrought against them because the operative value system obscures them as harms in the first place, instead construing women themselves as immoral. Against the prevailing construction of moral blame and responsibility, Beauvoir’s solution is the political virtue of moral invention, a virtue epistemic as well as moral, collective as well as individual. (shrink)

It was something of a dogma for much of the twentieth century that one cannot validly derive an ought from an is. More generally, it was held that non-normative propositions do not entail normative propositions. Call this thesis about the relation between the natural and the normative Natural-Normative Autonomy. The denial of Autonomy involves the entanglement of the natural with the normative. Naturalism entails entanglement—in fact it entails the most extreme form of entanglement—but entanglement does not entail naturalism. In a (...) ground-breaking paper “The autonomy of ethics” Arthur Prior constructed some intriguing counterexamples to Autonomy. While his counterexamples have convinced few, there is little agreement on what is wrong with them. I present a new analysis of Autonomy, one which is grounded in a general and independently plausible account of subject matters. While Prior’s arguments do establish shallow natural-normative entanglement, this is a consequence of simple logical relationships that hold between just about any two subject matters. It has nothing special to do with the logical structure of normativity or its relation to the natural. Prior’s arguments leave the fundamental idea behind natural-normative Autonomy intact. I offer a new argument for deep entanglement. I show that in any framework adequate for dealing with the natural and the normative spheres, a purely natural proposition entails a purely normative proposition, and vice-versa. But this is no threat to non-naturalist moral realism. In fact it helps ameliorate the excesses of an extreme non-naturalism, delivering a more palatable and plausible position. (shrink)

Cases of past absence involve agents noticing in retrospect that an object or property was absent, such as when one notices later that a colleague was not at a talk. In Sanskrit philosophy, such cases are introduced by Kumārila as counterexamples to the claim that knowledge of absence is perceptual, but further take on a life of their own as a topic of inquiry among Kumārila’s commentators and their Nyāya interlocutors. In this essay, I examine the Nyāya philosopher Gaṅgeśa’s epistemology (...) of past absence, according to which agents learn that a recollectable object or property was absent by inferring its past absence from failing to recall that object or property. Gaṅgeśa’s account is best appreciated against the backdrop of earlier theories and their shortcomings, and I begin by presenting historical views leading up to his. I identify two groups of views about the epistemology of past absence: recollection views, according to which cases of past absence involve agents recalling negative information; and recollection failure views, according to which cases of past absence involve agents failing to recall positive information. I reconstruct two early recollection views: a Bhāṭṭa view belonging to Uṃveka, and a competing Nyāya view belonging to Jayanta and Bhāsarvajña. I then examine Śālikanātha and Sucarita’s critiques of recollection views, following which I reconstruct a Bhāṭṭa recollection failure view belonging to Pārthasārathi. I then examine Gaṅgeśa’s critiques of Pārthasārathi’s account and the recollection failure view he constructs out of its shortcomings. (shrink)

The Successive Addition Argument (SAA) is one of the key arguments espoused by William Lane Craig for the thesis that the universe began to exist. Recently, Malpass, Mind, 131(523), 786–804 (2021) has developed a challenge to the SAA by way of constructing a counterexample that originates in the work of Fred Dretske. In this paper, I show that the Malpass-Dretske counterexample is in fact no counterexample to the argument. Utilizing a distinction between properties of members and properties (...) of collections, I argue that Malpass’ counterexample has no bearing on the soundness of the SAA. I also develop a novel parity argument against Malpass’ argument that I demonstrate can only be resolved by way of the aforementioned analysis. (shrink)

Some defenders of the principle of alternative possibilities (PAP) have responded to the challenge of Frankfurt-style counterexamples (FSCs) to PAP by arguing that there remains a flicker of freedom -- that is, an alternative possibility for action -- left to the agent in FSCs. I argue that the flicker of freedom strategy is unsuccessful. The strategy requires the supposition that doing an act-on-one''s-own is itself an action of sorts. I argue that either this supposition is confused and leads to counter-intuitive (...) results; or, if the supposition is acceptable, then it is possible to use it to construct a FSC in which there is no flicker of freedom at all. Either way, the flicker of freedom strategy is ineffective against FSCs. Since the flicker of freedom strategy is arguably the best defense of PAP, I conclude that FSCs are successful in showing that PAP is false. An agent can act with moral responsibility without having alternative possibilities available to her. (shrink)

In this paper, I defend the thesis that knowledge is the norm of assertion. I first examine three prominent “counterexamples”: false assertion, selfless assertion, and assertion based on mere justified true belief. I argue that they all fail to square well with our ordinary intuitions. However, the contemporary debate over the norm of assertion depends heavily on the method of counterexamples, whose crux is to prompt our intuitions regarding the appropriateness (or inappropriateness) of a certain kind of assertions. This method (...) has its limits as sometimes the debate simply boils down to a clash of intuitions. I think we can do better. In the second part of the paper, I construct a positive argument for the knowledge norm, showing that the knowledge norm can be derived from the general account of the conversational role of assertion. I argue that in order for assertion to play the role it plays in conversation, the knowledge norm must hold. (shrink)

I discuss Frege's argument - later called the slingshot - that if a construction is extensional and preserves logical equivalence then it is truth-functional. I consider some simple apparent counterexamples and conclude that they are not sentence-embedding in the required way.

Daniel Whiting has argued, in this journal, that Mark Schroeder’s analysis of knowledge in terms of subjectively and objectively sufficient reasons for belief makes wrong predictions in fake barn cases. Schroeder has replied that this problem may be avoided if one adopts a suitable account of perceptual reasons. I argue that Schroeder’s reply fails to deal with the general worry underlying Whiting’s purported counterexample, because one can construct analogous potential counterexamples that do not involve perceptual reasons at all. Nevertheless, (...) I claim that it is possible to overcome Whiting’s objection, by showing that it rests on an inadequate characterization of how defeat works in the examples in question. (shrink)

The branching time analysis grounds the possibilities entailed by temporal indeterminism in a branching temporal structure. I construct a spatial analog of the branching time analysis – the branching space analysis – according to which the possibilities entailed by spatial indeterminism are grounded in branching spatial structure. The construction proceeds in such a way as to show the analogies between the branching space and branching time analyses. I argue that the two views are a package. In particular: the theoretical virtues (...) of the one are theoretical virtues of the other and so if one ought to be accepted, then the other should also be accepted. And: if one ought to be denied, then the other ought to be denied as well. Thus, the branching space analysis functions either as a counterexample to the reductive strategy embodied in the branching time analysis or as a reasonable extension of it – as a lesson learned from it. (shrink)

Hume held that we have no rational justification for our inductive beliefs. A more radical view is that we have no rational justification for any of our beliefs. This dissertation has two goals pertaining to this more radical view. // The first goal is to find a basis for constructive epistemology that is consistent with this view. This goal is first sought by considering externalist theories of knowledge since these do not require rational justification for knowledge. Externalist theories are defended (...) against the usual objections, partly via a strategy of immunizing them from counterexample-based objections by arguing that epistemologies can be successful even if they fail to explicate ordinary epistemic notions. But a new objection to externalist theories is then brought to light. The objection begins as an attack against a dogma of contemporary epistemology, that the chief benefit of possessing knowledge is having a true belief. It is argued that there are many other benefits to having knowledge , and that externalist theories are defective because externalist knowledge lacks these benefits. A mixed internalist/externalist theory, bilevel reliabilism, is then presented as a solution to this difficulty. //The second goal is to provide an explanation of the function and origin of human epistemic practices that is consistent with the no-rational-justification view. Providing such an explanation is problematic for holders of this view because, if it is correct, it seems, prima facie, that there is no reason to have epistemic practices. This goal is achieved by arguing that epistemic practices, despite appearing to have rational justification as their goal, chiefly function to promote the existence of bilevel reliabilist knowledge, a very useful type of belief that is not rationally justified. It is then argued that the explanation of the origin of epistemic practices is that they arise from natural human inductive tendencies. (shrink)

One strategy in recent discussions of theological fatalism is to draw on Harry Frankfurt’s famous counterexamples to the principle of alternate possibilities (PAP) to defend human freedom from divine foreknowledge. For those who endorse this line, “Frankfurt counterexamples” are supposed to show that PAP is false, and this conclusion is then extended to the foreknowledge case. This makes it critical to determine whether Frankfurt counterexamples perform as advertised, an issue recently debated in this journal via a pair of articles by (...) David Widerker and John Martin Fischer. I suggest that this debate can be avoided: divine foreknowledge is itself aparadigmatic counterexample to PAP, requiring no support from suspect Frankfurt counterexamples. (shrink)

Most ordinary folks think that there are ordinary objects such as trees and frogs. They do not think there are extraordinary objects such as the mereological sum of trees and frogs, as the permissivist does. Nor do they deny the existence of ordinary composite objects such as tables, as the eliminativist does. In his recent book, Objects: Nothing Out of the Ordinary, Korman positions himself alongside ordinary folk. He deftly defends the common sense view of ordinary objects, and argues against (...) the permissivist and eliminativist. One of the ways he does this is by launching what he calls ‘arguments from counterexample’. In this paper, I focus on the dialectical effectiveness of such arguments generally. I discuss whether and how we might sometimes be justified in using arguments from counterexample and commonsense in philosophical debate, even if they appear to be (or are) question-begging. I conclude that, given some of Korman’s other commitments, there is little reason for his opponents to take his arguments from counterexample seriously. (shrink)

The essay presents a novel counterexample to Causal Decision Theory (CDT). Its interest is that it generates a case in which CDT violates the very principles that motivated it in the first place. The essay argues that the objection applies to all extant formulations of CDT and that the only way out for that theory is a modification of it that entails incompatibilism. The essay invites the reader to find this consequence of CDT a reason to reject it.

According to a bedrock assumption in the current methodology of armchair philosophy, we may refute a theory aiming at analyzing a concept by providing a counterexample in which it intuitively seems that a hypothetical or real situation does not fit with what the theory implies. In this paper, we shall argue that this assumption is at most either untenable or otherwise useless in bringing about what is commonly expected from it.

A symposium on my *Objects: Nothing Out of the Ordinary* (2015). In response to Wallace, I attempt to clarify the dialectical and epistemic role that my arguments from counterexamples were meant to play, I provide a limited defense of the comparison to the Gettier examples, and I embrace the comparison to Moorean anti-skeptical arguments. In response to deRosset, I provide a clearer formulation of conservatism, explain how a conservative should think about the interaction between intuition and science, and discuss what (...) conservatives should say about scattered territories, clonal colonies, and arbitrary systems. In response to Tillman and Spencer, I fortify my original presentation of the debunking arguments by clarifying why, even while trees (if they exist) are paradigmatically causal, conservatives are meant to be rationally obstructed from believing that it is trees that are causing our tree beliefs. (shrink)

Derek Parfit argues that everyone ought to follow the principles whose universal acceptance would make things go best. I present a counterexample: a world in which no one's moral beliefs have any motivating force. I explain how Parfit's metaethical commitments imply that such a world is possible, and why this possibility is a problem for Parfit's project of reconciling Kantianism, contractualism, and consequentialism. I consider two of Parfit's responses to my counterexample.

Kopec and Titelbaum collect five alleged counterexamples to Uniqueness, the thesis that it is impossible for agents who have the same total evidence to be ideally rational in having different doxastic attitudes toward the same proposition. I argue that four of the alleged counterexamples fail, and that Uniqueness should be slightly modified to accommodate the fifth example.

We provide counterexamples to some purported characterizations of dilation due to Pedersen and Wheeler :1305–1342, 2014, ISIPTA ’15: Proceedings of the 9th international symposium on imprecise probability: theories and applications, 2015).

I present two counterexamples to the recently back-in-favour truth-tracking account of knowledge: one involving a true belief resting on a counterfactually robust delusion, one involving a true belief acquired alongside a bunch of false beliefs. These counterexamples carry over to a recent modification of the theory due to Briggs and Nolan (2012), and seem invulnerable to a recent defence of the theory against known counterexamples, by Adams and Clarke (2005).

Years ago, when I was an undergraduate math major at the University of Wyoming, I came across an interesting book in our library. It was a book of counterexamples t o propositions in real analysis (the mathematics of the real numbers). Mathematicians work more or less like the rest of us. They consider propositions. If one seems to them to be plausibly true, then they set about to prove it, to establish the proposition as a theorem. Instead o f setting (...) out to prove propositions, the psychologists, neuroscientists, and other empirical types among us, set out to show that a proposition is supported by the data, and that it is the best such proposition so supported. The philosophers among us, when they are not causing trouble by arguing that AI is a dead end or that cognitive science can get along without representations, work pretty much like the mathematicians: we set out to prove certain propositions true on the basis of logic, first principles, plausible assumptions, and others' data. But, back to the book of real analysis counterexamples. If some mathematician happened t o think that some proposition about continuity, say, was plausibly true, he or she would then set out to prove it. If the proposition was in fact not a theorem, then a lot of precious time would be wasted trying to prove it. Wouldn't it be great to have a book that listed plausibly true propositions that were in fact not true, and listed with each such proposition a counterexample to it? Of course it would. (shrink)

In a recent paper, Breckenridge and Magidor argue for an interesting and counterintuitive account of instantial reasoning. According to this account, in arguments such as one beginning with 'There is some x such that x is mortal. Let O be such an x. ...', the 'O' refers to a particular object, although we cannot know which. I give and defend a simple counterexample involving the notion of an unreferred-to object.

This paper considers five counterexamples to Mary Douglas's definition of dirt, one of which is extracted from a scene from George Eliot's novel Middlemarch and another from Marilyn Strathern's essay on anthropology at home.

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a priori. (...) Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus. (shrink)

In a recent paper, Tristan Haze offers two examples that, he claims, are counterexamples to Nozick's Theory of Knowledge. Haze claims his examples work against Nozick's theory understood as relativized to belief forming methods M. We believe that they fail to be counterexamples to Nozick's theory. Since he aims the examples at tracking theories generally, we will also explain why they are not counterexamples to Dretske's Conclusive Reasons Theory of Knowledge.

The consequence argument is a salient argument in favor of incompatibilism which is the thesis that if determinism is true, then it is not the case that we have free will. In a nutshell, the consequence argument has it that if determinism is true, then our acts are determined by the laws of nature and events of the past. But we are neither able to change the past nor the laws of nature. Therefore, we are not able to change the (...) consequences of them. This short paper consists of two main sections. In the first section, I will explain the consequence argument and rule β. In addition, in the second section of the paper, I will introduce the no matter what interpretation which was suggested by Huemer (2000). Moreover, I will offer a counterexample to rule β∗ and α∗. (shrink)

Niche construction is a concept that captures a wide array of biological phenomena, from the environmental effects of metabolism to the creation of complex structures such as termite mounds and beaver dams. A central point in niche construction theory is that organisms do not just passively undergo developmental, ecological, or evolutionary processes, but are also active participants in them Evolution: From molecules to men, Cambridge University Press, Cambridge, 1983; Laland KN, Odling-Smee J, Feldman MW, In: KN Laland and T Uller (...) Evolutionary causation: Biological and philosophical reflections, MIT Press, Cambridge, MA, 2019). In this paper, we distinguish between two fundamentally different ways in which organisms are active participants: as agents and as contributors. Roughly, organisms act as agents when niche constructing effects are a result of a goal-directed behavior over which the organisms have some degree of control. Organisms act as contributors when the niche constructing effects do not arise from a goal to perform the constructive activity. As illustrative examples we discuss plants altering leaf-morphology to optimize light exposure as reported by Sultan and bacteria creating novel niches through excreting energy-rich metabolites. The difference between agential and contributional niche construction is important for understanding the different ways organisms can actively participate in development, ecology, and evolution. Additionally, this distinction can increase our understanding of how the capacity of agency is distributed across the tree of life and how agency influences developmental and evolutionary processes. (shrink)

English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with (...) Aristotle’s invalidity proofs leads to a misinterpretation of Aristotle’s intentions. The two relations expressed by these two words are drastically different—as explained in this essay. There is however a subtle overlap: Every argument that is a counterargument for a given argument is a counterexample to the universal proposition that every argument in the same form as the given argument is valid. The word ‘counterexample’ was coined in the 1800s. The word ‘counterargument’ was given this sense in the 1960s. Saying that one argument is a counterexample for another argument is bad English—taking the word ‘counterexample’ in its Standard English sense. The word ‘counterinstance’ is an exact synonym for ‘counterexample’. Which logic books define ‘counterinstance’ or ‘counterexample’? Who started using ‘counterinstance’ or ‘counterexample’ in the sense of ‘counterargument’? Did they note that they were not using the word in the Standard sense? Why did it catch on? -/- Also see: https://www.academia.edu/8840909/Argumentations_and_logic_1989_ . (shrink)

Commonsense holds that testimony transfers knowledge from a speaker to the hearer. If the speaker has knowledge, then the hearer acquires it. Call that sufficiency. And a hearer acquires knowledge only if the speaker has it to transfer. Call that necessity. This article reviews counterexamples--and some replies to those counterexamples--to both claims.

In this paper I will offer a comprehensive defense of the safety account of knowledge against counterexamples that have been recently put forward. In Sect. 2, I will discuss different versions of safety, arguing that a specific variant of method-relativized safety is the most plausible. I will then use this specific version of safety to respond to counterexamples in the recent literature. In Sect. 3, I will address alleged examples of safe beliefs that still constitute Gettier cases. In Sect. 4, (...) I will discuss alleged examples of unsafe knowledge. In Sect. 5, I will address alleged cases of safe belief that do not constitute knowledge for non-Gettier reasons. My overall goal is to show that there are no successful counterexamples to robust anti-luck epistemology and to highlight some major presuppositions of my reply. (shrink)

The aim of this paper is to bring recent work on metaphysical grounding to bear on the phenomenon of social construction. It is argued that grounding can be used to analyze social construction and that the grounding framework is helpful for articulating various claims and commitments of social constructionists, especially about social identities, e.g., gender and race. The paper also responds to a number of objections that have been leveled against the application of grounding to social construction from Elizabeth Barnes, (...) Mari Mikkola, and Jessica Wilson. (shrink)

McGee argued that modus ponens was invalid for the natural language conditional ‘If…then…’. Many subsequent responses have argued that, while McGee’s examples show that modus ponens fails to preserve truth, they do not show that modus ponens fails to preserve rational full acceptance, and thus modus ponens may still be valid in the latter informational sense. I show that when we turn our attention from indicative conditionals to subjunctive conditionals, we find that modus ponens does not preserve either truth or (...) rational full acceptance, and thus is not valid in either sense. In concluding I briefly consider how we can account for these facts. (shrink)

In a recent article, David Hunt has proposed a theological counterexample to the principle of alternative possibilities involving divine foreknowledge (G-scenario). Hunt claims that this example is immune to my criticism of regular Frankfurt-type counterexamples to that principle, as God’s foreknowing an agent’s act does not causally determine that act. Furthermore, he claims that the considerations which support the claim that the agent is morally responsible for his act in a Frankfurt-type scenario also hold in a G-scenario. In reply, (...) Icontest Hunt’s symmetry claim and also raise a worry whether, given theological fatalism, the agent’s act in a G-scenario can be deemed a free act in the libertarian sense. Finally, I offer an independent argument why in a G-scenario the agent should not regarded morally blameworthy for his act. (shrink)

This paper looks at the question of what it means for a psychological test to have construct validity. I approach this topic by way of an analysis of recent debates about the measurement of implicit social cognition. After showing that there is little theoretical agreement about implicit social cognition, and that the predictive validity of implicit tests appears to be low, I turn to a debate about their construct validity. I show that there are two questions at stake: First, what (...) level of detail and precision does a construct have to possess such that a test can in principle be valid relative to it? And second, what kind of evidence needs to be in place such that a test can be regarded as validated relative to a given construct? I argue that construct validity is not an all-or-nothing affair. It can come in degrees, because both our constructs and our knowledge of the explanatory relation between constructs and data can vary in accuracy and level of detail, and a test can fail to measure all of the features associated with a construct. I conclude by arguing in favor of greater philosophical attention to processes of construct development. (shrink)

It is an integral part of the phenomenology of mature perceptual experience that it seems to present to us an experience-independent world. I shall call this feature 'perceptual intentionality'. In this paper, I argue that perceptual intentionality is constructed by the structure of more basic sensory features, features that are not intentional themselves. This theory can explain why the same sensory feature can figure both in presentational and non-presentational experiences. There is a fundamental difference between the intentionality of sensory experiences (...) and the intentionality of thoughts: unlike the former, the latter is not constructed. (shrink)

Niche construction theory highlights the active role of organisms in modifying their environment. A subset of these modifications is the developmental niche, which concerns ecological, epistemic, social and symbolic legacies inherited by organisms as resources that scaffold their developmental processes. Since in this theory development is a situated process that takes place in a culturally structured environment, we may reasonably ask if implicit cultural biases may, in some cases, be responsible for maladaptive developmental niches. In this paper we wish to (...) argue for an affirmative answer. In order to do so, we first propose to conceptualize implicit bias as embodied perceptual habits, and then proceed to show that these habits are at least partially responsible for maladaptive developmental niches of children with Down syndrome and autism. With this framework we thus hope to bring together two fields of research that haven’t been explicitly connected: implicit bias and niche construction theory. Linking these two theories may bring benefits both to implicit bias researchers, who can extend this concept to characterize other sets of processes as biased, as well as to niche construction theorists, who will have a useful theoretical tool to diagnose maladaptive features of niches brought about by sociocultural biases. (shrink)

Constructive empiricism implies that if van Fraassen does not believe that scientific theories and his positive philosophical theories, including his contextual theory of explanation, are empirically adequate, he cannot accept them, and hence he cannot use them for scientific and philosophical purposes. Moreover, his epistemic colleagues, who embrace epistemic reciprocalism, would not believe that his positive philosophical theories are empirically adequate. This epistemic disadvantage comes with practical disadvantages in a social world.

Constructive realism (CR) is an attempt to overcome the difficulties associated with naïve realism and radical constructivism. There are different versions for CR. In this paper, I defend a particular version of CR. Complexity of reality, on the one hand, and the impact of human mind, language, and culture, on the other, leads to the inevitable contribution of constructs in knowledge development. According to the CR, even if mental, linguistic and cultural side of constructs could not be avoided in principle, (...) a certain proportion of reality-contact can be considered and defended for the constructs. In this sense, human mind and culture has a constitutive role to play in knowledge acquiring instead of being an innocent means in the process of acquiring knowledge. On the other hand, the role played by the reality in this process cannot be ignored because, according to the CR, knowledge consists after all of knowing 'something' in the real world. On the whole, taking into account both the constitutive role of mind and culture, on the one hand, and the inevitable role of the reality, on the other, shows the difference between the CR and pure realism, pure constructivism, and those versions of CR that do not take the constitutive role of mind into account. There are requirements for the CR in science education. First of all, there must be a constant caution for making sure that our scientific theories have caught the proportion of reality-contact. This point shows the difference between the CR and pure constructivism. This caution should be present in our science teaching as well. Secondly, we should encourage our students to develop imaginative alternative constructs when they are learning sciences. This shows the difference between the CR with naïve realists who ignore the importance of students' imaginations in suggesting alternative constructs. Notwithstanding, while we encourage the students to develop their imaginative constructs, there should be considered a limitation for their over-justification about their constructs. In this way, we as teachers should urge them to take counter-evidence most seriously into account. This is a point in which constructive realists are distinguished from pragmatists too. Pragmatists do not give up their theories in confrontation with counter-evidence but rather look for almost limitless changes in their constructs in order for making the counterevidence compatible with their theories, whereas constructive realists will be ready to take counterevidence more serious and correct their constructs accordingly. (shrink)

Part 1 of this exchange consists in a critique by Smith of Searle’s The Construction of Social Reality focusing on Searle’s use of the formula ‘X counts as Y in context C’. Smith argues that this formula works well for social objects such as dollar bills and presidents where the corresponding X terms (pieces of paper, human beings) are easy to identify. In cases such as debts and prices and money in a bank's computers, however, the formula fails, because these (...) are cases of what he calls ‘free-standing Y terms’, since there is here no X which can count as the corresponding Y. In his response in Part 2, Searle argues that Smith’s critique rests on three misunderstandings: 1. in wrongly presupposing that Searle is trying to analyze the nature of what he calls “social objects”, rather than of social facts; 2. in thinking that the counts as formula is intended as a definition, rather than as a mere mnemonic; and 3. in neglecting the naturalism of Searle’s account. (shrink)

Externalists argue that motivation is external to moral judgments on the grounds that people can be unmoved by their moral judgments. I reply that people sometimes act indifferently to their moral considerations not because their moral judgments lack motivation but because their moral judgments are obstructed by rival desires. It appears that the moral motivation wanes while the moral judgments linger. In reality, however, the moral motivation is only made inconspicuous by the motivation of the opposing desires. A moral judgment (...) is subject to obstruction just like an emotive judgment and a gustatory judgment. (shrink)

Usually, modular construction involves the off-site manufacturing of standard building components in a factory before the components are assembled on the construction site. It is common to use terms like "prefabrication," "off-site construction," and "modular construction" interchangeably. The construction of modular constructions nowadays is flourishing all over the globe. The roots of the Albanian prefabricated constructions are extended for the first time around the 1970s. This paper will indeed analyze some recently built modular construction in Albania, considering and (...) comparing it with international case studies. The demand for new construction in Albania is rising rapidly. Currently, the most common structures are cast-in-place beam-column designs, driven by both traditional mindsets and industrial capabilities. However, with Albania's economic growth, there is an increasing need for affordable, quickly built, and technologically advanced buildings. Modular construction, which assembles prefabricated modules on-site, offers a solution. This method aligns with bioclimatic design principles, reducing environmental impact and optimizing resources, marking a shift toward sustainability in the construction industry. The purpose of this article is to explore the potential integration of “modular construction techniques” with “bioclimatic design concepts” to create buildings that are environmentally friendly, energy-efficient, and multipurpose by function. This study explores the use of modular construction techniques in conjunction with bioclimatic techniques to increase “building sustainability”. Combining these tactics encourages energy efficiency and a reduced environmental effect, making people far more resilient and weather-adaptable. The synergy between the two of them is necessary. (shrink)

This article explores some open questions related to the problem of verification of theories in the context of empirical sciences by contrasting three epistemological frameworks. Each of these epistemological frameworks is based on a corresponding central metaphor, namely: (a) Neo-empiricism and the gambling metaphor; (b) Popperian falsificationism and the scientific tribunal metaphor; (c) Cognitive constructivism and the object as eigen-solution metaphor. Each of one of these epistemological frameworks has also historically co-evolved with a certain statistical theory and method for testing (...) scientific hypotheses, respectively: (a) Decision theoretic Bayesian statistics and Bayes factors; (b) Frequentist statistics and p-values; (c) Constructive Bayesian statistics and e-values. This article examines with special care the Zero Probability Paradox (ZPP), related to the verification of sharp or precise hypotheses. Finally, this article makes some remarks on Lakatos’ view of mathematics as a quasi-empirical science. (shrink)

Governments and social scientists are increasingly developing machine learning methods to automate the process of identifying terrorists in real time and predict future attacks. However, current operationalizations of “terrorist”’ in artificial intelligence are difficult to justify given three issues that remain neglected: insufficient construct legitimacy, insufficient criterion validity, and insufficient construct validity. I conclude that machine learning methods should be at most used for the identification of singular individuals deemed terrorists and not for identifying possible terrorists from some more general (...) class, nor to predict terrorist attacks more broadly, given intolerably high risks that result from such approaches. (shrink)

It is argued that, contrary to prevailing opinion, Bas van Fraassen nowhere uses the argument from underdetermination in his argument for constructive empiricism. It is explained that van Fraassen’s use of the notion of empirical equivalence in The Scientific Image has been widely misunderstood. A reconstruction of the main arguments for constructive empiricism is offered, showing how the passages that have been taken to be part of an appeal to the argument from underdetermination should actually be interpreted.

The paper presents a new approach to the history of analytic philosophy. Instead of exploring different kinds of analysis (Michael Beaney), or to marry analytic philosophy to the analytic / synthetic distinction (Scott Soames), we turn attention to the fact that it was rooted in two different types of logical constructing. The discrepancy between the two concepts of logical constructing produced much unclarity in our understanding of analytic philosophy.