The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (1) can (...) be computed from the calculus. (shrink)

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of a sentence at (...) a context is (or determines) a function from worlds to truth values. (shrink)

Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...) be approximated by finite-valued logics. It is shown that the minimal m-valued logic for which a given calculus is strongly sound can be calculated. It is also investigated under which conditions propositional logics can be characterized as the intersection of (effectively given) sequences of finite-valued logics. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

Values exist not in isolation, but in complex wholes. Values are what they are because of the complex wholes in which they are situated. To do justice to this thesis will require a holistic ontology, a theory according to which many types of entities exist only as inseparable parts or moments of wider contexts or environments. An ontological theory of environments -- with roots in Gestalt psychology and the ecological psychology of J. J. Gibson and Roger Barker, and which is (...) related also to the theory of motivation sketched by Edmund Husserl as part of his theory of the lifeworld or Lebenswelt -- will help us to understand the ontology of values. It will help us to understand what values are. It will not, however, tell us what is good or bad. From facts of ontology, no value propositions follow. (shrink)

Proposition and sentence are two separate entities indicating their specific purposes, definitions and problems. A proposition is a logical entity. A proposition asserts that something is or not the case, any proposition may be affirmed or denied, all proportions are either true (1’s) or false (0’s). All proportions are sentences but all sentences are not propositions. Propositions are factual contains three terms: subject, predicate and copula and are always in indicative or declarative mood. While sentence is (...) a grammatical entity, a unit of language that expresses a complete thought; a sentence may express a proposition, but is distinct from the proposition it may be used to express: categories, declarative sentences, exclamatory, imperative and interrogative sentences. Not all sentences are propositions, propositions express sentence. Sentence is a proposition only in condition when it bears truth values i.e. true or false. We use English sentences governed by imprecise rule to state the precise rules of proposition. In logic we use sentence as logical entity having propositional function but grammatical sentences are different from logical sentences while the former are having only two divisions namely subject and predicate and may express wishes, orders, surprise or facts and also have multiple subjects and predicates and the latter must be in a propositional form which states quantity of the subject and the quality of the proposition and multiple subjects and multiple predicate make the proposition multiple. (shrink)

It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...) be eternally true or false. Following Kaplan and Lewis’s Operator Argument, I argue that compositional semantic values of sentences in contexts do not correspond to eternal propositions. Thus, either we regard the non-eternal entities that in fact realize the semantic role of propositions as also fulfilling the remaining propositional roles, or we abandon the assumption that there is a unique realizer of all the roles. The Operator Argument has recently come under attack, mainly for its tense-logical assumptions. However, rejecting these assumptions is not a sufficient defense of the compatibility of the two claims, since the extensional alternative to the tense-logical framework does not allow us to universally retain eternal propositions as compositional semantic values of sentences either. (shrink)

Transient Truths: An Essay in the Metaphysics of Propositions provides the first book-length exposition and defense of semantic temporalism, the view that propositions are contents or semantic values that can change their truth-values across time.

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this (...) paper is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

While every health care system stakeholder would seem to be concerned with obtaining the greatest value from a given technology, there is often a disconnect in the perception of value between a technology’s promoters and those responsible for the ultimate decision as to whether or not to pay for it. Adopting an empirical ethics approach, this paper examines how five Canadian medical device manufacturers, via their websites, frame the corporate “value proposition” of their innovation and seek (...) to respond to what they consider the key expectations of their customers. Our analysis shows that the manufacturers’ framing strategies combine claims that relate to valuable socio-technical goals and features such as prevention, efficiency, sense of security, real-time feedback, ease of use and flexibility, all elements that likely resonate with a large spectrum of health care system stakeholders. The websites do not describe, however, how the innovations may impact health care delivery and tend to obfuscate the decisional trade-offs these innovations represent from a health care system perspective. Such framing strategies, we argue, tend to bolster physicians’ and patients’ expectations and provide a large set of stakeholders with powerful rhetorical tools that may influence the health policy arena. Because these strategies are difficult to counter given the paucity of evidence and its limited use in policymaking, establishing sound collective health care priorities will require solid critiques of how certain kinds of medical devices may provide a better (i.e., more valuable) response to health care needs when compared to others. (shrink)

A central dispute in discussions of self-locating attitudes is whether attitude relations like believing and knowing are relations between an agent and properties (things that vary in truth value across individuals) or between an agent and propositions (things that do not so vary). Proponents of the proposition view have argued that the property view is unable to give an adequate account of relations like communication and agreement. We agree with this critique of the property view, and in this (...) essay we show that the problems facing the property view are much more serious than has been appreciated. We then develop and explore two versions of the proposition view. In each case, we show how facts about the self-ascription of properties may be determined by facts about propositional attitudes in conjunction with certain other facts. (shrink)

Proposition are the material of our reasoning. Proposition are the basic building blocks of the world/thought. Proposition have intense relation with the world. World is a series of atomic facts and these facts are valued by the proposition although sentences explain the world of reality but can’t have any truth values, only proposition have truth values to describe the world in terms of assertions. Propositions are truth value bearers, the only quality of proposition (...) is truth & falsity, that they are either true or false. Proposition mirrors the world and explains how world is arranged in an orderly manner. It scans the world(object) and are composed of atomic facts experienced and can be analyzed into propositions. Propositions are the basic units of logic. The truth (affirm) and falsity (nego) are the qualities of the propositions and universality (generality) and Particularity are the quantities of the propositions. There are propositions which are neither true nor false, they are called Pseudo-Propositions and their quality are ipso-facto i.e meaningless. Propositions are used in computers with the modifications brought by the modern logicians in the form of statements or logical sentences. The truth table of the logical gates and binary operations (1,s or 0,s are due to the revolution of the modern logic or mathematical logic. It is a fact that proposition cannot change the word but it shows the relation between the object and of the word. Objectives: The objectives of this research is to explore the importance and need of propositions in logic. It also shows the analysis of propositions and how a philosopher thoughts in terms of propositions or concepts. In this research problem it is shown that propositions had been described in many ways by most of the philosophers and logicians from Aristotle to contemporary philosophers. It also analysis the contribution of the philosophers towards proposition and its relation to the world of reality. This research also describes the definition and nature of proposition. (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)

According to contextualist theories in metaethics, when you use a moral term in a context, the context plays an ineliminable part in determining what natural property will be the semantic value of the term. Furthermore, on subjectivist and relativist versions of these views, it is either the speaker's own moral code or her moral community's moral code that constitutes the reference-fixing context. One standard objection to views of this type is that they fail to enable us to disagree in (...) ordinary conversations. In this chapter, I develop a new response to this objection on the basis of Kai von Fintel and Anthony Gillies' notion of proposition clouds. I argue that, because we live in a multicultural society, the conversational contexts we face will fail to disambiguate between all the things we could mean. This is why we can at best put into play proposition clouds when we make moral utterances. All the propositions in such clouds are then available for rejection and acceptance on the behalf of our audiences. The norms of conversation then guide us to make informative contributions to the conversation - accept and reject propositions in a way that leads to co-ordination of action and choice. (shrink)

In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In particular, we show that (...) the propositional connectives that are definable in terms of Frege’s horizontal, negation, and conditional are exactly the connectives that fuse with the horizontal, and we show that the logical operators that are definable in terms of the horizontal, negation, the conditional, and identity are exactly the operators that are invariant with respect to permutations on the domain that leave the truth-values fixed. We conclude with some general observations regarding how Frege understood his logic, and how this understanding differs from modern views. (shrink)

Why does knowledge matter? Two answers have been influential in the recent literature. One is that it has value: knowledge is one of the goods. Another is that it plays a significant normative role: knowledge is the norm of action, belief, assertion, or the like. This paper discusses whether one can derive one of the claims from the other. That is, whether assuming the idea that knowledge has value — and some defensible general hypotheses about norms and values (...) —, we could derive the claim that it plays the alleged normative role. Or whether, assuming that knowledge does play that role — and some defensible general hypotheses —, we could derive the claim that it has value. It argues that the route from Value to Norms is unsuccessful. The main problem here is that the idea that knowledge has value does not seem enough to derive the idea that one should act on what one knows. It finds the route from Norms to Value more promising, though a complete path is missing. The main idea here is that knowledge is good because it is normatively required to do good things, such as believing the truth and acting in view of true propositions. But since not all normative conditions for doing something good is itself good, we still lack an explanation of why knowledge would be so. The paper finally suggests an alternative perspective, on which we do not try to derive the idea that knowledge has value from its normative role, but rather use its normative role to explain away the idea that it has value. (shrink)

proposition. Universal proposition is defined as the proposition in which the relation between the subject term and the predicate term is without any condition, in which the predicate is either affirmed or denied of the subject unconditionally. In nyaya logic the term vyapti is a universal proposition or invariable relation between the middle term (linga/hetu) and the major term (sadya) . According to the category of relation propositions are divided into categorical and the conditional. Although (...) class='Hi'>proposition is a logical entity which is an assertion, either affirm or deny the subject. Truth and falsity are the values of proposition. Universal proposition is of two kinds: universal affirmative proposition and universal negative proposition while universality is the quantity of the subject and affirmation or negation is the quality of the proposition. Anumana (inference) is the knowledge of the objects which follows some other knowledge. In nyaya logic Inference is a combined deductive-inductive reasoning consisting of at least three categorical propositions and in it there are at least three propositions consisting of three terms, viz. the paksa or minor term about which we infer something, the sadhya or major term which inferred object, and the linga(probans) or sadana or middle which is invariably related to the major, and is present in the minor. Indian inference resembles to the categorical syllogism of western logic. In nyaya logic inference consisting of three propositions the first proposition is the conclusion of the syllogism , the second is the minor premise and last the major premise which is totally opposite of western logic. Syllogism of nyaya logic contains five propositions, called its Avayavas or members. These are pratijna, hetu, udarana, upanaya, and nigamana. Middle term have five characteristics in order to make five Figures of syllogism as Figure is the form of the syllogism. These five characteristics, or at least four of them , must be found in the middle term of a valid inference. If not, there will be fallacies(error in reasoning). Nyayikas give us three classifications of inference. According to first inference is of two kinds, namely, svartha and parartha. According to another inference is of three kinds, purvavat, sesavat and samanyatodrsta. According to third classification inference is distinguished into kevalanvayi, kevala-vyatireki and anvaya-vyatireki. (shrink)

Determiner phrases embedded under a propositional attitude verb have traditionally been taken to denote answers to implicit questions. For example, 'the capital of Vermont' as it occurs in 'John knows the capital of Vermont' has been thought to denote the proposition which answers the implicit question 'what is the capital of Vermont?' Thus, where 'know' is treated as a propositional attitude verb rather than an acquaintance verb, 'John knows the capital of Vermont' is true iff John knows that Montpelier (...) is the capital of Vermont. The traditional view lost its popularity long ago, because it was thought to rest on the controversial assumption that determiner phases embedded under a propositional attitude verb function semantically in the same way as the corresponding wh-clauses. Here we defend the traditional assumption against objections. We then argue that wh-clauses are not to be given a uniform treatment as indirect questions. When occurring under a propositional attitude verb, wh-clauses are better treated as having a predicate-type semantic value. We conclude by considering some possible objections to the predicate view. (shrink)

The thesis that the two-valued system of classical logic is insufficient to explanation the various intermediate situations in the entity, has led to the development of many-valued and fuzzy logic systems. These systems suggest that this limitation is incorrect. They oppose the law of excluded middle (tertium non datur) which is one of the basic principles of classical logic, and even principle of non-contradiction and argue that is not an obstacle for things both to exist and to not exist at (...) the same time. However, contrary to these claims, there is no inadequacy in the two-valued system of classical logic in explanation the intermediate situations in existence. The law of exclusion and the intermediate situations in the external world are separate things. The law of excluded middle has been inevitably accepted by other logic systems which are considered to reject this principle. The many-valued and the fuzzy logic systems do not transcend the classical logic. Misconceptions from incomplete information and incomplete research are effective in these criticisms. In addition, it is also effective to move the discussion about the intellectual conception (tasawwur) into the field of judgmental assent (tasdiq) and confusion of the mawhum (imaginable) with the ma‘kûl (intellegible). (shrink)

For sentences such as (1), "Columbus knows that the sea is unpredictable", there is a face-value theory, according to which ‘that’-clauses are singular terms denoting propositions. Famously, Prior raised an objection to the theory, but defenders of the face-value theory such as Forbes, King, Künne, Pietroski and Stanley urged that the objection could be met by maintaining that in (1) ‘to know’ designates a complex relation along the lines of being in a state of knowledge having as content. (...) Is the theory safe, then? The aim of this paper is to show that a new problem for the theory arises if we consider attributions of skills, knacks, propensities and abilities. (shrink)

Evaluative concepts and emotions appear closely connected. According to a prominent account, this relation can be expressed by propositions of the form ‘something is admirable if and only if feeling admiration is appropriate in response to it’. The first section discusses various interpretations of such ‘Value-Emotion Equivalences’, for example the Fitting Attitude Analysis, and it offers a plausible way to read them. The main virtue of the proposed way to read them is that it is well-supported by a promising (...) account of emotions, namely the Perceptual Theory of Emotions, which emphasises the analogies between emotions and sensory perceptual experiences. The second section considers a worry about whether concepts such as admirable are really evaluative. It is maintained that even though the arguments used to show that thick terms and concepts are not inherently evaluative can be transposed to affective concepts, these arguments can be resisted. So there is no need to abandon the intuitive claim that affective concepts are inherently evaluative. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can be (...) naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

You can be convinced that something is true but still desire to see it for yourself. A trusted critic makes some observations about a movie, now you want to watch it with them in mind. A proof demonstrates the validity of a formula, but you are not satisfied until you see how the formula works. In these cases, we place special value on knowing by what Sosa (2021) calls “firsthand insight” a truth that we might already know in some (...) other way such as by testimony, the balance of evidence, or proof. This phenomenon raises two questions. First, what is the nature of firsthand insight? Second, what value motivates us to pursue firsthand insight when other kinds of knowledge are readily available? In the two central parts of this paper, I develop answers to these questions. I argue that firsthand insight that a proposition is true is knowledge based on experience of what makes that proposition true, and I argue that desires for firsthand insight are motivated by concerns with alienation. In a concluding section, I briefly illustrate how the resulting view of the nature and value of firsthand insight might bear on broader topics in the theory of value. (shrink)

To say that evidence is normative is to say that what evidence one possesses, and how this evidence relates to any proposition, determines which attitude among believing, disbelieving and withholding one ought to take toward this proposition if one deliberates about whether to believe it. It has been suggested by McHugh that this view can be vindicated by resting on the premise that truth is epistemically valuable. In this paper, I modify the strategy sketched by McHugh so as (...) to overcome the initial difficulty that it is unable to vindicate the claim that on counterbalanced evidence with respect to P one ought to conclude deliberation by withholding on P. However, I describe the more serious difficulty that this strategy rests on principles whose acceptance commits one to acknowledging non-evidential reasons for believing. A way to overcome this second difficulty, against the evidentialists who deny this, is to show that we sometimes manage to believe on the basis of non-epistemic considerations. If this is so, one fundamental motivation behind the evidentialist idea that non-epistemic considerations could not enter as reason in deliberation would lose its force. In the second part of this paper I address several strategies proposed in the attempt to show that we sometimes manage to believe on the basis of non-epistemic considerations and show that they all fail. So, I conclude that the strategy inspired by McHugh to ground the normativity of evidence on the value of truth ultimately fails. (shrink)

The purpose of this paper is to inquire into the relationship between persuasive definition and common knowledge (propositions generally accepted and not subject to dispute in a discussion). We interpret the gap between common knowledge and persuasive definition (PD) in terms of potential disagreements: PDs are conceived as implicit arguments to win a potential conflict. Persuasive definitions are analyzed as arguments instantiating two argumentation schemes, argument from classification and argument from values, and presupposing a potential disagreement. The argumentative structure of (...) PDs reveals different levels of disagreement, and different pos-sibilities of resolving the conflict or causing dialogical deadlock. (shrink)

The meanings of utterances and thoughts are commonly regarded in philosophical semantics as abstract objects, called «propositions», which account for how different utterances and thoughts can be synonymous and which constitute the primary truth-bearers. I argue that meanings are instead natural properties that play causal roles in the world, that the kind of «One over Many» thinking underlying the characterization of shared meanings as abstract objects is misguided and that utterances and thoughts having truth-values in virtue of their meanings does (...) not entail that meanings themselves are truth-bearers. (shrink)

There was a time when Greco-Roman culture recognized faith as an indispensable social good. More recently, however, the value of faith has been called into question, particularly in connection with religious commitment. What, if anything, is valuable about faith—in the context of ordinary human relations or as a distinctive stance people might take in relation to God? I approach this question by examining the role that faith talk played both in ancient Jewish and Christian communities and in the larger (...) Greco-Roman culture in which Christian faith talk evolved. I locate the value of faith and faithfulness in the context of relationships involving trust and loyalty and argue that what is most distinctively valuable about faith is the function it plays in sustaining relationships through various kinds of challenges, including through evidentially unfavorable circumstances and significant periods of doubt. In light of this discussion, I set out a view of relational faith and, taking Mother Teresa as an exemplar, argue for two further conclusions. First, faith can play the valuable role that it plays in sustaining relationships even without belief of the salient propositions. Second, in at least some circumstances, in order for faith to play this valuable role in a way that does not require epistemic opinions that fail to fit one’s evidence, it is important that faith does not require such belief. (shrink)

A common view relating compositional semantics and the objects of assertion holds the following: Sentences φ and ψ expresses the same proposition iff φ and ψ have the same modal profile. Following Dummett, Evans, and Lewis, Stanley argues that this view is fundamentally mistaken. According to Dummett, we must distinguish the semantic contribution a sentence makes to more complex expressions in which it occurs from its assertoric content. Stojnić insists that views which distinguish the roles of content and semantic (...) value must nevertheless ensure a tight connection between the two. But, she contends, there is a crucial disanalogy between the views that follow Lewis and the views that follow Dummett. Stanley’s Dummettian view is argued to contain a fatal flaw: On such views, there is no way to secure an appropriate connection between semantic value and a theoretically motivated notion of assertoric content. I will review the background issues from Dummett, Evans, Lewis, and Stanley, and provide a principled way of bridging the gap between semantic value and a theoretically motivated notion of assertoric content. (shrink)

It is possible to write a Kelsenian ‘Legal-Philosophical Tractate’ – based on Kelsen’s Pure Theory of Law – after the example of Wittgenstein’s Tractatus Logico-Philosophicus. The following main and sub-propositions analogous to the main and sub-propositions of the Tractatus are a proof thereof and give an initial impetus to it: “May others come and do it better”. Unlike Wittgenstein’s Tractatus, that ends with the famous proposition 7 that one should be silent about what cannot be spoken, a Kelsenian Tractate (...) would not end with an analogous main proposition, but with two sub-propositions that show the (relative) value of both ‘the speaking’ and ‘the silence’ of positive law. (shrink)

Does utterance understanding require reliable (i.e. non-lucky) recovery of the speaker’s intended proposition? There are good reasons to answer in the affirmative: the role of understanding in supporting testimonial knowledge seemingly requires such reliability. Moreover, there seem to be communicative analogues of Gettier cases in which luck precludes the audience’s understanding an utterance despite recovering the intended proposition. Yet, there are some major problems with the view that understanding requires such reliability. Firstly, there are a number of cases (...) in which understanding seems to occur in a lucky way. In light of these cases I argue that we need to narrow down the precise sense in which understanding precludes luck – the anti-luck condition attached to linguistic understanding is importantly different to anti-luck conditions typically applied to knowledge. Secondly, Megan Hyska has recently argued that, assuming understanding precludes luck, we get a communicative analogue of the value problem for knowledge. i.e. why is it better to meet the other conditions for understanding in a reliable way than in a lucky way? It is natural to assume that we can simply port over our favoured responses to the epistemic value problem in response to Hyska’s challenge. I argue that, due to the difference between epistemic and communicative luck (discussed in response to the first problem), this cannot be done. The epistemic and communicative value problems will require different solutions. I close by sketching the beginnings of an alternative answer to the value problem for communication. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close (...) of the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

Jonathan Kvanvig has proposed a non-cognitive theory of faith. He argues that the model of faith as essentially involving assent to propositions is of no value. In response, I propose a Thomistic cognitive theory of faith that both avoids Kvanvig’s criticism and presents a richer and more inclusive account of how faith is intrinsically valuable. I show these accounts of faith diverge in what they take as the goal of the Christian life: personal relationship with God or an external (...) state of affairs. For this reason, more seriously, the non-cognitivist project likely requires rejecting traditional Christianity and its picture of salvation. (shrink)

The primary aim of this paper is to argue that the value of understanding derives in part from a kind of subjective stability of belief that we call epistemic resilience. We think that this feature of understanding has been overlooked by recent work, and we think it’s especially important to the value of understanding for social cognitive agents such as us. We approach the concept of epistemic resilience via the idea of the experience of epistemic ownership and argue (...) that the former concept has Platonic pedigree. Contrary to longstanding exegetical tradition, we think that Plato solves the “Meno problem” with an appeal to the epistemic resilience characteristic of understanding, not the well-groundedness characteristic of canonical cases of propositional knowledge. Finally, we apply our discussion to the case of science outreach and the challenge of global warming skepticism and conclude with directions for future research. (shrink)

ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, (...) its history, and its relevance to some of Oswaldo Chateaubriand's work are discussed in my 2004 paper "The Principle of Wholistic Reference" in Essays on Chateaubriand's "Logical Forms". In Chateaubriand's réplica (reply), which is printed with my paper, he raised several important additional issues including the three I focus on in this tréplica (reply to his reply): truth-values, universes of discourse, and formal ontology. This paper is self-contained: it is not necessary to have read the above-mentioned works. The principle of wholistic reference (PWR) was first put forth by George Boole in 1847 when he espoused a monistic fixed-universe viewpoint similar to the one Frege and Russell espoused throughout their careers. Later, Boole elaborated PWR in 1854 from the pluralistic multiple-universes perspective. (shrink)

When it comes to epistemic normativity, should we take the good to be prior to the right? That is, should we ground facts about what we ought and ought not believe on a given occasion in facts about the value of being in certain cognitive states (such as, for example, the value of having true beliefs)? The overwhelming answer among contemporary epistemologists is “Yes, we should.” This essay argues to the contrary. Just as taking the good to be (...) prior to the right in ethics often leads one to sanction implausible trade-offs when determining what an agent should do, so too, this essay argues, taking the good to be prior to the right in epistemology leads one to sanction implausible trade-offs when determining what a subject should believe. Epistemic value—and, by extension, epistemic goals—are not the explanatory foundation upon which all other normative notions in epistemology rest. (shrink)

Art, as discussed in the third book of Arthur Schopenhauer’s The World as Will and Representation, plays a double role in his philosophical system. On one hand, beholding an object of aesthetic worth provides the spectator with a temporary cessation of the otherwise incessant suffering that Schopenhauer takes life to be; on the other, art creates an epistemological bridge between ourselves and the world as it really is: unlike science which only studies relations between things, contemplation of art leads to (...) knowledge of that which is “alone really essential to the world, the true content of its phenomena.” (WWR1: 184) It is this second aspect of Schopenhauer's aesthetics that is both appealing and curious: while Schopenhauer's aesthetics and epistemology are both rooted in his picture of the world as Will, which is (taken at face value) deeply counter-intuitive, it yet seems to me that by assigning epistemic value to art, he manages to capture the quality of profundity with which certain works of art strike us – a profundity that is accounted for neither by reference to mere enjoyment nor by reference to paraphrasable, propositional knowledge. (shrink)

Taking perceptual experience to consist in a relation of acquaintance with the sensible qualities, I argue that the state of being acquainted with a sensible quality is intrinsically a form of knowledge, and not merely a means to more familiar kinds of knowledge, such as propositional or dispositional knowledge. We should accept the epistemic claim for its explanatory power and theoretical usefulness. That acquaintance is knowledge best explains the intuitive epistemic appeal of ‘Edenic’ counterfactuals involving unmediated perceptual contact with reality (...) (cf. Chalmers, in: Gendler, Hawthorne (eds) Perceptual experience, Oxford University Press, 2006). It explains the elusiveness of knowledge gained through new acquaintances. It coheres with the knowledge-like functional role of acquaintance in the special context of evaluative beliefs and evaluative reasoning, where the objects of acquaintance serve as evidence and inferential basis. And, finally, taking acquaintance to be knowledge is theoretically fruitful: it helps vindicate claims about the relationship between knowledge and concern for others we already find intuitive or outright accept. After developing a novel case for the epistemic claim, I respond to two familiar objections against it: namely, (1) that there are no pre-propositional, pre-conceptual cases of perceptual experience that remain epistemically relevant (Sellars in Empiricism and the philosophy of mind, Routledge, 1968, McDowell, in: Lindgard (ed) John McDowell: Experience, norm, and nature, Blackwell, 2008); and (2) that the category of knowledge appears gerrymandered once we add ‘object’ knowledge to the epistemological mix (Farkas, in: Knowles, Raleigh (eds), Acquaintance: new essays, Oxford University Press, 2019). (shrink)

ABSTRACT -/- A propositional attitude (PA) is a belief, desire, fear, etc., that x is the case. This dissertation addresses the question of the semantic content of a specific kind of PA-instance: an instance of a belief of the form all Fs are Gs. The belief that all bachelors are sports fans has this form, while the belief that Spain is a country in Eastern Europe do not. Unlike a state of viewing the color of an orange, a belief-instance is (...) semantically contentful because it has reference, a meaning, logical implications, or a truth-value. While the intrinsic semantics view holds that either concepts or abstract objects are the source of content for PAs, the extrinsic semantics view holds that symbols of a mental language provide this content. I argue that a successful theory of intentionality must explain: (1) the truth-preserving causal powers of PAs, (2) the failure of the deductive principle Substitutivity to preserve truth over sentences that ascribe PAs, and (3) the truth-evaluability of PAs. As an internalist version of the extrinsic semantics view, I first evaluate Fodor’s Computational Theory of Mind, which says the semantic ingredients of mental states are symbols governed by rules of a mental syntax. I argue that in order to meet (1), CTM would have to associate the causal patterns of each thought-type with the inferential relations of some proposition – in an arbitrary or question-begging way. I also evaluate Fodor’s causal theory, as an externalist version of the extrinsic semantics view. This view is that lawlike causal relations between mental symbols and objects determine the reference, and thus the truth-value, of a thought. I argue that Brian Loar’s circularity objection refutes the ability of this theory to meet (3); and I endorse the intrinsic semantics perspective. I evaluate Frege’s theory of abstract, mind-external, and intrinsically semantic objects (senses), as an attempt to meet condition (2). I conclude that mind-external universals are the source of the intrinsically semantic features of concepts. Finally, I put forth a theory called ‘Bare Property Intentionality’, which describes the features of intrinsically representative and semantic concepts that connect them to these universals. (shrink)

Knowledge is good, ignorance is bad. So it seems, anyway. But in this dissertation, I argue that some ignorance is epistemically valuable. Sometimes, we should suspend judgment even though by believing we would achieve knowledge. In this apology for ignorance (ignorance, that is, of a certain kind), I defend the following four theses: 1) Sometimes, we should continue inquiry in ignorance, even though we are in a position to know the answer, in order to achieve more than mere knowledge (e.g. (...) understanding) while minimizing the effects of confirmation bias. 2) It’s false that we should believe every proposition such that we are guaranteed to be right about it (and even such that we are guaranteed to know it) if we believe it. 3) Being in a position to know is the norm of assertion: importantly, this does not require belief or (thereby) knowledge, and so proper assertion can survive speaker-ignorance. 4) It can be permissible and conversationally useful to tell audiences things that it is logically impossible for them to come to know: Proper assertion can survive (necessary) audience-side ignorance. Cumulatively, this project suggests that, properly understood, ignorance has an important role to play in the good epistemic life. (shrink)

One of the most common criticisms one hears of the idea of granting a legitimate role for social values in theory choice in science is that it just doesn’t make sense to regard social preferences as relevant to the truth or to the way things are. “What is at issue,” wrote Susan Haack, is “whether it is possible to derive an ‘is’ from an ‘ought.’ ” One can see that this is not possible, she concludes, “as soon as one expresses (...) it plainly: that propositions about what states of affairs are desirable or deplorable could be evidence that things are, or are not, so” (Haack 1993a, 35, emphasis in original). The purpose of this chapter is not to determine whether this widespread view is correct, but rather to show that even if we grant it (which I do), we may still consistently believe that social values have a legitimate role in theory choice in science. I will defend this conclusion by outlining a view about social values and theory choice that is available to a Constructive Empiricist anti-realist, but not to a realist. (shrink)

Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, we (...) propose even weaker systems, by eliminating both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary (deterministic) logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (shrink)

We develop some of Williamson’s ideas regarding how propositional calculus aids in comprehending Aristotelian logic. Specifically, we enhance the utilisation of truth tables to examine the structure of opposition diagrams. Using ‘conditioned truth tables’, we establish logical dependency relationships between the truth values of different propositions. This approach proves effective in interpreting various texts of the Organon concerning the doctrine of opposition.

Fred shows how problems with Slater's restriction of the classical propositional logic can be solved.

In philosophical literature terms: „natural theology” (or „rational theology”) and „philosophical theology” are used as exchangeable. The author argues that natural and philosophical theology are different philosophical disciplines. It is possible to point out a philosophic theology, different from natural theology, the former aims are not only supposed to show that God exists but to unifícate, interpret and explain (understand) religious faith and her tasks are not primary apologetic. The author considers that the aims of the latter discipline are bound (...) with the preference of cognitive values such as certainty, rationality and being able to use one ’s rationality to convince your opponent. In the end of this article author introduces a sketch of method of philosophical theology as different form natural theology, which could overcome one-sided views about role of philosophical argument in study of religious belief and faith and their propositional content and lead not only to a more adequate analysis of the researched reality but also to the development of other disciplines. (shrink)

I argue that relativists about aesthetic and other evaluative language face some of the same objections as non-naturalists in ethics. These objections concern the metaphysics required to make it work. Unlike contextualists, relativists believe that evaluative propositions are not about the relation in which things stand to certain standards. Nevertheless, the truth of such propositions would depend on variable standards. I argue that relativism requires the existence of states of affairs very different from other things known to exist. Furthermore, there (...) seems to be no convincing reason to postulate such entities. However, if they do not exist, then relativism leads to an error theory. That is unattractive, as relativism was meant to preserve the truth of many evaluative claims. (shrink)

In nearly forty years’ of work, Simon Blackburn has done more than anyone to expand our imaginations about the aspirations for broadly projectivist/expressivist theorizing in all areas of philosophy. I know that I am far from alone in that his work has often been a source of both inspiration and provocation for my own work. It might be tempting, in a volume of critical essays such as this, to pay tribute to Blackburn’s special talent for destructive polemic, by seeking to (...) take down that by which I’ve been most provoked over the years. But Blackburn’s biting wit has both more wit and more bite than I could hope to emulate. So instead I’ll try to emulate here what I’ve admired the most about Blackburn – the constructive vein of much of his work. (shrink)

Etude de l'extension par la negation semi-intuitionniste de la logique positive des propositions appelee logique C, developpee par A. Urquhart afin de definir une semantique relationnelle valable pour la logique des valeurs infinies de Lukasiewicz (Lw). Evitant les axiomes de contraction et de reduction propres a la logique classique de Dummett, l'A. propose une semantique de type Routley-Meyer pour le systeme d'Urquhart (CI) en tant que celle-la ne fournit que des theories consistantes pour la completude de celui-ci.

In this article, I introduce the term “cognitivism” as a name for the thesis that degrees of belief are equivalent to full beliefs about truth-valued propositions. The thesis (of cognitivism) that degrees of belief are equivalent to full beliefs is equivocal, inasmuch as different sorts of equivalence may be postulated between degrees of belief and full beliefs. The simplest sort of equivalence (and the sort of equivalence that I discuss here) identifies having a given degree of belief with having a (...) full belief with a specific content. This sort of view was proposed in [C. Howson and P. Urbach, Scientific reasoning: the Bayesian approach. Chicago: Open Court (1996)].In addition to embracing a form of cognitivism about degrees of belief, Howson and Urbach argued for a brand of probabilism. I call a view, such as Howson and Urbach’s, which combines probabilism with cognitivism about degrees of belief “cognitivist probabilism”. In order to address some problems with Howson and Urbach’s view, I propose a view that incorperates several of modifications of Howson and Urbach’s version of cognitivist probabilism. The view that I finally propose upholds cognitivism about degrees of belief, but deviates from the letter of probabilism, in allowing that a rational agent’s degrees of belief need not conform to the axioms of probability, in the case where the agent’s cognitive resources are limited. (shrink)