In this paper we discuss the new Tweety puzzle. The original Tweety puzzle was addressed by approaches in non-monotonic logic, which aim to adequately represent the Tweety case, namely that Tweety is a penguin and, thus, an exceptional bird, which cannot fly, although in general birds can fly. The new Tweety puzzle is intended as a challenge for probabilistic theories of epistemic states. In the first part of the paper we argue against monistic Bayesians, who assume that epistemic states can (...) at any given time be adequately described by a single subjective probability function. We show that monistic Bayesians cannot provide an adequate solution to the new Tweety puzzle, because this requires one to refer to a frequency-based probability function. We conclude that monistic Bayesianism cannot be a fully adequate theory of epistemic states. In the second part we describe an empirical study, which provides support for the thesis that monistic Bayesianism is also inadequate as a descriptive theory of cognitive states. In the final part of the paper we criticize Bayesian approaches in cognitive science, insofar as their monistic tendency cannot adequately address the new Tweety puzzle. We, further, argue against monistic Bayesianism in cognitive science by means of a case study. In this case study we show that Oaksford and Chater’s (2007, 2008) model of conditional inference—contrary to the authors’ theoretical position—has to refer also to a frequency-based probability function. (shrink)

Do other earthly forms of life evolved to the level of intelligent life? Cancer and resistance to antibiotics obliged to ask this question. Signs of intelligence are found at its simplest levels. We try to see if logic is used at these levels. Peter of Spain’s suppositio materialis is applied to the chemical signals of cells. Dynamic Logic is used to understand these chemical communications. <System of communications> is used, instead of “language”. The development of life appears as the development (...) of an axiomatic system. The rights of unborn humans and God’s rights over His own creation appear as the most powerful arguments for conservationism. (shrink)

This article argues that there can be epistemic dilemmas: situations in which one faces conflicting epistemic requirements with the result that whatever one does, one is doomed to do wrong from the epistemic point of view. Accepting this view, I argue, may enable us to solve several epistemological puzzles.

The many definitions of sophistry at the beginning of Plato’s Sophist have puzzled scholars just as much as they puzzled the dialogue’s main speakers: the Visitor from Elea and Theaetetus. The aim of this paper is to give an account of that puzzlement. This puzzlement, it is argued, stems not from a logical or epistemological problem, but from the metaphysical problem that, given the multiplicity of accounts, the interlocutors do not know what the sophist essentially is. It transpires (...) that, in order to properly account for this puzzle, one must jettison the traditional view of Plato’s method of division, on which divisions must be exclusive and mark out relations of essential predication. It is then shown on independent grounds that, although Platonic division in the Sophist must express predication relations and be transitive, it need not be dichotomous, exclusive, or express relations of essential predication. Once the requirements of exclusivity and essential predication are dropped, it is possible to make sense of the reasons that the Visitor from Elea and Theaetetus are puzzled. Moreover, with this in hand, it is possible to see Plato making an important methodological point in the dialogue: division on its own without any norms does not necessarily lead to the discovery of essences. (shrink)

In this paper, I examine Quine's views on the epistemology of logic. According to Quine's influential holistic account, logic is central in the “web of belief” that comprises our overall theory of the world. Because of this, revisions to logic would have devastating systematic consequences, and this explains why we are loath to make such revisions. In section1, I clarify this idea and thereby show that Quine actually takes the web of belief to have asymmetrical internal structure. This raises two (...) puzzles. First, as I show in section 2, Quine's mature thoroughly naturalized view has it that logic is simply obvious, and this is explains why we do not typically consider revising it. While Quine presents this naturalized view as a way to make good on his earlier metaphor of centrality in a web of belief, I argue that the resources of Quine's naturalized epistemology cannot adequately explain why we are reluctant to revise logic. And, Quine seems to recognize this point himself. In light of this, I explain in section 3 how Quine can allow that our overall scientific theory has systematic structure in a way that is consistent with his naturalistic strictures. Second, the asymmetrical internal structure of the web of belief seems to be inconsistent with its being a holistic web at all. I defuse this problem in section 4 by showing how Quine distinguishes between structural and confirmational considerations. I close by using this distinction to show how Quine's view can evade Michael Friedman’s criticisms, and allow for important methodological distinctions between areas of the web of belief. (shrink)

We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate (...) the challenge both in general and for the particular case of logic. I also argue that two seemingly attractive responses – appealing to a faculty of rational insight or to the nature of concept possession – are incapable of answering the challenge. (shrink)

We present a new puzzle about logical truth, necessity, and moral responsibility. We defend one solution to the puzzle. A corollary of our preferred solution is that prominent arguments for the incompatibility of determinism and moral responsibility are invalid.

How is it that a speaker _S_ can at once make it obvious to an audience _A_ that she intends to communicate some proposition _p_, and yet at the same time retain plausible deniability with respect to this intention? The answer is that _S_ can bring it about that _A_ has a high justified credence that ‘_S_ intended _p_’ without putting _A_ in a position to know that ‘_S_ intended _p_’. In order to achieve this _S_ has to exploit a (...) sense in which communication can be lottery-like. After defending this view of deniability I argue that it compares favorably to a rival account recently developed by Dinges and Zakkou (Mind, https://doi.org/10.1093/mind/fzac056, 2023 ). (shrink)

This article discusses some continuous limit cases of Susan Haack’s crossword puzzle metaphor for the coherent development and foundation of science. The main objective of this discussion is to build a bridge between Haack’s foundherentism and the epistemological framework of objective cognitive constructivism, including its key metaphor of objects as tokens for eigen-solutions. The historical development of chemical affinity tables is used to illustrate our arguments.

The purpose of this paper is twofold: (1) to clarify Ludwig Wittgenstein’s thesis that colours possess logical structures, focusing on his ‘puzzle proposition’ that “there can be a bluish green but not a reddish green”, (2) to compare modeltheoretical and gametheoretical approaches to the colour exclusion problem. What is gained, then, is a new gametheoretical framework for the logic of ‘forbidden’ (e.g., reddish green and bluish yellow) colours. My larger aim is to discuss phenomenological principles of the demarcation of (...) the bounds of logic as formal ontology of abstract objects. (shrink)

In the recent philosophical literature on inquiry, epistemologists point out that their subject has often begun at the point at which you already have your evidence and then focussed on identifying the beliefs for which that evidence provides justification. But we are not mere passive recipients of evidence. While some comes to us unbidden, we often actively collect it. This has long been recognised, but typically epistemologists have taken the norms that govern inquiry to be practical, not epistemic. The recent (...) literature challenges this assumption and uncovers a rich range of questions about the epistemic normativity of inquiry. In this paper, I approach these questions from the formal side of epistemology. Developing out of the philosophy of science, as it did, this branch of epistemology has long discussed inquiry. And, building on the insights of Janina Hosiasson (1931), David Blackwell (1951), and I. J. Good (1967), it has produced a reasonably well-developed framework in which to understand norms of inquiry, both epistemic and practical. In the first half of the paper, I will present the pragmatic versions of this framework due to Hosiasson, Blackwell, and Good, and the epistemic version due to Graham Oddie (1997); in the second half of the paper, I put this framework to work, turning to some of the questions from the recent debate about inquiry and asking how the framework can help us answer them. Questions include: When should we initiate an inquiry, when should we continue it, when should we conclude it, and when should we reopen it? How do epistemic norms of inquiry relate to epistemic norms of belief or credence, and can they conflict, as Jane Friedman (2020) contends? How should we resolve the apparent puzzle raised by Friedman's example of counting the windows in the Chrysler Building? How should we direct our attention, as Georgi Gardiner (2022) asks? How should we choose and reason after receiving evidence we'd rather not have received? And how should we understand the epistemic error that occurs when someone is resistant to evidence in the way Mona Simion (2023) describes? (shrink)

The paper argues that knowledge is not closed under logical inference. The argument proceeds from the openness of evidential support and the dependence of empirical knowledge on evidence, to the conclusion that knowledge is open. Without attempting to provide a full-fledged theory of evidence, we show that on the modest assumption that evidence cannot support both a proposition and its negation, or, alternatively, that information that reduces the probability of a proposition cannot constitute evidence for its truth, the relation (...) of evidential support is not closed under known entailment. Therefore the evidence-for relation is deductively open regardless of whether evidence is probabilistic or not. Given even a weak dependence of empirical knowledge on evidence, we argue that empirical knowledge is also open. On this basis, we also respond to the strongest argument in support of knowledge closure. Finally, we present a number of significant benefits of our position, namely, offering a unified explanation for a range of epistemological puzzles. (shrink)

A challenge faced by defenders of the precautionary principle is to clarify when the evidence that a harmful event might occur suffices to regard this prospect as a real possibility. Plausible versions of the principle must articulate some epistemic threshold, orde minimisrequirement, which specifies when precautionary measures are justified. Critics have argued that formulating such a threshold is problematic in the context of the precautionary principle. First, this is because the precautionary principle appears to be ambiguous about the distinction between (...) risk and uncertainty: should the principle merely be invoked when evidential probabilities are absent, or also when probabilities have low epistemic credentials? Secondly, defenders of the precautionary principle face an aggregation puzzle: in judging whether or not thede minimisrequirement has been met, how should first-order evidential probabilities and their second-order epistemic standing be aggregated? This article argues that the ambiguity can be resolved, and the epistemological puzzle can be solved. Focusing on decisions in the context of climate uncertainty, I advance a version of the precautionary principle that serves as a plausible decision rule, to be adopted in situations where its main alternative—cost–benefit analysis—does not deliver. (shrink)

This paper reviews some of the literature on the philosophy of quantum mechanics. The publications involved tend to follow similar patterns of first identifying the mysteries, puzzles or paradoxes of the quantum world, and then discussing the existing interpretations of these matters, before the authors produce their own interpretations, or side with one of the existing views. The paper will show that all interpretations of quantum mechanics involve elements of apparent weirdness. They suggest that the quantum world, and possibly (...) our macro world, exists or behaves in a way quite contrary to the way we normally imagine they should. The paper will also show how many of the writers on quantum mechanics misunderstand idealism in the macro world as proposed by philosophers such as George Berkeley, David Hume, Immanuel Kant and John Stuart Mill and misunderstand the concept of the observer dependent universe. The paper concludes by examining the similarities between the idealist view of the macro world and the Copenhagen Interpretation of the quantum world and suggests that as the Copenhagen Interpretation provides a view of the quantum world that is consistent with the macro world then the Copenhagen Interpretation should be the preferred view of the quantum world. (shrink)

Validity is a well-defined notion. Premise circularity is not. Attempting to define premise circularity precisely generates a puzzle: a difficult-to-avoid correspondence between the definitions of ‘valid argument’ and ‘premise circular argument.’.

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

The cognition of quantum processes raises a series of questions about ordering and information connecting the states of one and the same system before and after measurement: Quantum measurement, quantum in-variance and the non-locality of quantum information are considered in the paper from an epistemological viewpoint. The adequate generalization of ‘measurement’ is discussed to involve the discrepancy, due to the fundamental Planck constant, between any quantum coherent state and its statistical representation as a statistical ensemble after measurement. Quantum in-variance (...) designates the relation of any quantum coherent state to the corresponding statistical ensemble of measured results. A set-theory corollary is the curious in-variance to the axiom of choice: Any coherent state excludes any well-ordering and thus excludes also the axiom of choice. However the above equivalence requires it to be equated to a well-ordered set after measurement and thus requires the axiom of choice for it to be able to be obtained. Quantum in-variance underlies quantum information and reveals it as the relation of an unordered quantum “much” (i.e. a coherent state) and a well-ordered “many” of the measured results (i.e. a statistical ensemble). It opens up to a new horizon, in which all physical processes and phenomena can be interpreted as quantum computations realizing relevant operations and algorithms on quantum information. All phenomena of entanglement can be described in terms of the so defined quantum information. Quantum in-variance elucidates the link between general relativity and quantum mechanics and thus, the problem of quantum gravity. The non-locality of quantum information unifies the exact position of any space-time point of a smooth trajectory and the common possibility of all space-time points due to a quantum leap. This is deduced from quantum in-variance. Epistemology involves the relation of ordering and thus a generalized kind of information, quantum one, to explain the special features of the cognition in quantum mechanics. (shrink)

One of the standard puzzles in ordinary-object metaphysics concerns what happens when an object and one of its undetached parts apparently begin to coincide. I distinguish two versions of this puzzle: the problem of extraordinary undetached parts and the problem of ordinary undetached parts. Then I present a novel phasalist solution to the problem of ordinary undetached parts. My solution is designed to supplement the recently-defended view that ordinary undetached parts exist but extraordinary ones do not.

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of contraposition. (...) We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

Bradley Armour-Garb and James A. Woodbridge, in Pretense and Pathology, make an ambitious and far-ranging case that philosophical fictionalism (particularly the pretence variety that they favour) illuminates several long-standing philosophical puzzles posed by words in ordinary language, such as ‘exist’, ‘true’ and ‘means that’, as well as the more technical, ‘refers to’, ‘proposition’ and ‘satisfies’. Along the way, Armour-Garb and Woodbridge discuss topics in the philosophy of language, philosophical logic, ontology, epistemology and more. An important aspect of their project (...) is its nominalist aspiration: by showing (if they do) that pretence is involved when we use the foregoing terms, they hope to show that it’s false that these uses induce ontological commitments (to, e.g., propositions or properties). In this respect, their pretence approach is yet another attempt to undercut the family of indispensability arguments (pioneered by W.V.O. Quine) that prima facie force ontological commitments by means of indispensable language usage. (shrink)

In a recent paper in this journal, Carter and Peterson raise two distinctly epistemological puzzles that arise for anyone aspiring to defend the precautionary principle. The first puzzle trades on an application of epistemic contextualism to the precautionary principle; the second puzzle concerns the compatibility of the precautionary principle with the de minimis rule. In this note, I argue that neither puzzle should worry defenders of the precautionary principle. The first puzzle can be shown to be an instance (...) of the familiar but conceptually harmless challenge of adjudicating between relevant interests to reach assessments of threats when applying the precautionary principle. The second puzzle can be shown to rely on a subtle but crucial misrepresentation of the relevant probabilities at play when applying the precautionary principle. (shrink)

Peter Ludlow shows how word meanings are much more dynamic than we might have supposed, and explores how they are modulated even during everyday conversation. The resulting view is radical, and has far-reaching consequences for our political and legal discourse, and for enduring puzzles in the foundations of semantics, epistemology, and logic.

Humans often behave altruistically towards strangers with no chance of reciprocation. From an evolutionary perspective, this is puzzling. The evolution of altruistic cooperative behavior—in which an organism’s action reduces its fitness and increases the fitness of another organism —only makes sense when it is directed at genetically related organisms or when one can expect the favor to be returned. Therefore, evolutionary theorists such as Sober and Wilson have argued that we should revise Neo-Darwininian evolutionary theory. They argue that human altruism (...) evolved through group selection in which groups of altruists were naturally selected because they had a comparative advantage over other groups. Wilson and Sober’s hypothesis attracted followers but is rejected by most of their peers. The heated debate between advocates and critics of group selection often suffers from a lack of conceptual clarity. In response, I set out to clearly distinguish ‘genetic’ from ‘cultural’ group selection and argue that the latter does not face the potentially debilitating problems plaguing the former. I defend the claim that human altruistic dispositions evolved through cultural group selection and gene-culture coevolution and offer empirical evidence in support. I also argue that actual altruistic behavior often goes beyond the kind of behavior humans have evolved to display. Conscious and voluntary reasoning processes, I show, have an important role in altruistic behavior. This is often overlooked in the scientific literature on human altruism. (shrink)

In his recent book, Knowing and Checking, Guido Melchior argues that, when we attempt to check whether p, we tend to think that we do not know p. Melchior then uses this assumption to explain a number of puzzles about knowledge. One outstanding question for Melchior's account, however, is why this tendency exists. After all, Melchior himself argues that checking is not necessary for knowing, so why would we think that we fail to know that p when we are (...) in the midst of checking that p? I will explore one such suggestion for why this occurs, arguing that the connection between checking and inquiry can shed light on the impact that checking has on knowing. (shrink)

Plausibly, how much is at stake in some salient practical task can affect how generously people ascribe knowledge of task-relevant facts. There is a metaphysical puzzle about this phenomenon, and an empirical puzzle. Metaphysically: there are competing theories about when and how practical stakes affect whether it is correct to ascribe knowledge. Which of these theories is the right one? Empirically: experimental philosophy has struggled to find a stakes-effect on people’s knowledge ascriptions. Is the alleged phenomenon just a philosopher’s fantasy? (...) I propose a new psychological account of when and why people’s knowledge ascriptions are sensitive to stakes. My hypothesis is motivated by empirical research on how people’s judgements are sensitive to their social context. Specifically, people’s evaluations are sensitive to their ‘psychological distance’ from the scenarios they are considering. When using ‘fixed-evidence probes’, experimental philosophy has found that what’s at stake for a fictional character in a made-up scenario has little or no effect on how participants ascribe knowledge to them. My hypothesis predicts this finding: the scenarios are too ‘psychologically distant’ to participants. Our empirical puzzle is resolved: the stakes-effect often present in the wild won’t be present in vignette studies. (This illustrates a widespread problem with X-phi vignette studies: if people might judge differently in other social contexts, we can’t generalize from the results of these experiments. That is, vignette studies are of doubtful ‘external validity’.) The hypothesis also resolves our metaphysical puzzle. It predicts that people do not ascribe knowledge in a way deemed correct by any of the standard philosophical views, namely classical invariantism, interest-relative invariantism, and contextualism. Our knowledge ascriptions shift around in the way that’s most useful for social beings like us, and this pattern in our judgements can only be endorsed by a genuinely relativist metaphysics for knowledge. (shrink)

In this paper, I explore Bach’s idea (Bach, 2000) that null appositives, intended as expanded qua-clauses, can resolve the puzzles of belief reports. These puzzles are crucial in understanding the semantics and pragmatics of belief reports and are presented in a section. I propose that Bach’s strategy is not only a way of dealing with puzzles, but also an ideal way of dealing with belief reports. I argue that even simple unproblematic cases of belief reports are cases (...) of pragmatic intrusion, involving null appositives, or to use the words of Bach, ‘qua-clauses’. The main difference between my pragmatic approach and the one by Salmon (1986) is that this author uses the notion of conversational implicature, whereas I use the notion of pragmatic intrusion and explicature. From my point of view, statements such as ‘‘John believes that Cicero is clever’’ and ‘‘John believes that Tully is clever’’ have got distinct truth-values. In other words, I claim that belief reports in the default case illuminate the hearer on the mental life of the believer, that includes specific modes of presentation of the referents talked about. Furthermore, while in the other pragmatic approaches, it is mysterious how a mode of presentation is assumed to be the main filter of the believer’s mental life, here I provide an explanatory account in terms of relevance, cognitive effects, and processing efforts. The most important part of the paper is devoted to showing that null appositives are required, in the case of belief reports, to explain certain anaphoric effects, which would otherwise be mysterious. My examples show that null appositives are not necessitated at logical form, but only at the level of the explicature, in line with the standard assumptions by Carston and Recanati on pragmatic intrusion. I develop a potentially useful analysis of belief reports by exploiting syntactic and semantic considerations on presuppositional clitics in Romance. (shrink)

Noniterative approaches to the sorites paradox accept single steps of soritical reasoning, but deny that these can be combined into valid chains of soritical reasoning. The distributed sorites is a puzzle designed to undermine noniterative approaches to the sorites paradox, by deriving an inconsistent conclusion using only single steps, but not chains, of soritical reasoning. This paper shows how a dialetheist version of the noniterative approach, the strict-tolerant approach, also solves the distributed sorites paradox, at no further cost, by accepting (...) the inconsistent conclusion. (shrink)

In a recent paper, Justin D’Ambrosio (2020) has offered an empirical argument in support of a negative solution to the puzzle of Macbeth’s dagger—namely, the question of whether, in the famous scene from Shakespeare’s play, Macbeth sees a dagger in front of him. D’Ambrosio’s strategy consists in showing that “seeing” is not an existence-neutral verb; that is, that the way it is used in ordinary language is not neutral with respect to whether its complement exists. In this paper, we offer (...) an empirical argument in favor of an existence-neutral reading of “seeing”. In particular, we argue that existence-neutral readings are readily available to language users. We thus call into question D’Ambrosio’s argument for the claim that Macbeth does not see a dagger. According to our positive solution, Macbeth sees a dagger, even though there is not a dagger in front of him. (shrink)

Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of knowledge and (...) belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB- logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. Keywords. Stalnaker’s logic KB of knowledge and belief; Topological epistemology; Epistemic Invisibility; Doxastic invisibility; Gettier cases; . (shrink)

A survey of popular textbooks and websites on philosophy produces a ­remarkable consensus on the great problems facing philosophers from ­ancient to modern times. They typically include metaphysics - what is there?, the problem of knowledge - how do we know what exists?, the mind/body problem - can an immaterial mind move the material body?, the “hard problem” of consciousness, freedom of the will, theories of ethics - is there an objective universal Good?, and problems from theology - does God (...) exist?, is God responsible for evil? This book introduces the Information Philosopher website, a work in progress on several classic questions in philosophy that ­logical positivists and analytic language philosophers thought they could ­­dis-solve as logical puzzles, pseudo-problems, or conceptual errors. (shrink)

The paper argues that philosophers commonly misidentify the substitutivity principle involved in Russell’s puzzle about substitutivity in “On Denoting”. This matters because when that principle is properly identified the puzzle becomes considerably sharper and more interesting than it is often taken to be. This article describes both the puzzle itself and Russell's solution to it, which involves resources beyond the theory of descriptions. It then explores the epistemological and metaphysical consequences of that solution. One such consequence, it argues, is (...) that Russell must abandon his commitment to propositions. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

There are two major puzzles in Hume’s epistemology. The first involves Hume’s fall into despair in the conclusion of Book One of the Treatise. When Hume reflects back upon the results of his research, he becomes so alarmed that he nearly throws his books and papers into the fire. Why did his investigations push him towards such intense skeptical sentiments? What dark discoveries did he make? The second puzzle concerns the way in which Hume emerges from this skeptical crisis (...) and proceeds with his investigations. Why the sudden change of heart? What accounts for the return of hope? Each of these puzzles represents a serious challenge to traditional approaches to Hume’s epistemology. A proper solution to them requires a careful examination of Hume’s claims about the untrustworthiness of our cognitive faculties as well as his strategy for improving their performance. (shrink)

Epistemologists have begun paying attention to the phenomenon of _core cognition_ from developmental psychology. Core cognition posits innate automatic cognitive modules that enable children to quickly grasp and learn certain concepts. A key element of core cognition is sometimes named _core knowledge_ because it encodes the constraints, parameters, and concepts that are required for core cognition modules to function. Until now, no successful epistemological account of it has been presented, and it is difficult to integrate into standard accounts of (...) epistemology given that it is only implicitly believed, not accessible to explicit cognitive processing, and innate. In this paper I propose an account of the epistemology of core cognition, focussing on the epistemic status of this core knowledge. I argue that, rather than being knowledge, or some ordinary justified belief, it consists of Wittgensteinian _hinge certainties_. These are the implicit presupposition that we need for our epistemology to function. I illustrate the argument with the core cognition of causality. Finally, I propose that even though core knowledge consists of unjustified hinges, we are epistemically entitled to trust them to be accurate. (shrink)

Review of the book "Paraconsistent Logic: Consistency, Contradiction, and Negation by Water Carnielli and Marcelo Coniglio.

Μοναδική μελέτη και προσέγγιση της θεωρίας της γνώσης, για την παγκόσμια βιβλιογραφία, της διαλεκτικής πορείας της σκέψης από την λογική πλευρά της και της μελλοντικής μορφής που θα πάρουν οι διαλεκτικές δομές της, στην αδιαίρετη ενότητα γνωσιοθεωρίας, λογικής και διαλεκτικής, με την «μέθοδο του διαλεκτικού υλισμού». Έργο βαρύ με θέμα εξαιρετικά δύσκολο διακατέχεται από πρωτοτυπία και ζωντάνια που γοητεύει τον κάθε ανήσυχο στοχαστή από τις πρώτες γραμμές. Unique study and approach of the theory of knowledge, the world literature, the dialectic (...) course of thought from the logical side and the future form of its dialectical structures, the indivisible unity of knowledge, logic and dialectics, with the "method of dialectical materialism ". A heavy work on an extremely difficult subject is possessed by originality and liveliness that captivates every restless thinker from the first lines..."Εδώ ακριβώς, όπως έχουμε ξαναπεί, βρίσκεται το πρόβλημα. Η διαλεκτική λογική είναι ήδη το ξεπέρασμα της τυπικής λογικής σαν όργανο για τη σύλληψη της πραγματικότητας. Εμείς όμως θέλουμε να την κάνουμε να έχει «ακρίβεια» στα συμπεράσματά της. Και τότε αντιμετωπίζουμε το πρόβλημα που έχει επισημάνει ο Lenine, πως δηλαδή: όχι το αυτονόητο γεγονός της «κίνησης» του κόσμου, αλλά το «πως» να εκφράσουμε την κίνηση αυτή με τις έννοιες, με τις κρίσεις και τους συλλογισμούς και προχωρώντας πιο πέρα, με τη δυνατότητα που προσφέρεται, ύστερα από το Hegel, από τη φορμαλοποίηση κα αξιωματικοποίηση της τυπικής λογικής, να τις εκφράσουμε «συντακτικά» διατυπώνοντας την μεταβολή. Κι αυτός είναι ο «κόμπος» που πρέπει να λυθεί: όχι μονάχα πάνω στη σημαντική περιοχή, αλλά και στη συντακτική. Γιατί οι έννοιες, οι κρίσεις κι οι συλλογισμοί, αφού ήδη εκφράζονται από την τυπική λογική με σύμβολα ικανά να μας δώσουν, με το συνδυασμό τους μονάχα, καινούρια συμπεράσματα, αλλά ταυτόχρονα και τον «έλεγχο» (από την άποψη της τυπικής αλήθειας) των συλλογισμών μας, το κάνουν αυτό πάνω σε προτάσεις που εκφράζουν την ακινησία και τη σταθερότητα. Εδώ, το «μόνο» που χρειάζεται είναι να δώσουμε κίνηση και ζωή στο σύστημα της τυπικο-στατικής λογικής, έτσι που οι προτάσεις της με το συμβολισμό τους να αναφέρονται και στις διαδοχικά επόμενες μέσα στο χρόνο τιμές αλήθειας. Οι προτάσεις, με ενδιάμεσο τη σκέψη πάντοτε, αφού στέκονται όχι μονάχα απέναντι σε μια ακίνητη στιγμή της ροής του κόσμου, αλλά και ταυτόχρονα απέναντι σ' ένα αδιάκοπα μεταβαλλόμενο περιεχόμενο, απέναντι στις αντικειμενικές διακυμάνσεις της πραγματικότητας, θα πρέπει και οι προτάσεις αυτές να πιάνουν ταυτόχρονα: το στατικό και το ρέον. Το στατικό, σα στιγμή ταυτοποίησης και αναγνώρισης των διαδοχικά «μεταβαλλόμενων ακίνητων» στιγμών του περιεχόμενου και το ρέον, σα διαδοχική ολοκλήρωση των στάνταρ-στιγμών του περιεχόμενου των αντικειμενικών προτσές. Μήπως τα μαθηματικά μας βοηθάνε εδώ;....". (shrink)

Despite recent efforts to improve on counterfactual theories of causation, failures to explain how effects depend on their causes are still manifest in a variety of cases. In particular, theories that do a decent job explaining cases of causal preemption have problems accounting for cases of causal intransitivity. Moreover, the increasing complexity of the counterfactual accounts makes it difficult to see why the concept of causation would be such a central part of our cognition. In this paper, I propose an (...) account of our causal thinking that not only explains the hitherto puzzling variety of causal judgments, but also makes it intelligible why we would employ such an elusive concept. (shrink)

In this paper we propose a new semantics, based on the notion of a "contextual model", that makes it possible to express and compare — within a unique formal framework — different views on the roles of various notions of context in knowledge ascriptions. We use it to provide a logical analysis of such positions as skeptical and moderate invariantism, contextualism, and subject-sensitive invariantism. A dynamic formalism is also proposed that offers new insights into a classical skeptical puzzle.

The goal of the current paper is to provide an introduction to and survey of the diverse landscape of relevant alternatives theories of knowledge. Emphasis is placed throughout both on the abstractness of the relevant alternatives approach and its amenability to formalization through logical techniques. We present some of the important motivations for adopting the relevant alternatives approach; briefly explore the connections and contrasts between the relevant alternatives approach and related developments in logic, epistemology and philosophy of science; provide (...) a schema for classifying and studying relevant alternatives theories at different levels of abstraction; and present a sample of relevant alternatives theories (contrasting what we call question-first and topic-first theories) that tie our discussion to on-going debates in the philosophical literature, as well as showcasing techniques for formalizing some of the important positions in these debates. (shrink)

The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is named, and also (...) a metalinguistic reading as a contingency about the names. Either way the claim about the subject referent has no extralinguistic content. The necessity of alteridentity (non-self-identity) statements is "lexical", due to contingencies of the names' reference, much like the necessity of analytic statements, due to contingencies of the predicates' sense, and unlike the necessity of logical truths (e.g., self-identities) whose truth is secured by syntax alone. Both alter-identity and analytic sentences are readable as objectual necessities and metalinguistic contingencies. Epistemically, alter-identity statements are not essentially unlike analyticities. "Greece is Hellas"/"g=h" and "Greeks are Hellenes"/"(x)(Gx<=>Hx)" are equally (un)informative; so too for "Azure is cobalt"/"a=c" and "Everything azure is cobalt"/"(x)(Ax<=>Cx)". The real epistemic contrast is between proper names (terms without predicative sense) and terms with a predicative sense (names and predicates of properties). Proper names refer to concrete objects, property names refer to abstract objects. That contrast is metaphysical and thus epistemic. (shrink)

``People say again and again that philosophy doesn´t really progress, that we are still occupied with the same philosophical problems as were the Greeks. But the people who say this don´t understand why it has to be so. It is because our language has remained the same and keeps seducing us into asking the same questions. As long as there continues to be a verb ´to be´ that looks as if it functions in the same way as ´to eat and (...) to drink´, as long as we still have the adjectives ´identical´, ´true´, ´false´, ´possible´, as long as we continue to talk of a river of time, of an expanse of space, etc., etc., people will keep stumbling over the same puzzling difficulties and find themselves staring at something which no explanation seems capable of clearing up. And what´s more, this satisfies a longing for the transcendent, because, insofar as people think they can see the ‘limits of human understanding´, they believe of course that they can see beyond these.`` -/- This quote is from Ludwig Wittgenstein who redefined philosophy some 70 years ago (but most people have yet to find this out). Dennett, though he has been a philosopher for some 40 years, is one of them. It is also curious that both he and his prime antagonist, John Searle, studied under famous Wittgensteinians (Searle with John Austin, Dennett with Gilbert Ryle) but Searle more or less got the point and Dennett did not, (though it is stretching things to call Searle or Ryle Wittgensteinians). Dennett is a hard determinist (though he tries to sneak reality in the back door), and perhaps this is due to Ryle, whose famous book ´The Concept of Mind´(1949) continues to be reprinted. That book did a great job of exorcising the ghost, but it left the machine. -/- Dennett enjoys making the mistakes Wittgenstein, Ryle (and many others since) have exposed in detail. Our use of the words consciousness, choice, freedom, intention, particle, thinking, determines, wave, cause, happened, event (and so on endlessly) are rarely a source of confusion, but as soon as we leave normal life and enter philosophy (and any discussion detached from the environment in which language evolved—i.e., the exact context in which the words had meaning) chaos reigns. Like most, Dennett lacks a coherent framework - which Searle has called the logical structure of rationality. I have expanded on this considerably since I wrote this review and my recent articles show in detail what is wrong with Dennett's approach to philosophy, which one might call Scientism on steroids. Let me end with another quote from Wittgenstein--´Ambition is the death of thought´. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019) . (shrink)

This paper presents a puzzle about justification and withholding. The puzzle arises in a special case where experts advise us to not withhold judgment. My main thesis is simply that the puzzle is genuinely a puzzle, and so leads us to rethink some common assumptions in epistemology, specifically assumptions about the nature of justification and doxastic attitudes. Section 1 introduces the common assumptions. Section 2 presents the puzzle case. Section 3 assesses the puzzle case. Section 4 explains the choice we're (...) faced with. Sections 5 and 6 consider and reject some proposed solutions, and in the process refine and clarify the choice we're faced with. Section 7 considers and rejects a miscellany of different proposed solutions. (shrink)

1994.Επιστημολογία της Λογικής. Συγγραφέας Επαμεινώνδας Ξενόπουλος Μοναδική μελέτη και προσέγγιση της θεωρίας της γνώσης, για την παγκόσμια βιβλιογραφία, της διαλεκτικής πορείας της σκέψης από την λογική πλευρά της και της μελλοντικής μορφής που θα πάρουν οι διαλεκτικές δομές της, στην αδιαίρετη ενότητα γνωσιοθεωρίας, λογικής και διαλεκτικής, με την «μέθοδο του διαλεκτικού υλισμού». Έργο βαρύ με θέμα εξαιρετικά δύσκολο διακατέχεται από πρωτοτυπία και ζωντάνια που γοητεύει τον κάθε ανήσυχο στοχαστή από τις πρώτες γραμμές.

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest (...) in—and endorsement of—justification holism due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain in (...) terms of definability, can serve a neo-logicist's purposes. The problem, in both cases, is similar: neither Wright nor Hale is sufficiently sensitive to the demands that impredicativity imposes. Finally, I defend my own earlier attempt to finesse this issue, in "A Logic for Frege's Theorem", from Hale's criticisms. (shrink)

This article addresses and resolves an epistemological puzzle that has attracted much attention in the recent literature—namely, the puzzle arising from Moorean anti-sceptical reasoning and the phenomenon of transmission failure. The paper argues that an appealing account of Moorean reasoning can be given by distinguishing carefully between two subtly different ways of thinking about justification and evidence. Once the respective distinctions are in place we have a simple and straightforward way to model both the Wrightean position of transmission failure (...) and the Moorean position of dogmatism. The approach developed in this article is, accordingly, ecumenical in that it allows us to embrace two positions that are widely considered to be incompatible. The paper further argues that the Moorean Puzzle can be resolved by noting the relevant distinctions and our insensitivity towards them: once we carefully tease apart the different senses of ‘justified’ and ‘evidence’ involved, the bewilderment caused by Moore’s anti-sceptical strategy subsides. (shrink)

In this paper, I motivate a puzzle about epistemic rationality. On the one hand, there seems to be something problematic about frequently changing your mind. On the other hand, changing your mind once is often permissible. Why do one-off changes of mind seem rationally permissible, even admirable, while constant changes seem quintessentially irrational? The puzzle of fickleness is to explain this asymmetry. To solve the puzzle, I propose and defend the Ratifiable Reasoning Account. According to this solution, as agents redeliberate, (...) they gain two types of evidence. First, they gain inductive evidence that they will not stably settle their belief. Second, this inductive evidence affords higher-order evidence that they are unreliable at assessing the matter at hand. The fact that fickle agents gain this higher-order evidence explains why fickleness can be epistemically—not just practically—irrational. In addition to solving the puzzle, my account captures a wide range of contextual factors that are relevant for our judgments. (shrink)

The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations about the properties (...) of logical form—roughly, the level of linguistic representation which feeds into the interpretation procedures—and have substantial implications for traditional philosophical disputes about the nature of language. Specifically, contextualism and semantic minimalism, construed as competing hypotheses about the nature and degree of context-sensitivity at the level of logical form, suggest different approaches to the over-generation problem. In this paper, I explore the implications of pairing logicality with various forms of contextualism and semantic minimalism. I argue that to adequately solve the over-generation problem, logicality should be implemented in a constrained contextualist framework. (shrink)