We propose a new account of indicative conditionals, giving acceptability and logical closure conditions for them. We start from Adams’ Thesis: the claim that the acceptability of a simple indicative equals the corresponding conditional probability. The Thesis is widely endorsed, but arguably false and refuted by empirical research. To fix it, we submit, we need a relevance constraint: we accept a simple conditional 'If φ, then ψ' to the extent that (i) the conditional probability p(ψ|φ) is (...) high, provided that (ii) φ is relevant for ψ. How (i) should work is well-understood. It is (ii) that holds the key to improve our understanding of conditionals. Our account has (i) a probabilistic component, using Popper functions; (ii) a relevance component, given via an algebraic structure of topics or subject matters. We present a probabilistic logic for simple indicatives, and argue that its (in)validities are both theoretically desirable and in line with empirical results on how people reason with conditionals. (shrink)

This paper argues that two widely accepted principles about the indicative conditional jointly presuppose the falsity of one of the most prominent arguments against epistemological iteration principles. The first principle about the indicative conditional, which has close ties both to the Ramsey test and the “or‐to‐if” inference, says that knowing a material conditional suffices for knowing the corresponding indicative. The second principle says that conditional contradictions cannot be true when their antecedents are epistemically possible. Taken (...) together, these principles entail that it is impossible to be in a certain kind of epistemic state: namely, a state of ignorance about which of two partially overlapping bodies of knowledge corresponds to one's actual one. However, some of the more popular “margin for error” style arguments against epistemological iteration principles suggest that such states are not only possible, but commonplace. I argue that the tension between these views runs deep, arising just as much for non‐factive attitudes like belief, presupposition, and certainty. I also argue that this is worse news for those who accept the principles about the indicative conditional than it is for those who reject epistemological iteration principles. (shrink)

In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...) \SQEMA\ where that syntactic condition is replaced by a semantic one, viz. downward monotonicity. For the first, and most general, extension \SSQEMA\ we prove correctness for a large class of modal formulae containing an extension of the Sahlqvist formulae, defined by replacing polarity with monotonicity. By employing a special modal version of Lyndon's monotonicity theorem and imposing additional requirements on the Ackermann rule we obtain restricted versions of \SSQEMA\ which guarantee canonicity, too. (shrink)

Expressing a widely-held view, David Hitchcock claims that "an enthymematic argument ... assumes at least the truth of the argument's associated conditional ... whose antecedent is the conjunction of the argument's explicit premises and whose consequent is the argument's conclusion." But even definitionally, this view is problematic, since an argument's being "enthymematic" or incomplete with respect to its explicit premises means that the conclusion is not implied by these premises alone. The paper attempts to specify the ways in which (...) the view is incorrect, as well as seemingly correct (e.g., the case of a Modus Ponens wherein the major premise is implicit). -/- . (shrink)

We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.

This paper aims to bridge the relationship between metalinguistic if you like as a non-propositional discourse marker and its conditional counterparts. This paper claims that metalinguistic if you like is polysemous between a hedge that denotes the speaker’s reduced commitment to some aspect of the main clause, and an optional yet potential conditional reading that interlocutors can legitimately draw on in interaction which is brought about due to the ‘if p, q’ sentence form. That is, although the metalinguistic (...) reading is most likely obtained automatically by default, it also carries an available conditional reading that is akin to other metalinguistic conditional clauses such as if you see what I mean. Next, a semantic representation of metalinguistic if you like is developed that takes on board a characterization of conditionality that departs from lexico-grammatical conventions, such that conditionals of the form ‘if p, q’ no longer bear a one-to-one correspondence with “conditional” truth conditions. Employing a radical contextualist semantic framework in which the unit of truth-conditional analysis is not constrained to the sentence form, utterances employing metalinguistic if you like are given a semantic representation such that the if-clause does not contribute propositional content, yet they also maintain their status as conditionals as the sentence form gives rise to a potential conditional secondary meaning. (shrink)

In my article, I present a new version of a probabilistic truth prescribing semantics for natural language indicative conditionals. The proposed truth conditions can be paraphrased as follows: an indicative conditional is true if the corresponding conditional probability is high and the antecedent is positively probabilistically relevant for the consequent or the probability of the antecedent of the conditional equals 0. In the paper, the truth conditions are defended and some of the logical properties of the (...) proposed semantics are described. (shrink)

This paper presents a new system of conditional logic B2, which is strictly intermediate in strength between the existing systems B1 and B3 from John Burgess (1981) and David Lewis (1973a). After presenting and motivating the new system, we will show that it is characterized by a natural class of frames. These frames correspond to the idea that conditionals are about which worlds are nearly closest, rather than which worlds are closest. Along the way, we will also give new (...) characterization results for B1 and B3, along with two other new systems B1.1 and B1.2. (shrink)

An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful items (e.g. names and concepts) are endowed (...) with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (shrink)

This paper develops the idea that valid arguments are equivalent to true conditionals by combining Kripke’s theory of truth with the evidential account of conditionals offered by Crupi and Iacona. As will be shown, in a first-order language that contains a naïve truth predicate and a suitable conditional, one can define a validity predicate in accordance with the thesis that the inference from a conjunction of premises to a conclusion is valid when the corresponding conditional is true. (...) The validity predicate so defined significantly increases our expressive resources and provides a coherent formal treatment of paradoxical arguments. (shrink)

I take issue with two claims of DeRose: Conditionals of deliberation must not depend on backtracking grounds. ‘Were’ed-up conditionals coincide with future-directed indicative conditionals; the only difference in their meaning is that they must not depend on backtracking grounds. I use Egan’s counterexamples to causal decision theory to contest the first and an example of backtracking reasoning by David Lewis to contest the second claim. I tentatively outline a rivaling account of ‘were’ed-up conditionals which combines features of the standard analysis (...) of counterfactuals with the contextual relevance of the corresponding indicative conditionals. (shrink)

Nearly every common theory of truth has been attributed to Nietzsche, while some commentators have argued that he simply has no theory of truth. This essay argues that Nietzsche's remarks on truth are best situated within either the coherence or pragmatist theories of truth rather than the correspondence theory. Nietzsche's thoughts on truth conflict with the correspondence framework because he believes that the truth conditions of propositions are constitutively dependent on our actions.

I suggest that the theories of remembering one finds in the philosophy of memory literature are best characterised as theories principally operating at three different levels of inquiry. Simulationist views are theories of the psychofunctional process type remembering. Causalist views are theories of referential remembering. Epistemic views are theories of successful remembering. Insofar as there is conflict between these theories, it is a conflict of integration rather than—as widely presented—head‐on disagreement. Viewed in this way, we can see the previous awareness (...) condition and preservationism as principles applying at only some of the corresponding levels of inquiry. Where either principle has been rejected, it is, I claim, due to arguments which slip between these different levels. While the view of the landscape I offer does not dissolve ongoing disputes about the nature of remembering, it clarifies the dialectical rules of engagement, helping to clear the path for future, collaborative progress to be made. The view enables us to see less conflict in the recent philosophy of memory literature than there seems at face value to be. (shrink)

To address the rising concern that algorithmic decision-making may reinforce discriminatory biases, researchers have proposed many notions of fairness and corresponding mathematical formalizations. Each of these notions is often presented as a one-size-fits-all, absolute condition; however, in reality, the practical and ethical trade-offs are unavoidable and more complex. We introduce a new approach that considers fairness—not as a binary, absolute mathematical condition—but rather, as a relational notion in comparison to alternative decisionmaking processes. Using US mortgage lending as an example (...) use case, we discuss the ethical foundations of each definition of fairness and demonstrate that our proposed methodology more closely captures the ethical trade-offs of the decision-maker, as well as forcing a more explicit representation of which values and objectives are prioritised. (shrink)

This paper develops a trivalent semantics for the truth conditions and the probability of the natural language indicative conditional. Our framework rests on trivalent truth conditions first proposed by Cooper (1968) and Belnap (1973) and it yields two logics of conditional reasoning: (i) a logic C of certainty-preserving inference; and (ii) a logic U for uncertain reasoning that preserves the probability of the premises. We show systematic correspondences between trivalent and probabilistic representations of inferences in either framework, and (...) we use the distinction between the two systems to cast light on the validity of inferences such as Modus Ponens, Or-To-If, and Conditional Excluded Middle. Specifically, the conditional behaves monotonically in C, but non-monotonically in U; Modus Ponens is valid in C, but valid in U only for non-nested conditionals. The result is a unified account of the semantics and epistemology of indicative conditionals that can be fruitfully applied to analyzing the validity of conditional inferences. (shrink)

We present Logical Description Grammar (LDG), a model ofgrammar and the syntax-semantics interface based on descriptions inelementary logic. A description may simultaneously describe the syntacticstructure and the semantics of a natural language expression, i.e., thedescribing logic talks about the trees and about the truth-conditionsof the language described. Logical Description Grammars offer a naturalway of dealing with underspecification in natural language syntax andsemantics. If a logical description (up to isomorphism) has exactly onetree plus truth-conditions as a model, it completely specifies thatgrammatical (...) object. More common is the situation, corresponding tounderspecification, in which there is more than one model. A situation inwhich there are no models corresponds to an ungrammatical input. (shrink)

The program put forward in von Wright's last works defines deontic logic as ``a study of conditions which must be satisfied in rational norm-giving activity'' and thus introduces the perspective of logical pragmatics. In this paper a formal explication for von Wright's program is proposed within the framework of set-theoretic approach and extended to a two-sets model which allows for the separate treatment of obligation-norms and permission norms. The three translation functions connecting the language of deontic logic with the language (...) of the extended set-theoretical approach are introduced, and used in proving the correspondence between the deontic theorems, on one side, and the perfection properties of the norm-set and the ``counter-set'', on the other side. In this way the possibility of reinterpretation of standard deontic logic as the theory of perfection properties that ought to be achieved in norm-giving activity has been formally proved. The extended set-theoretic approach is applied to the problem of rationality of principles of completion of normative systems. The paper concludes with a plaidoyer for logical pragmatics turn envisaged in the late phase of Von Wright's work in deontic logic. (shrink)

Nietzsche’s late writings present a value opposition of health and decadence based in his conception of organic life. While this appears to be a moral ideal that risks the naturalistic fallacy of directly deriving norms from facts, it instead describes a meta-ethical ideal: the necessary conditions for any kind of moral agency. Nietzsche’s ideal of health not only evades but also dissolves the naturalistic fallacy by suggesting that the specific content of morality is irrelevant. If health is measured by power (...) over one’s drives rather than the environment, then the source of moral conflict—organic life’s essential tendency toward domination—is surmounted by successful integration of any moral norms, regardless of content. Nietzsche’s concept of health draws on his characterization of organic life as essentially ‘exploitation’: growth through domination of the environment (BGE 259, GM II: 12). In animals, power coincides with happiness, while health and decadence track the correspondence between instinct and happiness (TI II: 11). This simple picture is complicated by the Genealogy, where Nietzsche depicts human nature as an animal illness caused by civilization’s disruption of the natural correspondence of instinct and happiness. Civilization shapes this ‘sick animal’ into the distinctly human ‘sovereign individual’ (GM III: 13, II: 2), restoring the harmony of instinct and happiness in an internal hierarchy of drives. So, sovereign individuality is a distinctly human model of health. Although life is exploitation, human health does not coincide with greater environmental power, but rather an internal qualitative expansion of power: greater variety and tension among drives, greater ‘wholeness in diversity’ in the ‘social structure’ of the self (BGE 212, 12). Nonetheless, health is not a moral criterion, but instead the precondition of moral agency. The subordination of drives to a commanding hierarchy grounds the ability to uphold any moral principles at all, to make and keep promises to oneself and others. Moral agency coincides, in turn, with overcoming the source of moral conflict in organic life’s drive for growth. The unification of opposing drives provides pleasure in power over oneself rather than one’s environment, the ‘happiness of high tension’ among drives (BGE 260), and in environmental resistance, a need for ‘equal opponents’ (TI IX: 38, EH 1: 7). Consequently, Nietzsche’s meta-ethical ideal supports a moral pluralism that supports any moral content. Moral conflicts arise precisely to the degree individuals are incapable of achieving moral agency, but they dissolve as moral agency of any kind is more widely achieved. (shrink)

This extensive review explores the nature of human individuality through a broad spectrum of themes which all relate in an unwavering manner back to the fundamental question of “Who Am I?” The paradox of being fully human is that it depends on transcending the human condition itself. Integral individuality exists at the intersection between the horizontal and the vertical or the human and the Divine. Modern psychology, especially humanistic and transpersonal psychology has, much to its credit, done a great deal (...) to facilitate the rightful place of the human within the spiritual dimension; yet, to date, it has been unable to situate what human individuality is. In fact, modern psychology has grossly overlooked that each of the spiritual traditions of the world has its own corresponding and complete psychology or rather pneumatology (“science of the Spirit”). It is by turning to the integral psychology of the perennial philosophy that human identity can be recovered. (shrink)

What is the connection between valid inference and true conditionals? Many conditional logics require that when A is a logical consequence of B, "if B then A" is true. Taking counterlogical conditionals seriously leads to systems that permit counterexamples to that general rule. However, this leaves those of us who endorse non-trivial accounts of counterpossible conditionals to explain what the connection between conditionals and consequence is. The explanation of the connection also answers a common line of objection to non-trivial (...) counterpossibles, which is based on a transition from valid arguments to the corresponding conditionals. It also contributes to the wider project of illuminating the connections between contexts of utterance, on the one hand, and the truth-conditions of conditionals uttered in those contexts, on the other. (shrink)

Consider the following three claims. (i) There are no truths of the form ‘p and ~p’. (ii) No one holds a belief of the form ‘p and ~p’. (iii) No one holds any pairs of beliefs of the form {p, ~p}. Irad Kimhi has recently argued, in effect, that each of these claims holds and holds with metaphysical necessity. Furthermore, he maintains that they are ultimately not distinct claims at all, but the same claim formulated in different ways. I find (...) his argument suggestive, if not entirely transparent. I do think there is at least an important kernel of truth even in (iii), and that (i) ultimately explains what’s right about the other two. Consciousness of an impossibility makes belief in the obtaining of the corresponding state of affairs an impossibility. Interestingly, an appreciation of this fact brings into view a novel conception of inference, according to which it consists in the consciousness of necessity. This essay outlines and defends this position. A central element of the defense is that it reveals how reasoners satisfy what Paul Boghossian calls the Taking Condition and do so without engendering regress. (shrink)

I formulate a counterfactual version of the notorious 'Ramsey Test'. Whereas the Ramsey Test for indicative conditionals links credence in indicatives to conditional credences, the counterfactual version links credence in counterfactuals to expected conditional chance. I outline two forms: a Ramsey Identity on which the probability of the conditional should be identical to the corresponding conditional probabihty/expectation of chance; and a Ramsey Bound on which credence in the conditional should never exceed the latter.Even in (...) the weaker, bound, form, the counterfactual Ramsey Test makes counterfactuals subject to the very argument that Lewis used to argue against the indicative version of the Ramsey Test. I compare the assumptions needed to run each, pointing to assumptions about the time-evolution of chances that can replace the appeal to Bayesian assumptions about credence update in motivating the assumptions of the argument.I finish by outlining two reactions to the discussion: to indicativize the debate on counterfactuals; or to counterfactualize the debate on indicatives. (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free (...) at more than one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

In their book EVALUATING CRITICAL THINKING Stephen Norris and Robert Ennis say: “Although it is tempting to think that certain [unstated] assumptions are logically necessary for an argument or position, they are not. So do not ask for them.” Numerous writers of introductory logic texts as well as various highly visible standardized tests (e.g., the LSAT and GRE) presume that the Norris/Ennis view is wrong; the presumption is that many arguments have (unstated) necessary assumptions and that readers and test takers (...) can reasonably be expected to identify such assumptions. This paper proposes and defends criteria for determining necessary assumptions of arguments. Both theoretical and empirical considerations are brought to bear. (shrink)

Pragmatism and the correspondence theory of truth are longtime foes. Nevertheless, there is an argument to be made that pragmatists must embrace truth as correspondence. I show that there is a distinctive pragmatic utility to taking truth to be correspondence, and I argue that it would be inconsistent for pragmatists to accept the utility of the belief that truth is correspondence while resisting the premise that this belief is correct. -/- In order to show how pragmatists can embrace truth as (...) correspondence, I develop a kind of alethic pluralism, which treats pragmatist truth as theoretically fundamental to truth as correspondence. This theoretical fundamentality of pragmatist truth allows the pragmatist to conditionally accept truth as correspondence for certain discourses without falling prey to the typical pragmatist objections to correspondence. This pluralist account of truth thus allows pragmatists to concede that, for certain domains of discourse, truth is correspondence, without thereby betraying their pragmatist principles. (shrink)

This article aims to analyze the theory of truth contained in Edmund Husserl’s Logical Investigations. In my analysis, I start from a detailed description of conditions of the possibility of truth based on Husserl’s alethiology. I show that his theory assumes correlation, the parallelism between subjective and objective conditions of the possibility of cognition as a condition of truth. Based on this, I explain Husserl’s interpretation of the correspondence definition of truth found in Logical Investigations. I also provide arguments that (...) this interpretation presupposes the ontological definition of truth and the idea of the infinite intellect as the ideal of a direct and exhaustive presentation of the object of cognition. Nonetheless, my conclusions don’t provide a complete interpretation of Husserl’s alethiology because I refrain from drawing metaphysical consequences from it. That is to say, I neither answer the question about realism/idealism in Logical Investigations nor the question of whether the idea of the infinite intellect should be understood in some metaphysical way (e.g. theistic one) or only as a regulative idea in the Kantian sense. (shrink)

Intuitively, a classical field theory is background-in- dependent if the structure required to make sense of its equations is itself subject to dynamical evolution, rather than being imposed ab initio. The aim of this paper is to provide an explication of this intuitive notion. Background-independence is not a not formal property of theories: the question whether a theory is background-independent depends upon how the theory is interpreted. Under the approach proposed here, a theory is fully background-independent relative to an interpretation (...) if each physical possibility corresponds to a distinct spacetime geometry; and it falls short of full background-independence to the extent that this condition fails. (shrink)

The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...) of its extensions, e.g., £(R,-R,R-1 ,_R-1), £(R,-R,=I=) etc., is described, and numerous examples of conditions definable there, as well as undefinable ones, are adduced. (shrink)

Human freedom is in tension with nomological determinism and with statistical determinism. The goal of this paper is to answer both challenges. Four contributions are made to the free-will debate. First, we propose a classification of scientific theories based on how much freedom they allow. We take into account that indeterminism comes in different degrees and that both the laws and the auxiliary conditions can place constraints. A scientific worldview pulls towards one end of this classification, while libertarianism pulls towards (...) the other end of the spectrum. Second, inspired by Hoefer, we argue that an interval of auxiliary conditions corresponds to a region in phase space, and to a bundle of possible block universes. We thus make room for a form of non-nomological indeterminism. Third, we combine crucial elements from the works of Hoefer and List; we attempt to give a libertarian reading of this combination. On our proposal, throughout spacetime, there is a certain amount of freedom that can be interpreted as the result of agential choices. Fourth, we focus on the principle of alternative possibilities throughout and propose three ways of strengthening it. (shrink)

What, exactly, is the difference between words such as ‘dead’ and ‘deceased’? In this paper, I argue that such differences in register, or style, ought to be construed as genuine differences in non-truth-conditional meaning. I also show that register cannot plausibly accounted for in terms of either presupposition or conventional implicature. Register is, rather, an instance of what I call pure use-conditional meaning. In the case of register, a difference in meaning does not correspond to a difference in (...) the contents speakers intend to convey. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only (...) x free. An existential-import predicate Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

In developing a theory of truth, as the main condition of knowledge, four issues are usually examined: definition or analysis of truth, truth bearer, truth-maker, and relation (in correspondence and coherence theories). A proper theory of truth is the one that affords the explanation of the truth of all types of propositions, and, at the same time, resists the liar paradox. The aim of this inquiry is to analyze Nasīr al-Dīn al-Tūsī’s theory of truth one who is involved both in (...) the liar paradox and in the explanation of the truth of the verity propositions and propositions that are made of intelligibles that have no instance in external world. This inquiry shows, with an analytical approach mostly systematic analysis, that he regards, against the difficulty of the lair paradox, propositions that are other than what they are about as the bearers of truth. Further, it shows that he, against the other difficulty, has two attitudes: first, he desists from the correspondence theory of truth and defines it as “ascription of an ideational thing to what, with its characteristic, is proper for it”; second, he considers the agent intellect to be the truth-maker. Although he regards the correspondence relation as an intentional relation, he does not discuss it much. One explanation could be that the issue of the correspondence relation does not play a serious part in the aforementioned difficulties. (shrink)

The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory relations. (...) We show that our final analysis captures the presumed asymmetry between explanans and explanandum much better than Rott’s original analysis. (shrink)

[[[ (Here only the chapters 3 – 8, see *** ) First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). ]]] The central question here is that about the (...) actual reason for antinomic structures. It turns out to be a form of negative self-conditioning (chap.3). This makes it necessary to clarify the status of negative concepts (chap.4). The generalization of these considerations (chap.5) leads to the actual analysis of the antinomic basic structure (chap.6): Decisively for the pragmatics of the concept is that it positively owns a meaning, so that positivity is always constituted by the concept qua concept. Thus a negative concept is characterized by a fundamental ambivalence: From a semantic point of view it has negative character, in its pragmatic status as a concept, however, it has positive character. If the meaning is especially that of a negative self-reference, the ambivalence leads to the antinomic constellation of a negative self-condition – that is the crux of the matter here! The concept thus possesses the property defined by it exactly when it does not possess it and vice versa. A closer analysis shows that the function of reflective structures for the occurrence of antinomies has to be judged much more differentiated than previous opinions suggest. Not only are four forms of reflectivity to be distinguished in this context – ontic, semantic, pragmatic reflectivity, and especially the form of negative self-condition; but it is also apparent that these are intertwined with each other in a way that is difficult to be understood. The astonishing variety of relationships associated with this makes the irritation that has always emanated from the antinomy problem appear more comprehensible. In the developed pragmatic perspective furtheron parallels to the structure of self-consciousness become visible (chap.7). I conclude with considerations about the significance of the antinomic structure for the problem of dialectics, especially for the synthesis formation of mutually exclusive terms (chap.8). (shrink)

In modern conditions the questions of personnel management, including motivation, acquire new meaning. Particularly given the problems relevant to the service sector, where at the beginning of the XXI century employing more than 60% of the workforce in developed countries. These circumstances determine the need for a modern concept of material and immaterial motivation of service industries. Such factors determine the need for the development modern concept of material and immaterial motivation of service industries staff. To obtain indicated objective during (...) research analyzed the existing concepts and paradigm of staff motivation with highlighting their advantages and disadvantages. The results obtained allowed to establish that scientific and expert community does not have the unified approach to the classification and identification of the most effective ones. Special attention is given to modern developments and approaches to the motivation problem. This fact caused the structure of follow studies, including three interlinked vectors: analysis of the essential content of the fundamental concepts in the field of staff motivation; defining features of employee motivation at the enterprises sphere of services; introduction to the key successful international practices which apply by service companies. In general, the results obtained enabled the author’s model of the modern concept of material and non-material motivation at the enterprises the service sector and the corresponding mechanism for the implementation. (shrink)

This dissertation is concerned with a fundamental problem at the heart of Arendt’s The Human Condition—namely, ‘the problem of idleness’. This problem is related to the three types of human Arendt identifies as correlated to dominant activities in one’s life, animal laborans, homo faber, and the acting person. It explores Arendt’s predictions of an oncoming automation crisis, and the possibility of a corresponding crisis in the production—consumption cycle. The problem of idleness can be understood as the claim that if (...) people are provided freedom from job-holding so that they may pursue other activities, they would likely turn to consumption to occupy their time. I claim that this problem of idleness is important in any consideration of an oncoming automation crisis, especially in relation to Universal Basic Income (UBI) as a solution to such a crisis. I claim that there is a hole in the UBI literature concerning this problem of idleness, and if left unaddressed it would result in both an ineffective UBI, and in a crisis of meaning for the general populace. This dissertation demonstrates what the problem of idleness is, why it is important, and what possible solutions exist. This contributes to the UBI literature by diagnosing and attempting to solve a gap in the literature which I argue would cause practical challenges in the implementation and stability of a UBI system. I also contribute to the Arendtian literature by problematizing traditional readings of Arendt, and offering a reappraisal of her thought on Marx, art, and the social. (shrink)

The main aim of Samuel Hartlib was to provide an advancement of learning finalized to the amelioration of the material conditions of men and the pursuit of a religious peace, i.e., the unification of the Protestants. To this aim, inspired by Comenius, he devoted his efforts or gathering knowledge by the creation of a society or office of learned men (in technical fields, philosophy, and theology), and by the establishment of a network of correspondents (the Hartlib Circle). The method of (...) discovery underlying his program of advancement of learning was inspired by Bacon’s Novum Organum and by Jacopo Aconcio’s method of analysis, while the categorization and transmission of knowledge had to be based on commonplace books and artificial languages. His plan of economic improvement, to be fulfilled mainly through the amelioration of husbandry, was motivated by the Puritan Millenarianism to which he adhered. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

What sorts of consideration can be normative reasons for action? If we systematize the wide variety of considerations that can be cited as normative reasons, do we find that there is a single kind of consideration that can always be a reason? Desire-based theorists think that the fact that you want something or would want it under certain evaluatively neutral conditions can always be your normative reason for action. Value-based theorists, by contrast, think that what plays that role are evaluative (...) facts (or the facts that subvene them) about what you want, such as the fact that having it would be good in some way. This paper argues that value-based theorists are wrong; if we try to find a single kind of consideration that can always be normative reason, we find that sometimes our reason is the fact that we want something and not any corresponding evaluative fact. (shrink)

Moral non-cognitivists hope to explain the nature of moral agreement and disagreement as agreement and disagreement in non-cognitive attitudes. In doing so, they take on the task of identifying the relevant attitudes, distinguishing the non-cognitive attitudes corresponding to judgements of moral wrongness, for example, from attitudes involved in aesthetic disapproval or the sports fan’s disapproval of her team’s performance. We begin this paper by showing that there is a simple recipe for generating apparent counterexamples to any informative specification of (...) the moral attitudes. This may appear to be a lethal objection to non-cognitivism, but a similar recipe challenges attempts by non-cognitivism’s competitors to specify the conditions underwriting the contrast between genuine and merely apparent moral disagreement. Because of its generality, this specification problem requires a systematic response, which, we argue, is most easily available for the non-cognitivist. Building on premisses congenial to the non-cognitivist tradition, we make the following claims: (1) In paradigmatic cases, wrongness-judgements constitute a certain complex but functionally unified state, and paradigmatic wrongness-judgements form a functional kind, preserved by homeostatic mechanisms. (2) Because of the practical function of such judgements, we should expect judges’ intuitive understanding of agreement and disagreement to be accommodating, treating states departing from the paradigm in various ways as wrongness-judgements. (3) This explains the intuitive judgements required by the counterexample-generating recipe, and more generally why various kinds of amoralists are seen as making genuine wrongness-judgements. (shrink)

In the theory of meaning, it is common to contrast truth-conditional theories of meaning with theories which identify the meaning of an expression with its use. One rather exact version of the somewhat vague use-theoretic picture is the view that the standard rules of inference determine the meanings of logical constants. Often this idea also functions as a paradigm for more general use-theoretic approaches to meaning. In particular, the idea plays a key role in the anti-realist program of Dummett (...) and his followers. In the theory of truth, a key distinction now is made between substantial theories and minimalist or deflationist views. According to the former, truth is a genuine substantial property of the truth-bearers, whereas according to the latter, truth does not have any deeper essence, but all that can be said about truth is contained in T-sentences (sentences having the form: ‘P’ is true if and only if P). There is no necessary analytic connection between the above theories of meaning and truth, but they have nevertheless some connections. Realists often favour some kind of truth-conditional theory of meaning and a substantial theory of truth (in particular, the correspondence theory). Minimalists and deflationists on truth characteristically advocate the use theory of meaning (e.g. Horwich). Semantical anti-realism (e.g. Dummett, Prawitz) forms an interesting middle case: its starting point is the use theory of meaning, but it usually accepts a substantial view on truth, namely that truth is to be equated with verifiability or warranted assertability. When truth is so understood, it is also possible to accept the idea that meaning is closely related to truth-conditions, and hence the conflict between use theories and truth-conditional theories in a sense disappears in this view. (shrink)

Bodily sensations, such as pain, hunger, itches, or sexual feelings, are commonly characterized in terms of their phenomenal character. In order to account for this phenomenal character, many philosophers adopt strong representationalism. According to this view, bodily sensations are essentially and entirely determined by an intentional content related to particular conditions of the body. For example, pain would be nothing more than the representation of actual or potential tissue damage. In order to motivate and justify their view, strong representationalists often (...) appeal to the reliable causal covariance between bodily sensations and certain kinds of bodily conditions or to the corresponding biological function that these bodily sensations are supposed to fulfill. In this paper, I argue on the basis of recent empirical research that arguments from reliable causal covariance and biological function cannot motivate the introduction of corresponding intentional content. In particular, I argue that bodily sensations are caused by a heterogeneous class of physiological and psychological factors and their biological functions are too diverse to be reduced to the representation of a particular bodily condition. Responses are available to strong representationalists, but they either require substantial alterations to their core assumptions or incur a significant empirical burden. (shrink)

There is a difference between the conditions in which one can felicitously use a ‘must’-claim like and those in which one can use the corresponding claim without the ‘must’, as in 'It must be raining out' versus 'It is raining out. It is difficult to pin down just what this difference amounts to. And it is difficult to account for this difference, since assertions of 'Must p' and assertions of p alone seem to have the same basic goal: namely, (...) communicating that p is true. In this paper I give a new account of the conversational role of ‘must’. I begin by arguing that a ‘must’-claim is felicitous only if there is a shared argument for the proposition it embeds. I then argue that this generalization, which I call Support, can explain the more familiar generalization that ‘must’-claims are felicitous only if the speaker’s evidence for them is in some sense indirect. Finally, I propose a pragmatic derivation of Support as a manner implicature. (shrink)

This essay examines how Husserl stretches the bounds of his philosophy of meaning, according to which all propositions are categorical, to account for existential propositions, which seem to lack predicates. I examine Husserl’s counterintuitive conclusion that an existential proposition does possess a predicate and I explore his endeavor to pinpoint what that predicate is. This goal is accomplished in three stages. First, I examine Husserl’s standard theory of predication and categorial intuition from his 1901 Logical Investigations. Second, I show how (...) Husserl imposes those 1901 insights to uncover the predicate of the existential proposition in unpublished manuscripts and lectures. He determines that the existential proposition predicates of the subject, that it corresponds to an actual object. This analysis reveals that Husserl’s descriptions of existential propositions from the late 1890s employed both static and genetic methodologies. In those texts, he carefully untangles and clarifies the co-enmeshed passive and active moments of consciousness and shows that the passive givenness of certain circumstances is the condition of possibility for our active verifying of propositions. Finally, I execute a critical assessment of Husserl’s thought to reveal that, while his insights about existential propositions are largely correct, they are augmented by re-construing them within the context of his mature philosophy. Only by renouncing his metaphysical neutrality and by accounting for intersubjectivity, can Husserl properly clarify existential propositions. (shrink)

In On the Plurality of Worlds (Lewis 1986), David Lewis imposes a condition on realist theories of modality which he calls ‘plenitude’. Lewis apparently assigns this condition considerable importance, and uses it to motivate his Humean principle of recombination, but he never says exactly what plenitude amounts to. This chapter first sets aside some obvious ways of reconstructing the plenitude criterion which do not fit with the textual evidence. An objection to modal realism due to John Divers and Joseph Melia (...) (Divers and Melia 2002) is diagnosed as equivocating between an overly-demanding plenitude constraint and a weaker constraint which fails to establish their conclusion. An alternative deflationary interpretation of the plenitude condition has it following from an application of standard theoretical virtues to a modal realist’s total theory; Lewis’ correspondence provides new evidence in support of this interpretation. The deflationary plenitude criterion also has broader application, beyond Lewisian modal realism. (shrink)

As most of its readers are aware, the Critique of Pure Reason is primarily concerned not with empirical, but with a priori knowledge. For the most part, the Kant of the first Critique tends to assume that experience, and the knowledge that is based on it, is unproblematic. The problem with which he is concerned is that of how we can be capable of substantive knowledge independently of experience. At the same time, however, the notion of experience plays a crucial (...) role in the central arguments of the Critique. For, again as most readers of the Critique know, Kant aims to show how we can have synthetic a priori knowledge by showing that the categories, or pure concepts of the understanding, are conditions of the possibility of experience. This means that, whether or not Kant is concerned with the notion of experience for its own sake, his account of a priori knowledge carries with it at least some commitments regarding the character of experience. If the account of a priori knowledge is to be successful, then experience has to be the kind of thing for which the categories can, in principle, serve as conditions of possibility. More specifically, experience must involve not only the senses, but also thought or understanding, for otherwise the claim that it presupposes a certain specific set of concepts is simply unintelligible. And indeed at least some parts of the Critique, in particular the so-called subjective deduction in the first edition, and the briefer passages which correspond to it in the second edition, seem to be intended to show how this requirement is met. That is, they are concerned not so much with showing that experience is governed by the categories, as with elaborating a view of experience as involving conceptual activity überhaupt. (shrink)

Currently, anomalous lived temporality is not included in the main diagnostic criteria or standard symptom checklists. In this article, we present the Transdiagnostic Assessment of Temporal Experience, a structured interview that can be used by researchers and clinicians without a comprehensive phenomenological background to explore abnormal time experiences in persons with abnormal mental conditions regardless of their diagnosis. When extensive data gathered by this scale are available, it will be possible to delineate well-defined anomalous lived temporality profiles for each psychopathological (...) disorder. This instrument may also prove useful for clinicians by providing a more refined assessment of relevant psychopathological symptoms and an in-depth understanding of the patient’s abnormal behaviour as related to specific types of time experience. In the first part of the article, we provide a brief overview of the phenomenological concept of temporality, including pre-phenomenal and phenomenal time, synthesis, conation and synchronization, and of abnormal time experiences in persons affected by psychopathological conditions. In the following part, we describe the basic structure of the interview that comprises seven categories corresponding to the abnormal features of lived temporality: anomalies of synchrony, of time structure, of implicit time flow, of explicit time flow, and anomalous experiences of the past, the present and the future. The paper also includes a section on administration and scoring of the TATE scale, the complete interview and a Likert table for quantifying the frequency, intensity and interference with daily life of the phenomena explored. (shrink)

I start out by reviewing the semantics of ‘seem’. As ‘seem’ is a subject-raising verb, ‘it seems’ can be treated as a sentential operator. I look at the semantic and logical properties of ‘it seems’. I argue that ‘it seems’ is a hyperintensional and contextually flexible operator. The operator distributes over conjunction but not over disjunction, conditionals or semantic entailments. I further argue that ‘it seems’ does not commute with negation and does not agglomerate with conjunction. I then show that (...) the mental states expressed by perceptual uses of ‘seem’ have non-conceptual, yet perspectival contents. In the final part of the paper I argue that while the content of the mental states expressed by perceptual uses of ‘seem’ are non-conceptual, having a mental state of this type requires possessing conceptual abilities corresponding to what the mental state represents. (shrink)

This paper defends the naïve thesis that the method of experiment has per se an epistemic superiority over the method of computer simulation, a view that has been rejected by some philosophers writing about simulation, and whose grounds have been hard to pin down by its defenders. I further argue that this superiority does not come from the experiment’s object being materially similar to the target in the world that the investigator is trying to learn about, as both sides of (...) dispute over the epistemic superiority thesis have assumed. The superiority depends on features of the question and on a property of natural kinds that has been mistaken for material similarity. Seeing this requires holding other things equal in the comparison of the two methods, thereby exposing that, under the conditions that will be specified, the simulation is necessarily epistemically one step behind the corresponding experiment. Practical constraints like feasibility and morality mean that scientists do not often face an other-things- equal comparison when they choose between experiment and simulation. Nevertheless, I argue, awareness of this superiority and of the general distinction between experiment and simulation is important for maintaining motivation to seek answers to new questions. (shrink)

This paper defends the naïve thesis that the method of experiment has per se an epistemic superiority over the method of computer simulation, a view that has been rejected by some philosophers writing about simulation, and whose grounds have been hard to pin down by its defenders. I further argue that this superiority does not come from the experiment’s object being materially similar to the target in the world that the investigator is trying to learn about, as both sides of (...) dispute over the epistemic superiority thesis have assumed. The superiority depends on features of the question and on a property of natural kinds that has been mistaken for material similarity. Seeing this requires holding other things equal in the comparison of the two methods, thereby exposing that, under the conditions that will be specified, the simulation is necessarily epistemically one step behind the corresponding experiment. Practical constraints like feasibility and morality mean that scientists do not often face an other-things- equal comparison when they choose between experiment and simulation. Nevertheless, I argue, awareness of this superiority and of the general distinction between experiment and simulation is important for maintaining motivation to seek answers to new questions. (shrink)