The Theory of Epistemic Justification and the Theory of Knowledge: A Divorce

Richard Foley has suggested that the search for a good theory of epistemic justification and the analysis of knowledge should be conceived of as two distinct projects. However, he has not offered much support for this claim, beyond highlighting certain salutary consequences it might have. In this paper, I offer some further support for Foley’s claim by offering an argument and a way to conceive the claim in a way that makes it as plausible as its denial, and thus levelling the playing field. The burden of proof then lies with those who seek to deny Foley’s radical suggestion.     

The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions

The two different layers of logical theory—epistemological and ontological—are considered and explained. Special attention is given to epistemic assumptions of the kind that a judgement is granted as known, and their role in validating rules of inference, namely to aid the inferential preservation of epistemic matters from premise judgements to conclusion judgement, while ordinary Natural Deduction assumptions (that propositions are true) serve to establish the holding of consequence from antecedent propositions to succedent proposition.

     

Lay Epistemic Theory: The Motivational,Cognitive, and Social Aspects of Knowledge Formation

We review and integrate three separate research programs emanating from the theory of lay epistemics (Kruglanski, A. W. (1989). Lay Epistemics and Human Knowledge: Cognitive and Motivational Bases. New York: Plenum). The need for cognitive closure is an epistemic motivation that propels knowledge formation and has widely ramifying consequences for individual, interpersonal, and group phenomena. The unimodel investigates the process of new knowledge formation from the ‘information given.’ The work on epistemic authority highlights the centrality of social source effects, including the self as a source, in human epistemic behavior. These three research programs examine facets of epistemic behavior that function interdependently to produce the knowledge that guides individual and social functioning.     

Epistemic Friction: Reflections on Knowledge, Truth, and Logic

Knowledge requires both freedom and friction. Freedom to set up our epistemic goals, choose the subject matter of our investigations, espouse cognitive norms, design research programs, etc., and friction (constraint) coming from two directions: the object or target of our investigation, i.e., the world in a broad sense, and our mind as the sum total of constraints involving the knower. My goal is to investigate the problem of epistemic friction, the relation between epistemic friction and freedom, the viability of foundationalism as a solution to the problem of friction, an alternative solution in the form of a neo-Quinean model, and the possibility of solving the problem of friction as it applies to logic and the philosophy of logic within that model.     

Propositional Epistemic Logics with Quantification Over Agents of Knowledge

The paper presents a family of propositional epistemic logics such that languages of these logics are extended by quantification over modal (epistemic) operators or over agents of knowledge and extended by predicate symbols that take modal (epistemic) operators (or agents) as arguments. Denote this family by \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\). There exist epistemic logics whose languages have the above mentioned properties (see, for example Corsi and Orlandelli in Stud Log 101:1159–1183, 2013; Fitting et al. in Stud Log 69:133–169, 2001; Grove in Artif Intell 74(2):311–350, 1995; Lomuscio and Colombetti in Proceedings of ATAL 1996. Lecture Notes in Computer Science (LNCS), vol 1193, pp 71–85, 1996). But these logics are obtained from first-order modal logics, while a logic of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) can be regarded as a propositional multi-modal logic whose language includes quantifiers over modal (epistemic) operators and predicate symbols that take modal (epistemic) operators as arguments. Among the logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) there are logics with a syntactical distinction between two readings of epistemic sentences: de dicto and de re (between ‘knowing that’ and ‘knowing of’). We show the decidability of logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) with the help of the loosely guarded fragment (LGF) of first-order logic. Namely, we generalize LGF to a higher-order decidable loosely guarded fragment. The latter fragment allows us to construct various decidable propositional epistemic logics with quantification over modal (epistemic) operators. The family of this logics coincides with \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\). There are decidable propositional logics such that these logics implicitly contain quantification over agents of knowledge, but languages of these logics are usual propositional epistemic languages without quantifiers and predicate symbols (see Grove and Halpern in J Log Comput 3(4):345–378, 1993). Some logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) can be regarded as counterparts of logics defined in Grove and Halpern (J Log Comput 3(4):345–378, 1993). We prove that the satisfiability problem for these logics of \({\mathcal {P}\mathcal {E}\mathcal {L}}_{({ QK})}\) is Pspace-complete using their counterparts in Grove and Halpern (J Log Comput 3(4):345–378, 1993).     

The Relational Burden of Objectification: Exploring How Past Experiences of Interpersonal Sexual Objectification Are Related to Relationship Competencies

Sex Roles - The present study examines the associations between past experiences of interpersonal sexual objectification (ISO) on relationship initiation, social withdrawal, and positive...     

The Developmental Psychopathology of Worry

Although childhood generalized anxiety disorder is generally understudied, worry, the cardinal feature of GAD, appears to be relatively common in youth. Despite its prevalence, there are few conceptual models of the development of clinical worry in children. The current review provides a framework for integrating the developmental psychopathology perspective, models of worry in adults, and data available on worry in children. General risk factors for the development of worry are considered, as well as potential pathways including genetics, temperament, cognitive, emotional and parenting influences, as well as the influence of cognitive development. Based on this review, it appears unlikely that main effects models will be able to explain the development of GAD or clinical worry in children and that a broad, complex model incorporating a number of factors and their interactions will best describe etiological and maintaining factors. With this perspective in mind, a number of suggestions for future work are offered.     

Objectification,Masculinity, and Muscularity: A Test of Objectification Theory with Heterosexual Men

Sex Roles - Objectification theory is increasingly used to explain the body image-related experiences of men because research indicates that men are at heightened risk for body image concerns...     

Cooperation,Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems.     

Why Epistemic Contextualism Does Not Provide an Adequate Account of Knowledge: Comments on Barke

According to Antonia Barkes version of contextualism, epistemic contextualism, a context is defined by a method and its associated assumptions. The subject has to make the assumption that the method is adequate or reliable and that good working conditions hold in order to arrive at knowledge by employing the method. I will criticize Barkes claim that epistemic contextualism can provide a more satisfactory explanation or motivation for context shifts than conversational contextualism (in particular, David Lewiss contextualism). Two more points of criticizm will be presented, which are meant to show that epistemic contextualism presupposes epistemic internalism, and that (epistemic) contextualism leads to an implausible view about which parameters the special achievement that is constitutive of knowledge depends on. I suggest that, contra (epistemic) contextualism, knowledge is a more robust phenomenon that does not depend on whether anyone calls into question any assumptions or raises skeptical doubts in conversation or in his or her mind (as, for example, Fred Dretskes account says). I indicate how this can be reconciled with the phenomenon that knowledge attributions are somewhat unstable and seemingly context-dependent.     

The Pursuit of Epistemic Good

Pace Zagzebski, there is no route from the value of knowledge to a non–reliabilist virtue–theoretic epistemology. Her discussion of the value problem is marred by an uncritical and confused employment of the notion of a "state" of knowledge, an uncritical acceptance of a "knowledge–belief" identity thesis, and an incoherent presumption that the widely held thought that knowledge is more valuable than true belief amounts to the view that knowledge is a state of true belief having an intrinsic property which a state of 'mere" true belief lacks. Her arguments against a "machine–product" conception of knowledge are undermined by these flaws, while the alternative "agent–act" model she recommends is unattractive, at odds with the knowledge–belief identity thesis she favours, and no solution to the problem of the value of knowledge she poses. I end with the observation that her version of virtue–theoretic epistemology points in the direction of cognitive decision–theoretic norms, and I briefly discuss the bearing of this fact upon her viewpoint.     

The Ontology of Epistemic Reasons

Epistemic reasons are mental states. They are not propositions or non-mental facts. The discussion proceeds as follows. Section 1 introduces the topic. Section 2 gives two concrete examples of how our topic directly affects the internalism/externalism debate in normative epistemology. Section 3 responds to an argument against the view that reasons are mental states. Section 4 presents two problems for the view that reasons are propositions. Section 5 presents two problems for the view that reasons are non-mental facts. Section 6 argues that reasons are mental states. Section 7 responds to objections.     

The Pursuit of Epistemic Good

Pace Zagzebski, there is no route from the value of knowledge to a non–reliabilist virtue–theoretic epistemology. Her discussion of the value problem is marred by an uncritical and confused employment of the notion of a "state" of knowledge, an uncritical acceptance of a "knowledge–belief" identity thesis, and an incoherent presumption that the widely held thought that knowledge is more valuable than true belief amounts to the view that knowledge is a state of true belief having an intrinsic property which a state of 'mere" true belief lacks. Her arguments against a "machine–product" conception of knowledge are undermined by these flaws, while the alternative "agent–act" model she recommends is unattractive, at odds with the knowledge–belief identity thesis she favours, and no solution to the problem of the value of knowledge she poses. I end with the observation that her version of virtue–theoretic epistemology points in the direction of cognitive decision–theoretic norms, and I briefly discuss the bearing of this fact upon her viewpoint.     

The Epistemic Norm of Blame

In this paper I argue that it is inappropriate for us to blame others if it is not reasonable for us to believe that they are morally responsible for their actions. The argument for this claim relies on two controversial claims: first, that assertion is governed by the epistemic norm of reasonable belief, and second, that the epistemic norm of implicatures is relevantly similar to the norm of assertion. I defend these claims, and I conclude by briefly suggesting how this putative norm of blame can serve as the basis for general norms of interpersonal generosity.     

Women's Lives/Feminist Knowledge: Feminist Standpoint as Ideology Critique

Feminist standpoint theory posits feminism as a way of conceptualizing from the vantage point of women's lives. However, in current work on feminist standpoint the material links between lives and knowledges are often not explained. This essay argues that the radical marxist tradition standpoint theory draws on—specifically theories of ideology post-Althusser—offers a systemic mode of reading that can redress this problem and provide the resources to elaborate further feminism's oppositional practice and collective subject.