Following Wittgenstein’s lead, Crispin Wright and others have argued that hinge propositions are immune from skeptical doubt. In particular, the entitlement strategy, as we shall refer to it, says that hinge propositions have a special type of justification because of their role in our cognitive lives. Two major criticisms are raised here against the entitlement strategy when used in attempts to justify belief in the external world. First, the hinge strategy is not sufficient to thwart underdetermination skepticism, since underdetermination (...) considerations lead to a much stronger form of skepticism than is commonly realized. Second, the claim that hinge propositions are necessary to trust perception is false. There is an alternative to endorsing a particular hinge proposition about the external world, external world disjunctivism, which permits us to trust perception, while skirting the difficulties raised by skepticism. (shrink)

Alice Ambrose once criticized Moore for treating the proposition ‘There are external objects’ as an empirical one. She said that those who denied that we could know this proposition to be true would not accept any evidence as going against their denial of it, and were not regarding the issue of its truth as empirical. She also maintained that one could not point out an external object in the way in which one could point out a (...) dime or nickel and alleged on these grounds that saying that there are external objects is not the same sort of thing as saying that there are coins. The issue arose concerning Moore's paper, “Proof of an External World.“In “Reply to My Critics,” Moore pointed out that he had been concerned in “Proof of an External World” not to prove that we know that there are external objects, but rather to prove that there are external objects. But he applied Ambrose's remarks to that proposition. Moore rightly asserted that the fact that someone denies that there are external objects and treats all evidence as irrelevant to the issue does not show that the proposition he denies fails to be empirical. (shrink)

SummaryIn this paper Russell's discovery of external relations and his refutation of the doctrine of internal relations is traced to Hume's view on “philosophical” relations. Next the concepts of internal and external relation are applied to the analysis of knowledge. The most widely received analysis, the Justified True Belief‐conception, is investigated for its resources in answering the question whether knowledge is an internal or an external relation between a person and a believed proposition. There are difficulties (...) in each answer which can be partially resolved by analysing knowledge in terms of betting. (shrink)

SummaryStarting with Descartes, epistemology has been almost entirely based on first person knowledge. We must begin, according to the usual story, with what is most certain: knowledge of our own sensations and thoughts. In one way or another we then progress, if we can, to knowledge of an objective external world. There is then the final, tenuous, step to knowledge of other minds.In this paper I argue for a total revision of this picture. All propositional thought, whether positive or (...) skeptical, whether of the inner or of the outer, requires possession of the concept of objective truth, and this concept is accessible only to those creatures in communication with others. Third person knowledge – knowledge of other minds – is thus conceptually basic. But such knowledge is impossible without knowledge of a shared world of objects in a shared time and space. Thus the acquisition of knowledge is not based on a progression from the subjective to the objective; it emerges holistically, and is interpersonal from the start. (shrink)

The object of this paper is to sketch an approach to propositions, meaning and names. The key ingredients are a Twin-Earth-inspired distinction between internal and external meaning, and a middle-Wittgenstein-inspired conception of internal meaning as role in language system. I show how the approach offers a promising solution to the problem of the meaning of proper names. This is a plea for a neglected way of thinking about these topics.

Although ‘glue semantics’ is the most extensively developed theory of semantic composition for LFG, it is not very well integrated into the LFG projection architecture, due to the absence of a simple and well-explained correspondence between glue-proofs and f-structures. In this paper I will show that we can improve this situation with two steps: (1) Replace the current quantificational formulations of glue (either Girard’s system F, or first order linear logic) with strictly propositional linear logic (the quantifier, unit and exponential (...) free version of either MILL or ILL, depending on whether or not tensors are used). (2) Reverse the direction of the standard σ-projection from f-structure to meaning, giving one going from the (atomic nodes of) the glue-proof to the f-structure, rather than from the f-structure to a ‘semantic projection’ which is itself somehow related to the glue-proof. As a side effect, the standard semantic projection of LFG glue semantics can be dispensed with. A result is that LFG sentence structures acquire a level composed of strictly binary trees, constructed out of nodes representing function application and lambda abstraction, with a significant resemblance to external and internal merge in the Minimalist Program. This increased resemblance between frameworks might assist in making useful comparisons. (shrink)

The paper introduces a semantics for the language of propositional additive-multiplicative linear logic. It understands formulas as tasks that are to be accomplished by an agent (machine, robot) working as a slave for its master (user, environment). This semantics can claim to be a formalization of the resource philosophy associated with linear logic when resources are understood as agents accomplishing tasks. I axiomatically define a decidable logic TSKp and prove its soundness and completeness with respect to the task semantics in (...) the following intuitive sense: iff can be accomplished by an agent who has nothing but its intelligence (that is, no physical resources or external sources of information) for accomplishing tasks. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:76 Reviews PROPOSITIONAL ANALYSIS David Blitz Philosophy Dept. and Peace Studies / Central Connecticut State U. New Britain, ct 06050, usa [email protected] Graham Stevens. The Russellian Origins of Analytical Philosophy: Bertrand Russell and the Unity of the Proposition. London and New York: Routledge, 2005. Pp. xii, 185. isbn: 978-0-415-36044-9 (hb). £80.00. us$155.95. Graham Stevens has written a short book on a diUcult subject: the unity of the (...) class='Hi'>proposition. While the title of the volume is The Russellian Origins of Analytic Philosophy, the underlying theme is the comparatively little discussed problem of how the elements of a proposition come together to form a unity, as indicated in the book’s subtitle: “Bertrand Russell and the Unity of the Prop­ osition”. Stevens traces this concept, as a unifying thread or “central concern”, throughout Russell’s many philosophies which constitute for Stevens a “consis­ tent and constantly evolving philosophy” (p. 2) stretching from the earliest log­ ical writings to the later works of the 1930s and 1940s. This is an important and well written volume, which Russellians should have in their personal and uni­ versity libraries. That the “unity of the proposition” is a problem at all requires the reader to return to the neo-Hegelian idealism which Russell encountered as a student at Cambridge.1 Russell, inXuenced by Peano and Frege, broke with the doctrine of internal relations, defended by Bradley and others, according to which external relations are unreal and false appearance. However, an important element of idealism remains even during the Principia period, due to Russell’s continued belief that a proposition is a non-linguistic, non-mental, abstract entity; these elements are all of the same ontological kind, which can be identiWed through analysis and recombined so that their synthesis reconstitutes the original “unity of the proposition”. This turns out to be a very tall order which will occupy Russell for nearly half a century. Consider the standard example Russell gives: “Desdemona loves Cassio”. According to Russell, this proposition (independently of its truth or falsity) actually contains its “simple constituents”z—zwith “Desdemona” and “Cassio” being things and “loves” a concept. Russell, as a founder of analytic philosophy, has to defend the legitimacy of this analysis from the claim that it has reduced 1 Chapter 1: “Russell, Frege and the Analysis of Unities”. December 2, 2009 (5:28 pm) E:\CPBR\RUSSJOUR\TYPE2901\russell 29,1 060 red.wpd E:\CPBR\RUSSJOUR\TYPE2901\russell 29,1 060 red.wpd Reviews 77 the structured unity of the proposition into an unstructured set of parts (or heap) where the original order of combination has been lost. The problem of is that merely listing “Desdemona”, “Cassio” and “loves” does not indicate the way in which the terms were originally combined or re­ lated. For reasons to be made clear later, this is referred to in the literature as the “narrow order problem”. In particular, the question arises as to how analysis enables us to assert that it is Desdemona who loves Cassio (supposing this to be the case), rather than the other way around (since love may not be requited). Stevens deals with logical form in a later chapter devoted to the problem of belief statements, but the notion applies here as well: analysis seems to have skip­ ped the logical form, the way in which the constituents are combined. But if the logical form is included, then there seems to be an extra constituent in the prop­ osition not given by direct inspection, and analysis would appear to have added something above and beyond what was there before the analysis. Adding linking relations to indicate how the components were originally combined does not help either. If there is some relation Lz which relates “Desdemona” and “loves” and another relation Rz which relates “loves” and “Cassio”, then there are Wve constituents, not three. Moreover, there is now room for inWnite regress, with a relation L2 linking “Desdemona” and L, R2 linking “loves” and “Cassio”, and so on. But without adding these additional items, there is an apparent failure of an­ alysis to fully provide the order of the elements present in the original... (shrink)

The paper focuses on the difference between event‐conditionals and premise‐conditionals. An event‐conditional contributes to event structure: it modifies the main clause event; a premise‐conditional structures the discourse: it makes manifest a proposition that is the privileged context for the processing of the associated clause. The two types of conditional clauses will be shown to differ both in terms of their ‘external syntax’ and in terms of their ‘internal syntax’. The peripheral structure of event conditionals will be shown to (...) lack the functional head Force, which encodes illocutionary force. Event conditionals are merged inside the IP of the matrix clause. Premise‐conditionals contain the head Force and they are merged outside the associated CP. (shrink)

Michael Williams and Crispin Wright have claimed that we are epistemically justified in believing hinge propositions, such as there is an external world. In a recent paper Allan Hazlett puts forward an argument that purports to elucidate the source of such justification. This paper reconstructs Hazlett's argument and offers a criticism of it.

Hurford argues that propositions of the form PREDICATE(x) represent conceptual structures that predate language and that can be explicated in terms of neural structure. I disagree, arguing that such predicates are descriptions of limited aspects of brain function, not available as representations in the brain to be exploited in the frog or monkey brain and turned into language in the human.

The aim of this paper is to survey a number of features which are constitutive of the Millian account of attitude-ascription and which I take to be irremediably defective. The features in question, some of which have not been fully appreciated, relate mainly to the failure of that account to accommodate certain fundamental aspects of our ordinary practise of attitude attribution. I take it that one’s definitive method of assessment of a given semantical theory consists in checking out whether or (...) not the theory is able to accommodate our pre-theoretical linguistic intuitions; to use Keith Donnellan’s phrase, such intuitions are the bottom line in philosophical argumentation about language. And I argue that the Millian appeal to modes of presentation taken both as semantically irrelevant and external to the singular contents believed, known, etc., as well as the associated pragmatic strategy employed to discard our ground-floor judgements, are insufficient to palliate the manifest implausibility of a number of Millian descriptions of our attitudes, especially descriptions of our second-order attitudes. (shrink)

What would it take for Hume to be an external world skeptic? Is Hume's position on knowledge sufficient to force him to deny that we can acquire knowledge of propositions about the external world? After all, Hume is extremely restrictive about what can be known because he requires knowledge to be immune to error. In this paper, I will argue that if Hume were a skeptic, then he must also deny a particular kind of view about what is (...) immediately present to the mind. I will argue that direct realisms—views that maintain that mind-independent things are immediately present to the mind—combine with Hume's position on knowledge to entail the negation of skepticism. So, despite his position on knowledge, Hume could still consistently reject skepticism, if he were to endorse direct realism. (shrink)

In an essential way I make use of Frege’s and Vasilev’s ideas. N. A. Vasilev distinguished two levels in a logic. The abstract logic depends on gnoeologic assumptions while the empirical part of logic depends on ontological ones. Vasilev did not change the external logic but he did change the internal one. His system can be viewed as a non-standard syllogistics based on classical propositional logic . Vasilev’s ideas become plain if we discern cleary acts of predication and acts (...) of assertion, the relation of mental contents with the way things are. The second sourse of the idea seems to Frege’s differentation of mental process and assertion, statement . As a symbol of assertion for Frege serves a vertical stroke |. A horizontal stroke following it is correlated with holding a proposition, it makes the sign determined everywhere. In the string of signs the one following the vertical stroke does not express a proposition, it describes a possible state of affairs. (shrink)

A new approach to defining complexity of propositional formulas and proofs is suggested. Instead of measuring the size of these syntactical structures in the propositional language, the article suggests to define the complexity by the size of external descriptions of such constructions. The main result is a lower bound on proof complexity with respect to this new definition of complexity.

According to its quietist readings, skepticism can be dissolved by demonstrating that the notion of ‘absolute objectivity’ is confused. The dissolution of this confusion is supposed to lead us to acquiesce in our finite and plain everyday life without being bothered anymore about the supposed need for objective knowledge. In contrast, I want to propose a transformative reading of skepticism according to which the philosophical practice of skepticism can be ‘epistemically transformative’. To this end, I will transpose L.A. Paul's notion (...) of ‘epistemically transformative experience’ from decision theory to the realm of philosophical practice and argue that the modern skeptical problem of an external standpoint can evoke transformative experiences that lead to a new, albeit non-propositional, insight into the finitude of the human condition. (shrink)

I defend the view that there is a privileged class of propositions – that there is an external world, among other such 'hinge propositions'– that possess a special epistemic status: justified belief in these propositions is not defeated unless one has sufficient reason to believe their negation. Two arguments are given for this conclusion. Finally, three proposals are offered as morals of the preceding story: first, our justification for hinge propositions must be understood as defeatable, second, antiskeptics must explain (...) our knowledge in the face of 'actual world' skepticism (like dreaming skepticism) as much as in the face of the usual sort (like brain-in-vat skepticism), and, finally, our justification for hinge propositions is basic (i.e. non-inferential). (shrink)

According to its quietist readings, skepticism can be dissolved by demonstrating that the notion of ‘absolute objectivity’ is confused. The dissolution of this confusion is supposed to lead us to acquiesce in our finite and plain everyday life without being bothered anymore about the supposed need for objective knowledge. In contrast, I want to propose a transformative reading of skepticism according to which the philosophical practice of skepticism can be ‘epistemically transformative’. To this end, I will transpose L.A. Paul's notion (...) of ‘epistemically transformative experience’ from decision theory to the realm of philosophical practice and argue that the modern skeptical problem of an external standpoint can evoke transformative experiences that lead to a new, albeit non-propositional, insight into the finitude of the human condition. (shrink)

Many have thought that it is impossible to rationally persuade an external world skeptic that we have knowledge of the external world. This paper aims to show how this could be done. I argue, while appealing only to premises that a skeptic could accept, that it is not rational to believe external world skepticism, because doing so commits one to more extreme forms of skepticism in a way that is self-undermining. In particular, the external world skeptic (...) is ultimately committed to believing a proposition P while believing that she shouldn’t believe P, an irrational combination of beliefs. Suspending judgment on skepticism is also problematic, for similar reasons; and, I argue, rational dilemmas are not possible; so, we should believe that skepticism is false. (shrink)

The paper presents a logical treatment of actions based on dynamic logic. This approach makes it possible to reflect clearly the differences between static and dynamic elements of the world, a distinction which seems crucial to us for a representation of actions.Starting from propositional dynamic logic a formal system (DLA) is developed, the programs of which are used to model action types. Some special features of this system are: Basic aspects of time are incorporated in DLA as far as they (...) are needed for our purpose. Names for states and for instants are simulated by formulas. It is possible to express formally that a formula is satisfiable or valid. A special program is introduced to reflect developments which are not caused by an official agent but by external influences. (shrink)

Locke is what present-day aestheticians, critics, and historians call an intentionalist. He believes that when we interpret speech and writing, we aim—in large part and perhaps even for the most part—to recover the intentions, or intended meanings, of the speaker or writer. Berkeley and Hume shared Locke’s commitment to intentionalism, but it is a theme that recent philosophical interpreters of all three writers have left largely unexplored. In this paper I discuss the bearing of intentionalism on more familiar themes in (...) empiricist reflections on language, among them the signification of things (as opposed to ideas); the signifying role of whole propositions; and the possibility of reference to an “external” world. (shrink)

Anthony Brueckner and Jon Altschul suggest a version of skepticism according to which the skeptic posits a distinct skeptical hypothesis for each external world proposition that a person claims to know. In a recent issue of this journal, Eric Yang argues against this piecemeal approach. In this note, I show that Yang’s argument against piecemeal skepticism is fallacious.

A propositional interpretation of knowledge by acquaintance seems more promising than the nonpropositional one, endorsed by Russell. According to the propositional interpretation, to be acquainted with an object means to attend (pay attention) to individuating features of the object. For the actual, direct acquaintance with an object, a subject's perception of the object and his attending to the individuating features of it (just as the fact that these features do belonge to the object in question) are the essential factors. Proper (...) names of objects and subject's memory images referring to objects of acquaintance may be viewed as their special individuating features (in spite of being attached to these objects "externally"). For the dispositional (non-actual) notion of acquaintance, a relativization of time must be added, together with the subject's ability to attend to the individuating features of the object under proper conditions (when the object of previous acquaintance is presented or represented to the subject). Although the conditional formulas expressing these situations contribute to the explication of the concept of knowledge by acquaintance, their truth-status remains open and contingent upon the ways of solving the problem of individuation (identification). (shrink)

A propositional interpretation of knowledge by acquaintance seems more promising than the nonpropositional one, endorsed by Russell. According to the propositional interpretation, to be acquainted with an object means to attend (pay attention) to individuating features of the object. For the actual, direct acquaintance with an object, a subject's perception of the object and his attending to the individuating features of it (just as the fact that these features do belonge to the object in question) are the essential factors. Proper (...) names of objects and subject's memory images referring to objects of acquaintance may be viewed as their special individuating features (in spite of being attached to these objects "externally"). For the dispositional (non-actual) notion of acquaintance, a relativization of time must be added, together with the subject's ability to attend to the individuating features of the object under proper conditions (when the object of previous acquaintance is presented or represented to the subject). Although the conditional formulas expressing these situations contribute to the explication of the concept of knowledge by acquaintance, their truth-status remains open and contingent upon the ways of solving the problem of individuation (identification). (shrink)

1. Sensa and propositional experience. 2. An option between propositions and properties (as objects or contents of sensory experience). 3. The property option and adverbialism. 4. Sensa as images, images as intentionalia. 5. Do we refer directly to sensa? 6. Focusing and the supervenience of images and our reference to them: a question raised. 7. Internal and external properties of images and characters. Strict vistas introduced. 8. A correction on strict vistas. 9. Focusing and experience: the question answered. 10. (...) Conclusion. (shrink)

The paper investigates whether imaginative states about propositions can be assessed in terms of fittingness (also known as correctness, appropriateness, aptness). After characterizing propositional imaginings and explaining the idea of fittingness, I present some considerations in favour of the no conditions view: imagining seems to be the sort of action that cannot be done unfittingly, and imaginings have no external cognitive nor conative goals in light of which they could be unfitting. I then examine the local conditions view, that (...) there can be fittingness conditions on imaginings, but that these are inherited from the mental projects in which imaginings can play a role. Given that there are virtues of the imagination such as creativity and spontaneity, and given that imaginings are subject to purposive mechanisms, and given that there are cases in which it is unfitting to fail to imagine, I endorse the general conditions view, on which imaginings have a goal, and therefore fittingness conditions, even outside the context of mental projects. I then examine 4 versions of the general conditions view and argue that imaginings aim to make contents available to mental projects. (shrink)

The previous Part I of the paper discusses the option of the Gödel incompleteness statement (1931: whether “Satz VI” or “Satz X”) to be an axiom due to the pair of the axiom of induction in arithmetic and the axiom of infinity in set theory after interpreting them as logical negations to each other. The present Part II considers the previous Gödel’s paper (1930) (and more precisely, the negation of “Satz VII”, or “the completeness theorem”) as a necessary condition for (...) granting the Gödel incompleteness statement to be a theorem just as the statement itself, to be an axiom. Then, the “completeness paper” can be interpreted as relevant to Hilbert mathematics, according to which mathematics and reality as well as arithmetic and set theory are rather entangled or complementary rather than mathematics to obey reality able only to create models of the latter. According to that, both papers (1930; 1931) can be seen as advocating Russell’s logicism or the intensional propositional logic versus both extensional arithmetic and set theory. Reconstructing history of philosophy, Aristotle’s logic and doctrine can be opposed to those of Plato or the pre-Socratic schools as establishing ontology or intensionality versus extensionality. Husserl’s phenomenology can be analogically realized including and particularly as philosophy of mathematics. One can identify propositional logic and set theory by virtue of Gödel’s completeness theorem (1930: “Satz VII”) and even both and arithmetic in the sense of the “compactness theorem” (1930: “Satz X”) therefore opposing the latter to the “incompleteness paper” (1931). An approach identifying homomorphically propositional logic and set theory as the same structure of Boolean algebra, and arithmetic as the “half” of it in a rigorous construction involving information and its unit of a bit. Propositional logic and set theory are correspondingly identified as the shared zero-order logic of the class of all first-order logics and the class at issue correspondingly. Then, quantum mechanics does not need any quantum logics, but only the relation of propositional logic, set theory, arithmetic, and information: rather a change of the attitude into more mathematical, philosophical, and speculative than physical, empirical and experimental. Hilbert’s epsilon calculus can be situated in the same framework of the relation of propositional logic and the class of all mathematical theories. The horizon of Part III investigating Hilbert mathematics (i.e. according to the Pythagorean viewpoint about the world as mathematical) versus Gödel mathematics (i.e. the usual understanding of mathematics as all mathematical models of the world external to it) is outlined. (shrink)

There are propositions that upon understanding them it seems that one can “just see” that they are necessary or impossible. A commonly discussed example is the claim that it is not possible for an object to be red and green all over at the same time. My purpose in this paper is to account for how it is that such beliefs are justified. I begin by criticizing a suggestion defended lately by Laurence BonJour and others. BonJour argues that because these (...) beliefs are necessarily true external factors are irrelevant to their epistemic status. This is how BonJour can defend a foundationalist account of the a priori while at the same time attacking foundationalism with respect to empirical knowledge. I argue that this view of the a priori is mistaken. External factors are relevant even in the case of those a priori beliefs it seems we can just see to be true. I defend an alternative account of the justification of such beliefs. I argue that these beliefs may be justified in virtue of their being the products of a basic belief-forming mechanism one has no reason to distrust. In particular, I argue that this approach can be employed to account for the non-inferential justification of a priori beliefs without falling prey to the line of objections BonJour lodges against other forms of foundationalism. (shrink)

There are propositions that upon understanding them it seems that one can “just see” that they are necessary or impossible. A commonly discussed example is the claim that it is not possible for an object to be red and green all over at the same time. My purpose in this paper is to account for how it is that such beliefs are justified. I begin by criticizing a suggestion defended lately by Laurence BonJour and others. BonJour argues that because these (...) beliefs are necessarily true external factors are irrelevant to their epistemic status. This is how BonJour can defend a foundationalist account of the a priori while at the same time attacking foundationalism with respect to empirical knowledge. I argue that this view of the a priori is mistaken. External factors are relevant even in the case of those a priori beliefs it seems we can just see to be true. I defend an alternative account of the justification of such beliefs. I argue that these beliefs may be justified in virtue of their being the products of a basic belief-forming mechanism one has no reason to distrust. In particular, I argue that this approach can be employed to account for the non-inferential justification of a priori beliefs without falling prey to the line of objections BonJour lodges against other forms of foundationalism. (shrink)

In this paper, we show how an internal tension in Wilfrid Sellars’s understanding of truth, as well as an external tension in his account of meaning attribution, can be resolved while adhering to a Sellarsian spirit, by appealing to the particular fictionalist accounts of truth-talk and proposition-talk that we have developed elsewhere.

In this article I offer a naturalistic defence of semantic externalism. I argue against the following: (1) arguments for externalism rest mainly on conceptual analysis; (2) the community conceptual norms relevant to individuation of propositional attitudes are quasi-analytic; (3) externalism raises serious questions about knowledge of propositional attitudes; and (4) externalism might be OK for “folk psychology” but not for cognitive science. The naturalist alternatives are as follows. (1) Community norms are not anything like a priori; sometimes they are incoherent. (...) (2) Often propositional attitudes lack determinate content: we do not know the content of thoughts or sentences because there is no fully definite content to be known. (3) Often achieving determinate content is a major socially mediated cognitive achievement that depends on just the factors of social and environmental embedding posited as individuative by externalists, so (4) externalism explains how people can, sometimes, come to have, and to know, determinate attitude contents. (5) Reference and content, for both thought and language, are determined by complex and messy dialectical relations involving many such environmental and social factors; consequently, determinate reference, truth-conditions, etc., are somewhat uncommon outcomes. (6) The basic semantic relation is (typically imperfect) socially mediated accommodation between perceptual, cognitive, linguistic, classificatory and inferential dispositions and relevant causal structures in the environment. (7) This accommodation explains how concepts, language, taxonomies, etc., contribute to individuals' rational inductive, explanatory and practical achievements. (8) So externally individuated propositional attitudes are required for cognitive science explanations of individual human rationality and its inductive and explanatory achievements. “Individual rationality ain't (entirely) in the individual head.”. (shrink)

There is a thesis that assure the computability between externalize about mental content and self-knowledge (BURGE, 1988). However, this theses, that explore the auto-verification property of claims of the type “I think that p”, works only for assertive claims that are express in the simple present tense. Among the problematic cases are the claims in the past tense and claims about specific propositional attitude. This fails about the thesis of the compatibility is pointed by Boghossian (1992) as a prove of (...) the incompatibility between externalism and self-knowledge. There is a wide bibliography that try to manage the claims in past tense. In these articles (BURGE, 1995), It's argued that the preservative function of memory assure the veracity of the claims in past tense (at last in normal situations). However, there isn't a lot of work about the problem of the claims about specific propositional attitude. This article propose a expanse the preservative memory theory, with the purpose that It manages the self-knowledge of past propositional attitudes. We propose some criteria that define when a claim of this type is true, mainly in the cases that the content of the attitude of the past thought is not identical with the actual thought. The criterion about the similarity of content is the Bernecker's one (2009). The criterion about similarity of attitudes is new: the attitude that S thinks in t1 as if he have had in t2 is similar with the attitude that he had in t 1 iff the actual attitude is entailed by the former. (shrink)

This chapter contains sections titled: Setting the stage Leitmotifs External guidelines Necessary propositions and norms of representation Concerning the truth and falsehood of necessary propositions What necessary truths are about Illusions of correspondence: ideal objects, kinds of reality and ultra‐physics The psychology and epistemology of the a priori Propositions of logic and laws of thought Alternative forms of representation The arbitrariness of grammar A kinship to the non‐arbitrary Proof in mathematics Conventionalism.

Much has been said about Moore’s proof of the external world, but the notion of proof that Moore employs has been largely overlooked. I suspect that most have either found nothing wrong with it, or they have thought it somehow irrelevant to whether the proof serves its antiskeptical purpose. I show, however, that Moore’s notion of proof is highly problematic. For instance, it trivializes in the sense that any known proposition is provable. This undermines Moore’s proof as he (...) conceives it since it introduces a skeptical regress that he goes at length to resist. I go on to consider various revisions of Moore’s notion of proof and finally settle on one that I think is adequate for Moore’s purposes and faithful to what he says concerning immediate knowledge. (shrink)

In On Certainty, Wittgenstein formulates several criticisms against skepticism about our knowledge of the external world. My goal is to show that Wittgenstein does not here offer a convincing answer to the skeptical problem. First, I will present a strong version of the problem, understanding it as a paradoxical argument. In the second part, I will introduce and raise problems for two pragmatic responses against skepticism that appear in On Certainty. Finally, I will present some of Wittgenstein’s logical criticisms (...) against skepticism, which may initially be considered strong, because they seem to refute some skeptical assumptions. They concern Wittgenstein’s ideas that it is logically impossible to doubt and to be mistaken about Moorean propositions, and that these propositions don’t have a truth-value. But even these, I intend to show, do not really challenge skepticism, for they are not well grounded. (shrink)

My topic is the skeptical challenges that are posed by Hume and Berkeley. Can one show, contrary to what Hume claimed, that one is justified in projecting regularities that have held in the past into the future? Can one show that induction is justified? Or can one show, contrary to what Berkeley claimed, not only that the hypothesis that there is an external, physical world expresses a coherent proposition, but also one that is extremely likely to be true? (...) -/- The basic theses concerning skepticism that I believe can be proved are as follows: (1) Skepticism about induction can be refuted. (2) Skepticism about the existence of an external, physical world can be refuted. -/- Will I actually prove that these things are so? Well, as you might have guessed, not quite! Still, my goals are not completely devoid of ambition. First of all, I shall be alluding to mathematical proofs that make it very plausible that whether induction can be justified depends upon a certain metaphysical issue. You may now be thinking, “Wow, that sounds like bad news! A philosophical result in epistemology that depends upon metaphysics. I was hoping that this would be an upbeat talk.” But the answer is that the dependence upon an issue in metaphysics is not as troubling as one might initially suppose. The reason is that the metaphysical issue in question is whether something is logically possible, and so whether it is so or not is a necessary truth. In any case, I shall begin by explaining what the metaphysical issue in question is. (shrink)

1. Sensa and propositional experience. 2. An option between propositions and properties (as objects or contents of sensory experience). 3. The property option and adverbialism. 4. Sensa as images, images as intentionalia. 5. Do we refer directly to sensa? 6. Focusing and the supervenience of images and our reference to them: a question raised. 7. Internal and external properties of images and characters. Strict vistas introduced. 8. A correction on strict vistas. 9. Focusing and experience: the question answered. 10. (...) Conclusion. (shrink)

One of the early propositions on the nature of Southeast Asia comes from George Coedes’ 1968 The Indianized states of Southeast Asia, which assumes that Southeast Asia and its identity construction resulted from the region’s passive acceptance of culture from India and China. Such is the case that that the cultural landscape of the region becomes a mere accumulation of external influences. Robert Redfield’s notion of “great and little traditions” that Southeast Asian historians used in examining and understanding Southeast (...) Asian identity and history influenced these ideas. Zeus Salazar’s 1988 The Malayan connection, challenges this framing of Southeast Asian history. -/- This study aims to evaluate Salazar’s historiographical contributions to Southeast Asian studies, especially in terms of his efforts to problematize and establish the pan-Malayan identity of insular Southeast Asia. This will be undertaken through a critical review of his works such as Kabihasnang Asyano: Isang pangkasaysayang introduksyon [Asian civilization: A historical introduction] (1990); The Malayan connection (1998); Ang Pilipinong banua/banwa sa mundong Melano-Polynesiano [The Philippines in the Melano-Polynesian world] (2006); and, Asya: Kasaysayan at kabihasnan [Asia: History and civilization] (2010), as well as the works of some scholars in Southeast Asian Studies who have been influenced by Salazar and his works. The research will also show that the nationalist historiography that Salazar advocates emphasizes and highlights the Southeast Asian region’s Austronesian roots as the basis of the region’s cultural identity. (shrink)

Typically, nudging is a technique for steering the choices of people without giving reasons or using enforcement. In benevolent cases, it is used when people are insufficiently responsive to reason. The nudger triggers automatic cognitive mechanisms – sometimes even biases – in smart ways in order to push irrational people in the right direction. Interestingly, this technique can also be applied to doxastic attitudes. Someone who is doxastically unresponsive to evidence can be nudged into forming true beliefs or doxastic attitudes (...) that are propositionally justified. When doxastic nudging uses non-rational mechanisms, the worry is that nudging cannot result in justified beliefs or knowledge, as the resulting doxastic attitudes lack the right kind of basis. In this paper, I will argue that given the right background views about knowledge, justified beliefs and the relevant processes, epistemic nudging is possible even in these cases. That is, all kinds of nudging can – in appropriate circumstances – produce justified beliefs or knowledge in the nudgee. (shrink)

1. Sensa and propositional experience. 2. An option between propositions and properties (as objects or contents of sensory experience). 3. The property option and adverbialism. 4. Sensa as images, images as intentionalia. 5. Do we refer directly to sensa? 6. Focusing and the supervenience of images and our reference to them: a question raised. 7. Internal and external properties of images and characters. Strict vistas introduced. 8. A correction on strict vistas. 9. Focusing and experience: the question answered. 10. (...) Conclusion. (shrink)

In the context of propositional logics, we apply semantics modulo satisfiability—a restricted semantics which comprehends only valuations that satisfy some specific set of formulas—with the aim to efficiently solve some computational tasks. Three possible such applications are developed.We begin by studying the possibility of implicitly representing rational McNaughton functions in Łukasiewicz Infinitely-valued Logic through semantics modulo satisfiability. We theoretically investigate some approaches to such representation concept, called representation modulo satisfiability, and describe a polynomial algorithm that builds representations in the newly (...) introduced system. An implementation of the algorithm, test results and ways to randomly generate rational McNaughton functions for testing are presented. Moreover, we propose an application of such representations to the formal verification of properties of neural networks by means of the reasoning framework of Łukasiewicz Infinitely-valued Logic.Then, we move to the investigation of the satisfiability of joint probabilistic assignments to formulas of Łukasiewicz Infinitely-valued Logic, which is known to be an NP-complete problem. We provide an exact decision algorithm derived from the combination of linear algebraic methods with semantics modulo satisfiability. Also, we provide an implementation for such algorithm for which the phenomenon of phase transition is empirically detected.Lastly, we study the game theory situation of observable games, which are games that are known to reach a Nash equilibrium, however, an external observer does not know what is the exact profile of actions that occur in a specific instance; thus, such observer assigns subjective probabilities to players actions. We study the decision problem of determining if a set of these probabilistic constraints is coherent by reducing it to the problems of satisfiability of probabilistic assignments to logical formulas both in Classical Propositional Logic and Łukasiewicz Infinitely-valued Logic depending on whether only pure equilibria or also mixed equilibria are allowed. Such reductions rely upon the properties of semantics modulo satisfiability. We provide complexity and algorithmic discussion for the coherence problem and, also, for the problem of computing maximal and minimal probabilistic constraints on actions that preserves coherence.prepared by Sandro Márcio da Silva Preto.E-mail: [email protected]:https://doi.org/10.11606/T.45.2021.tde-17062021-163257. (shrink)

I-theories of bare demonstratives take the semantic referent of a demonstrative to be determined by an inner state of the utterer. E-theories take the referent to be determined by factors external to the utterer. I argue that, on the Standard view of communication, neither of these theories can be right. Firstly, both are committed to the existence of conventions with superfluous content. Secondly, any claim to the effect that a speaker employs the conventions associated with these theories cannot have (...) any content, i.e. nothing can count as following these conventions. Bare demonstratives may well not be devices of semantic reference at all, i.e. may not actually contribute a referent to the proposition semantically expressed by an utterance. (shrink)

A conscious occurrent propositional attitude contributes to the content of consciousness by occupying attention, rather than by being its object. Externally individuated concepts contribute to the nature of this conscious occupation of attention. Those same externally individuated concepts are redeployed when the occurrence of these conscious states gives a subject a reason for self‐ascribing a propositional attitude. This account, involving both conscious states and conceptual redeployment, steers a middle course between accounts of self‐ascription that involve introspection and those accounts under (...) which a subject does not have reasons when she makes such a self‐ascription. (shrink)

In this article, I cast doubt on an apparent truism, namely, that if evidence is available for gathering and use at a negligible cost, then it’s always instrumentally rational for us to gather that evidence and use it for making decisions. Call this ‘value of information’ (VOI). I show that VOI conflicts with two other plausible theses. The first is the view that an agent’s evidence can entail non-trivial propositions about the external world. The second is the view that (...) epistemic rationality requires us to update our credences by conditionalization. These two theses, given some plausible assumptions, make room for rationally biased inquiries where VOI fails. I go on to argue that this is bad news for defenders of VOI. (shrink)

How do we explain the truth of true propositions? Truthmaker theory is the branch of metaphysics that explores the relationships between what is true and what exists. It plays an important role in contemporary debates about the nature of metaphysics and metaphysical enquiry. -/- In this book Jonathan Tallant argues, controversially, that we should reject truthmaker theory. In its place he argues for an 'explanationist' approach. Drawing on a deflationary theory of truth he shows that it allows us to explain (...) the truth of true propositions and respond to recent arguments that purport to show otherwise. He augments this with a distinction between internally and externally quantified claims: externally quantified claims are claims that quantify over elements of our ontology that play an indispensable explanatory role; internally quantified claims do not. He deploys this union of deflationism and a distinction between kinds of quantification to pursue metaphysical inquiry, sketching the implications for a number of first-order debates, including those in the philosophy of time, modality and mathematics, and also shows how this explanationist model can be used to solve the key problems that afflicted truthmaker theory. -/- Truth and the World is an important contribution to debates about truth and truthmaker theory as well as metametaphysics, the metaphysics of time and the metaphysics of mathematics, and is essential reading for students and scholars engaged in the study of these topics. (shrink)

This is the third volume of Donald Davidson's philosophical writings. In this selection of his work from the 1980s and the 90s, Davidson critically examines three types of propositional knowledge—knowledge of one's own mind, knowledge of other people's minds, and knowledge of the external world—by working out the nature and status of each type, and the connections and differences among them. While his main concern remains the relation between language, thought, and reality, Davidson's discussions touch a vast variety of (...) issues in analytic metaphysics, epistemology, and the philosophy of mind, including those of truth, human rationality, and facets of the realism–antirealism debate. (shrink)

Evidentialism is a view about the conditions under which a person is epistemically justified in having a particular doxastic attitude toward a proposition. Evidentialism holds that the justified attitudes are determined entirely by the person's evidence. This is the traditional view of justification. It is now widely opposed. The essays included in this volume develop and defend the tradition. Evidentialism has many assets. In addition to providing an intuitively plausible account of epistemic justification, it helps to resolve the problem (...) of the criterion, helps to disentangle epistemic and ethical evaluations, and illuminates the relationship between epistemic evaluations of beliefs and the evaluation of the methods used to form beliefs. These issues are all addressed in the essays presented here. External world skepticism poses the classic problem for an epistemological theory. The final essay in this volume argues that evidentialism is uniquely well qualified to make sense of skepticism and to respond to its challenge. Evidentialism is a version of epistemic internalism. Recent epistemology has included many attacks on internalism and has seen the development of numerous externalist theories. The essays included here respond to those attacks and raise objections to externalist theories, especially the principal rival, reliabilism. Internalism generally has been criticized for having unacceptable deontological implications, for failing to connect epistemic justification to truth, and for failing to provide an adequate account of what makes basic beliefs justified. Each of these charges is answered in these essays. The collection includes two previously unpublished essays and new afterwords to five of the reprinted essays; it will be the definitive resource on evidentialism for all epistemologists. (shrink)

I argue that perceptual consciousness is constituted by a mental activity. The mental activity in question is the activity of employing perceptual capacities, such as discriminatory, selective capacities. This is a radical view, but I hope to make it plausible. In arguing for this mental activist view, I reject orthodox views on which perceptual consciousness is analyzed in terms of peculiar entities, such as, phenomenal properties, external mind-independent properties, propositions, sense-data, qualia, or intentional objects.

Evidentialism is a view about the conditions under which a person is epistemically justified in having a particular doxastic attitude toward a proposition. Evidentialism holds that the justified attitudes are determined entirely by the person's evidence. This is the traditional view of justification. It is now widely opposed. The essays included in this volume develop and defend the tradition.Evidentialism has many assets. In addition to providing an intuitively plausible account of epistemic justification, it helps to resolve the problem of (...) the criterion, helps to disentangle epistemic and ethical evaluations, and illuminates the relationship between epistemic evaluations of beliefs and the evaluation of the methods used to form beliefs. These issues are all addressed in the essays presented here. External world skepticism poses the classic problem for an epistemological theory. The final essay in this volume argues that evidentialism is uniquely well qualified to make sense of skepticism and to respond to its challenge.Evidentialism is a version of epistemic internalism. Recent epistemology has included many attacks on internalism and has seen the development of numerous externalist theories. The essays included here respond to those attacks and raise objections to externalist theories, especially the principal rival, reliabilism. Internalism generally has been criticized for having unacceptable deontological implications, for failing to connect epistemic justification to truth, and for failing to provide an adequate account of what makes basic beliefs justified. Each of these charges is answered in these essays. The collection includes two previously unpublished essays and new afterwords to five of the reprinted essays; it will be the definitive resource on evidentialism for all epistemologists. (shrink)

Our thought and talk are situated. They do not take place in a vacuum but always in a context, and they always concern an external situation relative to which they are to be evaluated. Since that is so, François Recanati argues, our linguistic and mental representations alike must be assigned two layers of content: the explicit content, or lekton, is relative and perspectival, while the complete content, which is absolute, involves contextual factors in addition to what is explicitly represented. (...) Far from reducing to the context-independent meaning of the sentence-type or, in the psychological realm, to the 'narrow' content of mental representations, the lekton is a level intermediate between context-invariant meaning and full propositional content. Recognition of that intermediate level is the key to a proper understanding of context-dependence in language and thought. Going beyond the usual discussions of indexicality and unarticulated constituents in the philosophy of language, Recanati turns to the philosophy of mind for decisive arguments in favour of his approach. He shows, first, that the lekton is the notion of content we need if we are to properly understand the relations between perception, memory, and the imagination, and second, that the psychological 'mode' is what determines the situation the lekton is relative to. In this framework he provides a detailed account of de se thought and the first person point of view. In the last part of the book, Recanati discusses the special freedom we have, in discourse and thought, to shift the situation of evaluation. He traces that freedom to a special mode - the anaphoric mode - which enables us to go beyond the egocentric stage of pre-human thought. (shrink)