The subject matter of research is contradictions and moral-legal antinomies arising in the philosophy of science, in relation to a set of technologies called “Anti-Plagiarism”. The formal-logical and formal-axiological aspects of the notions “property”, “common property”, “private property”, “theft”, “plundering” and others are considered. The paper argues for the urgent necessity to allow authors unlimited reuse of any fragments of their previously published texts in their new publications actually containing novel scientific results. The condition is that such duplication (...) is indispensable for understanding and rechecking the novel discovers. The scientific novelty: theoretic arguments are exemplified by a hitherto never published new scientific result made within a discrete mathematical model of natural law of private and common ownership. (shrink)

It is argued that mathematical statements are "a posteriori synthetic" statements of a very special sort, To be called "structure-Analytic" statements. They follow logically from the axioms defining the mathematical structure they are describing--Provided that these axioms are "consistent". Yet, Consistency of these axioms is an empirical claim: it may be "empirically verifiable" by existence of a finite model, Or may have the nature of an "empirically falsifiable hypothesis" that no contradiction can be derived from the axioms.

In 'on the analysis of causation' ("synthese", Volume 21, 1970), We argued that any analysis of causation entailing that "a" caused "b" only if "a" is the set of conditions necessary and sufficient for "b" yields a formal contradiction. In 'causal necessity and logical necessity' ("philosophical studies", Volume 28, 1975), David sanford objects to that argument, Concentrating his attack on the notions of causal necessity and total sets of antecedent conditions. We reply in this paper (...) that, Although sanford's objections help clarify the issues, They are not telling. (shrink)

The chapter shows that Scotus defends the view that ‘God exists’ is both metaphysically and logically necessary. Thus, Scotus maintains that denying that God exists involves asserting a contradiction, and that this can be shown to be the case. But while Scotus believes that it can be shown that there is a concept in virtue of which ‘God exists’ is self-evident, he also believes that human beings in the current run of things can have no access to the content (...) of this concept. The chapter also relates the claims that God is both metaphysically and logically necessary to the kind of causally dependent modalities that Scotus employs in his attempt to prove God’s existence. (shrink)

THE PAPER BEGINS BY CONSIDERING THREE ALTERNATIVE DEFINITIONS OF "ANALYTIC," ONE IN TERMS OF LOGICAL TRUTH, ONE IN TERMS OF THE MEANINGS OF WORDS, AND ONE IN TERMS OF SELF-CONTRADICTION OR INCOHERENCE. NEXT, FIVE DEFINITIONS OF "NECESSARY" ARE CONSIDERED, ONE IN TERMS OF ANALYTICITY, AND ONE PICKING OUT THE BROADER KIND OF LOGICAL NECESSITY DISCUSSED BY KRIPKE AND PLANTINGA. FINALLY, THREE DEFINITIONS OF "A PRIORI" ARE CONSIDERED. ONLY ON A FEW OF THESE DEFINITIONS DO THE CATEGORIES (...) OF ANALYTIC, NECESSARY, AND A PRIORI COINCIDE. (shrink)

ABSTRACTThree experiments examined how people reason about what is possible or necessary when a conditional is true. Participants were asked to indicate whether it was necessary, possible or impossible for a specific instance to conform to one of the truth-table cases, given the truth of the conditional. It was found that most participants, inconsistently, judged the pq case as necessary but the ¬pq or ¬p¬q cases as possible. Logically, these two kinds of judgments are contradictory. Moreover, a true conditional doesn’t (...) imply that a specific instance under the conditional must be pq. Therefore, people demonstrate a necessity illusion for pq cases which contradicts their commitment to the possibility of ¬pq or ¬p¬q cases. Existing accounts of conditionals are unable to explain the contradiction and the necessity illusion. We propose an inference dissociation account and explore the theoretical implications of this necessity illusion. (shrink)

Engaging with Kant’s transcendental logic seems to be a question of mere scholarly historical interest today. It is most commonly regarded a mixture between logic and psychology or epistemology, and by that, not a serious form of logic. Transcendental logic seems to be of no systematical impact on the concept of logic. My paper aims to disclose a different account on the endeavour of Kant’s transcendental logic in particular and of the “Critique of Pure Reason” (CPR) in general. Kant’s fundamental (...) question is in a revolutionary way aiming to ground the character of necessity of knowledge, which means to justify the claim that thinking in accordance with the forms and principles of formal logic does not lead to sheer tautologies or an unsolved contradiction, but to knowledge that is objectively valid. In a first part, I shall demonstrate the necessity and the significance of this new fundamental question of the CPR with respect to its genesis out of pre-Kantian metaphysics. A brief outline of Kant’s answer to this question, with special emphasis on his revolutionary new comprehension of logical form, will be given as well. A second part shall open up a perspective that lies beyond Kant’s standpoint with reference to Nietzsche and eventually to Hegel. I will answer the question: What knowledge do we achieve about being or actuality by means of formal logic? I will argue that Kant shows that formal logic is the logic of all technical-practical conduct but also, at least indirectly, the limitation of the technical-practical knowledge and its legitimate sphere of application. (shrink)

During decades, the history of philosophy has kept Kierkegaardrsquo;s and Hegelrsquo;s thought apart, and their long-standing opposition has swept through the speculative greatness of Kierkegaardian existentialism and the existential power of Hegelian philosophy. In contrast to such unfortunate misinterpretation, this article aims at showing the deep convergence that relates interiorly the Kierkegaardian ethical stage with the most important Hegelian logic categories. Kierkegaard and Hegel conceive of the idea as the real power of subjective becoming, and the existence as the actual (...) concretion of the ideal. To both of them, the pure emeneacute;rgeia/em of freedom, which starts in the abstract and aesthetical possibility of the subjective immediacy, realizes itself as the actual concretion of finitude, assuming time and contingency by the eternal and necessary force of duty. The Kierkegaardian repetition is nothing but this powerful idea, mediating the flux of finite differences in the eternal identity of subject. However, for Kierkegaard as well as for Hegel there is an absolute contradiction, which promotes the overcoming of ethics. (shrink)

Several authors have detected profound analogies between Kant and Wittgenstein. Their claims have been contradicted by scholars, such being the agreed penalty for attributions to authorities. Many of the alleged similarities have either been left unsubstantiated at a detailed exegetical level, or have been confined to highly general points. At the same time, the ‘scholarly’ backlash has tended to ignore the importance of some of these general points, or has focused on very specific issues or purely terminological matters. To advance (...) the debate, I distinguish four different topics: questions of actual influence; parallels at the methodological level; substantial similarities in philosophical logic; substantial similarities in the philosophy of mind. The article concentrates on the second and third topic. Section I argues that the critical conception of philosophy shared by Kant and Wittgenstein is itself due to the fact that they explain the a priori status of necessary propositions by reference to the way we experience or represent reality. Section II shows how the Tractatiis linguistically transforms this ‘reflective turn’, replacing Kant's preconditions of experience by preconditions of symbolic representation. Section III suggests that this explanation of the a priori involves the idea of an isomorphism between thought and reality, and that both Kant's transcendental idealism and Wittgenstein's early metaphysics of symbolism distort this isomorphism. Wittgenstein later rejected this metaphysics of symbolism, on the grounds that language is autonomous, and section IV detects parallels between that idea and Kant's ‘diallelus’ argument against the correspondence theory of truth. Finally, I claim that while Wittgenstein is right to insist that all a priori propositions are conceptual, Kant, in calling them synthetic a priori, is right to deny that they simply unpack the concepts involved in the propositions themselves. (shrink)

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

The famous Cartesian Nicolas Malebranche (1638-1715) espoused the occasionalist doctrine that ‘there is only one true cause because there is only one true God; that the nature or power of each thing is nothing but the will of God; that all natural causes are not true causes but only occasional causes’ (LO, 448, original italics). One of Malebranche’s well-known arguments for occasionalism, known as, the ‘no necessary connection’ argument (or, NNC ) stems from the principle that ‘a true cause… is (...) one such that the mind perceives a necessary connection between it and its effect’ (LO, 450). The outline of this paper is as follows. I explicitly layout NNC and articulate some of its prima facie strengths (§1). I then critically discuss, what I take to be, the two main arguments against NNC of the Lee-Pyle interpretation (§2). The main conclusion from (§2) is that Malebranche did not abandon NNC in his later works given textual evidence from the Dialogues, contrary to the Lee-Pyle interpretation. In (§3) I discuss in what ways Suárez, Leibniz, Régis and Spinoza all accepted the main premise of NNC. Then, I rebut Steven Nadler’s influential and unchallenged criticism that Malebranche conflated causal and logical necessity, and provide a more accurate interpretation of Malebranche that only commits him to a partial reduction of causal to logical necessity (§4). (shrink)

The paper argues, in a nutshell, that Wittgenstein’s reconsideration, after Ramsey’s review, of the Tractatus provides the rationale for the methodological reflections from the former’s manuscripts, which are less sceptical than Schlick’s, on the viability of a phenomenological philosophy. The argument proceeds like this. Section 1 exposes a charge against a Tractarian account of logical syntax: for Ramsey, early Wittgenstein holds unjustifiably that any proposition taken to exhibit logical impossibility, like the impossibility of a fleck of two colours, (...) is analysable into formal contradiction. Section 2 explores ways in which Ramsey’s charge is taken on board by Wittgenstein’s 1929 “Some Remarks on Logical Form”, while bringing forth the view that propositions like “This is of two colours” cannot be analysed into formal contradiction. Section 3 reconstructs a mirror image of early Wittgenstein’s approach to colour-exclusion, from Schlick’s claim that propositions like “This cannot be of two colours” exhibit logical necessity and amount to formal tautologies. Section 4 isolates two responses two Schlick’s approach to colour-exclusion, suggesting that it is not more viable than early Wittgenstein’s. Section 5 assesses the rationale of Wittgenstein’s reflections on phenomenology, as informed by his approaches to colour-exclusion from early onwards. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Volitional Necessity and Volitional Shift:A Key to Sobriety?John Talmadge (bio)As a long-time amateur student of philosophy, I think my most effective contribution to this discussion of Dr. Rego's paper will be to discuss Harry Frankfurt's ideas from precisely the point of view of the beginner and the novice. After all, I had never experienced the pleasure of reading Frankfurt until reading Rego, so I can hardly be considered (...) proficient and conversant in analytical philosophy. To pretend to be so would be, in Frankfurt's way of thinking, to construe what I really am (a novice) as what I would ideally like to be (an expert). He calls this "the equation of the real with the ideal," and he certainly gets us thinking. He also says that our failure to mark the distinctions among our many passions (and our attitudes toward our passions) gets us into considerable confusion and trouble.Because I am most familiar with the diagnosis and treatment of addictions, I confine my comments to that domain. I have enjoyed over the years over the puzzling question of whether addiction should actually be called a "disease." This puzzle confounds us for one reason apparent to any armchair philosopher: how can we name something a disease when the removal of the offending agent banishes the problem? I have come to believe that Locke had it right when he said, "We would have a great many fewer disputes in the world if words were taken for what they are, the signs of our ideas only, and not for things themselves." (1994, 122) Addiction is not so much a disease as it is an idea. And this is where I think that Dr. Rego's insights have their most value.In his essay "The Importance of What We Care About," Frankfurt offers a particularly helpful example for those of us interested in the addictions. He observes that there are occasions when we care about something powerfully, and we care about it in such a fashion that we cannot avoid the consequences of the caring. His example from history is Martin Luther, who nailed his declaration to the door of the church with the statement, "Here I stand; I can do no other."It is clear, of course, that the impossibility to which Luther referred was a matter neither of logical nor of causal necessity. After all, he knew well enough that he was in one sense quite able to do the very thing he said he could not do; that is, he had the capacity to do it. What he was unable to muster was not the power to forbear, but the will.(Frankfurt 1988, 86)When an alcoholic finds success through Alcoholics Anonymous, he experiences what I would term a "volitional shift." No longer in the grip of alcohol itself, the alcoholic is constrained by what Frankfurt terms "volitional necessity." The alcoholic has a new constraint to which he declares he is subject, that is, "Today I will remain sober." [End Page 327]Frankfurt says that this capacity—the ability to reflect on ourselves—is precisely what separates us as uniquely human. As Frankfurt sees the world, the will of an agent is identical with the desire that motivates him (or would motivate him if he should act).1A first-order desire, such as the alcoholic's craving for a drink, may be contradicted by a second-order desire, specifically a desire not to crave a drink. The second-order desire is born of the individual's knowledge that the use of alcohol, in his case, will lead to dire consequences in terms of health, happiness, and stability. Frankfurt believes that an addict, for example, typically experiences a desire for the destructive chemical but also a desire not to use the chemical. This second-order desire is the one with which the addict identifies, and this reflects the addict's true self (Frankfurt 1988, 14).If we take Dr. Rego's point and notice how a therapist might approach a patient and define a problem, we see obvious distinctions between different schools of thought. To take three simple examples, consider the following: (a) a... (shrink)

The growing academic literature on ‘food sovereignty’ has elaborated a food producer-driven vision of an alternative, more ecological food system rooted in greater democratic control over food production and distribution. Given that the food sovereignty developed with and within producer associations, a rural setting and production-side concerns have overshadowed issues of distribution and urban consumption. Yet, ideal types such as direct marketing, time-intensive food preparation and the ‘family shared meal’ are hard to transcribe into the life realities in many non-rural, (...) non-farming households, and it is unclear, in turn, how such realities can fit into models of food sovereignty. A particular practical and research gap exists in how to engage the overwhelming need for food options served under time constraints and (often) outside of the home or a full-service restaurant. The over-generalized vilification of ‘fast food’ should be replaced by a framework that allows us to distinguish between unhealthy, corporate fast foods and both traditional and emerging alternatives that can serve to extend the tenets of food sovereignty further into food processing, distribution and consumption. This article analyzes existing conceptualizations of fast food, explores fast food historically, and studies how food sovereignty can operationalize its tenets and priorities in situations where fast food is an unquestionable necessity. (shrink)

Explorationism (see www.bu.edu/wcp/Papers/Logi/LogiFaus.htm, WCP XX, “Conflict without Contradiction”) is a perspective concerning human knowledge: as yet, our ignorance of the Real World remains great. With this perspective, all our knowledge is so far only partial and tentative. Evidence Logic (EL) (see “The Concept of Evidence”, INTER. JOURNAL OF INTELLIGENT SYSTEMS 15 (2000), 477‐493) provides an example of a reasonable Base Logic for Explorationism:EL provides machinery for the representation and processing of gradational evidential predications. Syntactically, for any evidence level e, (...) for a proposition symbol P, Pc:e asserts that there is level e confirmatory evidence regarding P, while Pr:e asserts level e refutatory evidence (n‐ary predications, for n>0, are handled similarly). Semantically, EL has similarly enriched model spaces. The Boolean sentence algebras of the variety of EL languages, varying across stipulated families of predicate and functions symbols, have been analyzed, and EL is sound and complete. Belief Systems, we will argue, are all unnecessary: in science, as well as in all broader domains of human relations and activity, it is always sufficient to have simply commitments, which entail no assertion of Truth but rather simply entail agreed‐upon consequent actions. (Agent A believes a sentence S if A asserts S is True although A does not know (have absolute evidence) that S is True.) We will further seek to explore ways in which such a perspective may help in engendering more enhanced discourse, less absolutist and shrill advocacy and violence, and more rationality, in the Global Village of the new century. (shrink)

Philosophers from anselm and scotus to hartshorne and malcolm have argued that the true claim that God is a necessary being implies that theism is a-Priori demonstrable. Philosophers such as hick, Penelhum, And geach have denied this, Contending 1) that god's necessity is factual, Indicating his eternal independence, Rather than logical, Indicating his existence in all possible worlds, And 2) that from the former nothing follows a-Priori about the truth or falsity of theism. I argue that factual and (...) logical necessity are conceptually inseparable, That God can be demonstrated to exist in all possible worlds. I take statements about the modalities of existence of things to be equivalent to statements about the modalities of instantiation of concepts, And argue that the concept God is necessarily instantiated, I.E., That God necessarily exists. The argument is compared and contrasted to a similar argument of hartshorne's. (shrink)

THE position I am going to consider here is that the proposition ‘There is a God’ is tautologous and yet not vacuous. This position was held by Bowman Clarke in his article, ‘Linguistic Analysis and the Philosophy of Religion’. Clarke was trying to refute Findlay’s ontological disproof of the existence of God. So let me first go briefly over Findlay’s ontological disproof.

Modal knowledge accounts like sensitivity or safety face a problem when it comes to knowing propositions that are necessarily true because the modal condition is always fulfilled no matter how random the belief forming method is. Pritchard models the anti-luck condition for knowledge in terms of the modal principle safety. Thus, his anti-luck epistemology faces the same problem when it comes to logical necessities. Any belief in a proposition that is necessarily true fulfills the anti-luck condition and, therefore, qualifies (...) as knowledge. Miščević shares Pritchard’s take on epistemic luck and acknowledges the resulting problem. In his intriguing article “Armchair Luck: Apriority, Intellection and Epistemic Luck” Miščević suggests solving the problem by supplementing safety with a virtue theoretic condition-“agent stability”-which he also spells out in modal terms. I will argue that Miščević is on the right track when he suggests adding a virtue-theoretic component to the safety condition. However, it should not be specified modally but rather in terms of performances that manifest competences. (shrink)

In the *Science of Logic*, Hegel states unequivocally that the category of “life” is a strictly logical, or pure, form of thinking. His treatment of actual life – i.e., that which empirically constitutes nature – arises first in his *Philosophy of Nature* when the logic is applied under the conditions of space and time. Nevertheless, many commentators find Hegel’s development of this category as a purely logical one especially difficult to accept. Indeed, they find this development only comprehensible (...) as long as one simultaneously assumes that Hegel breaks his promise to let the logic do the leading. However, if Hegel were to in fact allow the logical development to be led by biological analogies at this point, problems would ensue. Not only would it contradict his own speculative method, which should secure the necessity of the categories, but it would also endanger the ontological generality of the category of life itself. Beyond undermining his method and the logical integrity of the category, however, I will argue that such a reading makes the transition to the next category of “cognition” unintelligible and problematic. My aim in the first part of this paper is to argue how logical life can be read as a pure category. I then argue in the second part how my reconstruction makes the transition to cognition intelligible without resorting to profane or supernatural interpretations. (shrink)

An attempt is made to show that Wittgenstein's later philosophy of logic is not the kind of conventionalism which is often ascribed to him. On the contrary, Wittgenstein gives expression to a “mixed” theory which is not only interesting but tends to resolve the perplexities usually associated with the question of the a priori character of logical truth. I try to show that Wittgenstein is better understood not as denying that there are such things as “logical rules” nor (...) as denying that the results of applying such rules are “logically necessary,” but as trying to understand what it is to appeal to a logical rule and what it means to say that the results of applying such a rule are “necessary.” He is not so much overthrowing standard accounts of logical necessity as discovering the limits of the concept. (shrink)

Several authors have detected profound analogies between Kant and Wittgenstein. Their claims have been contradicted by scholars, such being the agreed penalty for attributions to authorities. Many of the alleged similarities have either been left unsubstantiated at a detailed exegetical level, or have been confined to highly general points. At the same time, the 'scholarly' backlash has tended to ignore the importance of some of these general points, or has focused on very specific issues or purely terminological matters. To advance (...) the debate, I distinguish four different topics: questions of actual influence; parallels at the methodological level; substantial similarities in philosophical logic; substantial similarities in the philosophy of mind. The article concentrates on the second and third topic. Section I argues that the critical conception of philosophy shared by Kant and Wittgenstein is itself due to the fact that they explain the a priori status of necessary propositions by reference to the way we experience or represent reality. Section II shows how the Tractatiis linguistically transforms this 'reflective turn', replacing Kant's preconditions of experience by preconditions of symbolic representation. Section III suggests that this explanation of the a priori involves the idea of an isomorphism between thought and reality, and that both Kant's transcendental idealism and Wittgenstein's early metaphysics of symbolism distort this isomorphism. Wittgenstein later rejected this metaphysics of symbolism, on the grounds that language is autonomous, and section IV detects parallels between that idea and Kant's 'diallelus' argument against the correspondence theory of truth. Finally, I claim that while Wittgenstein is right to insist that all a priori propositions are conceptual, Kant, in calling them synthetic a priori, is right to deny that they simply unpack the concepts involved in the propositions themselves. (shrink)

This chapter contains sections titled: Logical Possibility and Impossibility J. L. Mackie's Argument Interim Verdict: ‘Not Proved’ Suggested Reading.

Some philosophers, for example Quine, doubt the possibility of jointly using modalities and quantification. Simple model-theoretic considerations, however, lead to a reconciliation of quantifiers with such modal concepts as logical, physical, and ethical necessity, and suggest a general class of modalities of which these are instances. A simple axiom system, analogous to the Lewis systems S1 —S5, is considered in connection with this class of modalities. The system proves to be complete, and its class of theorems decidable.

According to Kant’s Universal Law Formula, maxims that cannot be conceived as universal laws denote duties of perfect obligation. In the recent literature, two versions of the Contradiction in Conception test have received the most attention. When acting on a maxim would violate a perfect duty, according to the Logical Contradiction Interpretation (LCI), universalizing the maxim would make it literally impossible to perform the action as described in the original maxim. According to the Practical Contradiction Interpretation (...) (PCI), the locus of the contradiction is as follows: the agent acts on the maxim in order to achieve some purpose, but were the agent’s maxim universalized, the purpose would be unattainable. Having examined the most widely accepted versions of both interpretations, I argue that i) PCI cannot generate contradictions for the maxims of any actions that violate perfect duties beyond those generated by LCI, ii) despite claims of its proponents, PCI cannot solve the vexing problem of relevant descriptions that Kant’s account faces, and iii) other arguments in favor of PCI are at best inconclusive. I therefore conclude that since LCI better coheres with the text, sympathetic interpreters should focus their efforts on LCI, not PCI. (shrink)

This thesis develops an account of ethics called the Linguistic Perspective, which is realist in a practical, non-theoretical sense, and is rooted Wittgenstein’s 'On Certainty'. On this account, normativity is intrinsic to human action and language; the norms of ethics are the logical limits of the most basic, unassailable concepts that practical reasoning requires for intelligibility. Part I lays the groundwork for this account by developing a Tractarian Reading of 'On Certainty'. Here, I contend that 'On Certainty' is primarily (...) concerned with the logical requirements and limits of language, and like the 'Tractatus' it develops these concerns in a realist direction. 'On Certainty', I argue, does so by advancing three key claims about logic: Everything descriptive of a language-game is part of logic; the boundary between logical and empirical propositions is not sharp; logic is founded on action. I investigate these claims, with particular emphasis on how natural human reactions provide logical conditions for the possibility of language. Hinge propositions, I argue, are rooted in these reactions; they point us to the limits of intelligibility of our concepts, though these limits are vague and inarticulable. In Part II, I discuss the practical syllogism and its validity. I argue that practical reasoning is distinct from theoretical reasoning and embodies a different standard of logical validity for inference. This standard is not strict and narrow, but creative and wide open; furthermore, it is an intrinsically ethical standard. Then, I advance my Linguistic Perspective on ethics, according to which human reactions provide the conditions for ethical normativity, just as they do for language. I argue that we can access ethical norms by reflecting on those linguistic concepts that are rooted in the most basic patterns of action, and by identifying the norms of behaviour that ensure the development of those concepts without contradiction. (shrink)

Sentences can be thought of as expressing propositions or statements. The logical nominalist is right, against the logical Platonist, to hold that propositions and statements are not really existing things but mere useful fictions. A sentence is logically necessary if its negation entails a contradiction, given that its referring expressions in fact pick out the objects that they do. A sentence's entailments are a matter of the human conventions for the use of that sentence. There are kinds (...) of necessity other than logical necessity. In particular, there is what I call ‘ontological necessity’ – everlasting uncaused existence; and what I call ‘metaphysical necessary’. Something is metaphysically necessary in my sense if either it is ontologically necessary or it is inevitably caused to exist everlastingly by something ontologically necessary. (shrink)

The basic principles of Cipra's metaphysics (according to his book "Metamorphoses of Metaphysics") are analyzed with respect to Cipra's request for the revision of classical logical principles (of identity, excluded middle and contradiction). In Cipra's metaphysics, the principle of identity holds for being, necessity and past only, the principle of excluded middle does not hold for coming-to-be, possibility and present, and the principle of contradiction does not hold for the actuality, reality (freedom) and future. A propositional (...) and first-order temporal model and semantics are defined for such a concept of metaphysical time. The propositional ockhamistic branching time model is extended, in a first-order model, with a non-empty set of object shapes and an equivalence relation between object shapes in time, so that, for example, different, previously equivalent object shapes can in future contradict one another. (shrink)

Myles Brand and Marshall Swain advocate the principle that if A is the set of conditions individually necessary and jointly sufficient for the occurrence of B, then if C is a set of conditions individually necessary for the occurrence of B, every member of C is a member of A. I agree with John Barker and Risto Hilpinen who each argue that this principle is not true for causal necessity and sufficiency, but I disagree with their claim that it (...) is true for logical necessity and sufficiency. The original appeal of the principle may be due to confusing two kinds of totality: to say that when every member of set A obtains, then every condition necessary for E obtains is not to say that every condition necessary for E is a member of A. All the authors mentioned believe that causal necessity precludes logical necessity. I deny this on the basis of an example from kinematics. Hume has not refuted definitions of causation in terms of logically necessary and sufficient conditions, nor have Brand and Swain. (shrink)

According to EJ Lowe, diachronic necessity and synchronic necessity are logically independent. Diachronic possibility concerns what could happen to an object over time and therefore concerns future possibilities for that object given its past history. Synchronic possibility concerns what is possible for an object in the present or at a past present moment. These are logically independent, given certain assumptions. While it may true that because I am 38, it is impossible diachronically for me to be 30 (at (...) least once we restrict the degree of relevant possibility), it is possible, given that at some point in the past, I may have been conceived slightly earlier than I was, that I am now 37. Likewise, it is possible diachronically for me to be somewhere other than where I am, but given that one object cannot be in different places at the same time, it is impossible for me now to be somewhere other than where I am, and this is true at each past point in my history too. There are, then, two axis upon which to distinguish what is and is not possible: tensed possibilities and possibilities of degree, which include nomic, metaphysical, and logical necessities, among others. I examine the interactions between these possibilities and I come to the conclusion that logical necessity is not in fact logical necessity simpliciter. Whether something is logically necessary depends upon tensed possibilities. I argue that while synchronic logical necessity entails diachronic logical necessity, the reverse entailment does not hold. I explore the consequences of this for certain philosophical debates in semantics including the concept of rigid designation, and descriptive names. (shrink)

What is the source of the hardness of the logical must? What does the necessity of mathematical and logical inference consist in? If I am plotting the curve y = x2 and assume that x = 2 I must conclude that y = 4; no other consequence can be drawn. What is the nature of this ‘must'?Understanding Wittgenstein's answer to this question is essential to understanding his later philosophy. The question of the nature of logical or (...) mathematical necessity is as fundamental for the Investigations as it obviously was for the Tractatus. Barry Stroud's article “Wittgenstein and Logical Necessity” certainly is still one of the most illuminating and important of the papers dealing with this question. (shrink)

The origin of Paraconsistent Logic is closely related with the argument that from the assertion of two mutually contradictory statements any other statement can be deduced, which can be referred to as ex contradict!one sequitur quodlibet (ECSQ). Despite its medieval origin, only in the 1930s did it become the main reason for the unfeasibility of having contradictions in a deductive system. The purpose of this paper is to study what happened before: from Principia Mathematica to that time, when it became (...) well established. The main historical claims that I am going to advance are the following: the first explicit use of ECSQ as the main argument for supporting the necessity of excluding any contradiction from deductive systems is to be found in the first edition (1928) of the book Grundzüge der theoretischen Logik by Hilbert and Ackermann. At the end, I will suggest that the aim of the 20th century usage of ECSQ was to change from the centuries long philosophical discussion about contradictions to a more "technical" one. But with Paraconsistent Logic viewed as a technical solution to this restriction, the philosophical problem revives, but now with an improved understanding of it at one's disposal. (shrink)

The Master Argument, recorded by Epictetus, indicates that Diodorus had deduced a contradiction from the conjoint assertion of three propositions. The Argument, which has to do with necessity and contingency and therefore with freedom, has attracted the attention of logicians above all. There have been many attempts at reconstructing it in logical terms, without excessive worry about historical plausibility and with the foregone conclusion that it was sophistic since it directly imperilled our common sense notion of freedom. (...) This text takes exception to recent tradition, translating the propositions into logical terms. The propositions figuring in The Master Argument are interpreted in terms of temporal modal logic where both the modalities and the statements they govern have chronological indices. This means that the force of the argument comes not from purely logical or modal considerations, but from our experience of time. (shrink)

In two early papers, Max Cresswell constructed two formal logics of propositional identity, pcr and fcr, which he observed to be respectively deductively equivalent to modal logics s4 and s5. Cresswell argued informally that these equivalences respectively “give . . . evidence” for the correctness of s4 and s5 as logics of broadly logical necessity. In this paper, I describe weaker propositional identity logics than pcr that accommodate core intuitions about identity and I argue that Cresswell’s informal arguments (...) do not firmly and without epistemic circularity justify accepting s4 or s5. I also describe how to formulate standard modal logics (k, s2, and their extensions) with strict equivalence as the only modal primitive. (shrink)

Chapter VI discusses a few assumptions which underlie the proposed reconstruction of Hegel's procedures. It is shown that certain equivalents of such assumptions are either explicitly accepted by Hegel, or they are consequences of theses he subscribed to. Finally, it is suggested that some of these assumptions envisage a conception of language and philosophy which has an interesting parallel in Wittgenstein's later work. Such a conception sets philosophy sharply apart from the sciences, and deemphasizes the formation of contradictions. The general (...) relationship between vagueness and contradiction is briefly explored to show that some familiar contradiction-generating procedures can be seen to be based on vagueness of the relevant theoretical expressions. ;Chapter V deals with the Aufhebung. After an examination of Hegel's own theory of sublation, and an analysis of some textual examples, it is shown that some Aufhebung-procedures can be modelled by certain patterns of argument concerning simple algebraic structures. A few Hegelian concepts, such as "opposition," "unity," "passing over," "reflection," are partially explicated in the process. ;Chapter IV plays a pivotal role in the dissertation. It explains the generation of dialectical contradictions as stemming from syntactic and intensional indeterminacy of the theoretical terms. It is shown that Hegel's conceptual terms have no well-determined sense, so that their senses can be identified in different and possibly inconsistent ways. It is also shown that they can be made to play different syntactic roles, for no rigid determination of their syntactic function is assumed. This, again, may create contradictions. Both kinds of indeterminacy are related to Hegel's borrowing of his conceptual terms from a "natural" philosophical koine. ;Chapter III is an analysis of Hegel's language in the Logic. It tries to determine the grammatical and semantical status of Hegel's conceptual terms and to explicate the Hegelian use of the copula as occurring in certain typical sentential forms. ;The presence of the so-called "dialectical contradictions" is the most evident logico-linguistic peculiarity of Hegel's text. After a discussion of Hegel's theory of contradiction, and of some of its interpretations, it is argued that any satisfactory account of the dialectical method must explain the formation of contradictions on the basis of other logico-linguistic features of Hegel's text. ;Chapter II deals with a few such explanations which have been offered by modern interpreters of Hegel. Use of contemporary analytic concepts in the logical and linguistic analysis of Hegel's text is justified with reference to the Carnapian categories of "explication" and "rational reconstruction." ;The literature on Hegel's dialectic has made important contributions to an understanding of its nature both as a metaphysical theory of reality and as a philosophical attitude towards the human world. However, many recent interpreters agree that no satisfactory progress has been made in understanding dialectic as a method. This dissertation identifies the dialectical method as the specific form of Hegel's philosophical discourse, and tries to bring out its basic logico-linguistic features. The Science of Logic is chosen as the field of inquiry, because of its crucial position among Hegel's mature works. (shrink)

James Anderson and Greg Welty have resurrected an argument for God’s existence, which we will call the argument from logic. We present three lines of response against the argument, involving the notion of necessity involved, the notion of intentionality involved, and then we pose a dilemma for divine conceptualism. We conclude that the argument faces substantial problems.

I offer you some theories of intellectual obligations and rights (virtue Ethics): initially, RBT (a Right to Believe Truth, if something is true it follows one has a right to believe it), and, NDSM (one has no right to believe a contradiction, i.e., No right to commit Doxastic Self-Mutilation). Evidence for both below. Anthropology, Psychology, computer software, Sociology, and the neurosciences prove things about human beliefs, and History, Economics, and comparative law can provide evidence of value about theories of (...) rights. However, insofar as we have methods within Philosophy to help us formulate precise concepts of 'belief' and 'rights', methods that also help us to prove links (or absence thereof) amongst families of concepts of rights and belief, our discipline is in and of itself capable of sound reasoning about issues as puzzling as the following. Suppose a Jane who does not believe in God yet who believes she ought to so believe: Jane is undergoing doxastic moral regret (moral regret for lack of faith). We have all known such Janes and perhaps at one time or another even been one. Paradox: given RBT and NDSM, Jane as described not only does not exist, Jane cannot exist. Thus, to enrich the ways in which Philosophy need not get all its evidence from other academic disciplines, I present a brief introduction to what I call Neutral Universal Frames (NUFs). NUFs solve hard puzzles about interactions among modal concepts of belief and rights, concepts that occur in RBT, NDSM and the description of our Janes. NUFs for theories precisely articulated via any two or more modal concepts are a powerful and immensely general set of tools enabling us to define rich theories of truth ("models on frames") to test philosophical theories for internal consistency and to prove the existence of connections (or absence thereof) amongst alternative articulations of philosophical theories. NUFs thereby add to the constructive knowledge producing way Logics intersect with Philosophy of Religion. And we will soon see why Jane, be she named 'Jane' or known simply as you: cannot exist. Read on at your own risk. (shrink)

The fundamental laws of logic hold independently of us. Thus, if there were beings who thought in contradiction to these laws, they would be in error. The paper defends this stance of Frege's against Wittgenstein's combination of logical constitutivism and logical naturalism. Frege's arguments against psychologism are more general than his usual wording suggests and are, at their core, directed against the whole of logical naturalism. Contrary to prevailing opinions on this subject, I argue that constitutivism (...) alone cannot deflect Frege's attack. Rather, constitutivism is neutral to the opposition between logical realism and logical naturalism. The later Wittgenstein was not only a constitutivist, but, as will be explained, also a logical naturalist. By shedding new light on the logical alien problem, I attempt to apply Frege's generalized arguments to Wittgensteinian naturalism. This naturalism inevitably leads to a radical and self-undermining relativism. (shrink)

This paper examines some Indian philosophical arguments that are understandable as transcendental arguments—i.e., arguments whose conclusions cannot be denied without self-contradiction, insofar as the truth of the claim in question is a condition of the possibility even of any such denial. This raises the question of what kind of self-contradiction is involved—e.g., pragmatic self-contradiction, or the kind that goes with logical necessity. It is suggested that these arguments involve something like practical reason—indeed, that they just (...) are arguments against the primacy of “theoretical reason.” This characterization illuminates a characteristically Indic appeal to ordinary language. (shrink)

Prior research shows that reasoners' confidence is poorly calibrated (Shynkaruk & Thompson, 2006). The goal of the current experiment was to increase calibration in syllogistic reasoning by training reasoners on (a) the concept of logical necessity and (b) the idea that more than one representation of the premises may be possible. Training improved accuracy and was also effective in remedying some systematic misunderstandings about the task: those in the training condition were better at estimating their overall performance than (...) those who were untrained. However, training was less successful in helping reasoners to discriminate which items are most likely to cause them difficulties. In addition we explored other variables that may affect confidence and accuracy, such as the number of models required to represent the problem and whether or not the presented conclusion was necessitated by the premises, possible given the premises, or impossible given the premises. These variables had systematically different relationships to confidence and accuracy. Thus, we propose that confidence in reasoning judgements is analogous to confidence in memory retrievals, in that they are inferentially derived from cues that are not diagnostic in terms of accuracy. (shrink)