The theorizing about the doctrine of the Trinity by contemporary analytic philosophers of religion has recently been imbued with an air of enthusiastic excitement and self-confidence. My intuition is that there’s room for saying something more in support to the embarrassment and puzzlement traditionally related to the predication of God’s onefoldness and threefoldness. My purpose is to deliver a general argument for (weak) trinitarian skepticism. My view is that the argument provides substantive reasons in support to the common sense intuition (...) that either God’s onefoldness and threefoldness aren’t actually compatible or God’s onefoldness and threefoldness aren’t robustly construed. (shrink)
I EXPLORE ONE WAY IN WHICH THE THEORY OF RELATIVEIDENTITY (DEVELOPED ALONG LINES SUGGESTED BY GEACH’S WRITINGS) CAN BE USED TO UNDERSTAND THE WAY LANGUAGE FUNCTIONS IN TRINITARIAN DOCTRINE. THIS INCLUDES A DISCUSSION OF REDUPLICATIVE PROPOSITIONS.
The identity "relation" is misconceived since the syntax of "=" is misconceived as a relative term. Actually, "=" is syncategorematic; it forms (true) sentences with a nonpredicative syntax from pairs of (coreferring) flanking names, much as "&" forms (true) conjunctive sentences from pairs of (true) flanking sentences. In the conaming structure, nothing is predicated of the subject, other than, implicitly, its being so conamed. An identity sentence has both an objectual reading as a necessity about what is (...) named, and also a metalinguistic reading as a contingency about the names. Either way the claim about the subject referent has no extralinguistic content. The necessity of alteridentity (non-self-identity) statements is "lexical", due to contingencies of the names' reference, much like the necessity of analytic statements, due to contingencies of the predicates' sense, and unlike the necessity of logical truths (e.g., self-identities) whose truth is secured by syntax alone. Both alter-identity and analytic sentences are readable as objectual necessities and metalinguistic contingencies. Epistemically, alter-identity statements are not essentially unlike analyticities. "Greece is Hellas"/"g=h" and "Greeks are Hellenes"/"(x)(Gx<=>Hx)" are equally (un)informative; so too for "Azure is cobalt"/"a=c" and "Everything azure is cobalt"/"(x)(Ax<=>Cx)". The real epistemic contrast is between proper names (terms without predicative sense) and terms with a predicative sense (names and predicates of properties). Proper names refer to concrete objects, property names refer to abstract objects. That contrast is metaphysical and thus epistemic. (shrink)
According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a (...) consequence, relative counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)
This paper briefly proposes a weak relativeidentity strategy for the doctrine of the Trinity called the general partnership model. This model develops a logically consistent metaphysical constitution for the orthodox Christian doctrines of one divine substance and three divine persons. Moreover, the model rejects the rigid use of absolute identity in Trinitarian doctrine while modeling relativeidentity with an analogy of general partnerships in the United States.
Propositional identity is not expressed by a predicate. So its logic is not given by the ordinary first order axioms for identity. What are the logical axioms governing this concept, then? Some axioms in addition to those proposed by Arthur Prior are proposed.
This essay proposes an ontological model in which a legal person such as a polity possesses natural unity from group properties that emerge in the self-organization of the human population. Also, analysis of customary legal persons and property indicates noncontradictory paradoxes that include Aristotelian essence of an entity, relativeidentity over time, ubiquitous authority, coinciding authorities, and identical entities. Mathematical modeling helps to explain the logic of the paradoxes.
Goetz outlined legal models of identical entities that include natural persons who are identical to a coregency and natural persons who are identical to a general partnership. Those entities cohere with the formula logic of relativeidentity. This essay outlines the coexistence of relativeidentity and numerical identity in the models of identical legal entities, which is impure relativeidentity. These models support the synthesis of Relative Trinitarianism and Social Trinitarianism, which (...) I call Relative-Social Trinitarianism. (shrink)
This article consists in two parts that are complementary and autonomous at the same time. -/- In the first one, we develop some surprising consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. On a conceptual level, it allows to see sets in a new light and to give a legitimacy to the empty set. On a technical level, it leads to a relative resolution (...) of the anomaly of the intersection of a family free of sets. -/- In the second part, we show the interest of introducing an operator of potentiality into a standard set theory. Among other results, this operator allows to prove the existence of a hierarchy of empty sets and to propose a solution to the puzzle of "ubiquity" of the empty set. -/- Both theories are presented with equi-consistency results (model and interpretation). -/- Here is a declaration of intent : in each case, the starting point is a conceptual questionning; the technical tools come in a second time\\[0.4cm] \textbf{Keywords:} nothing, void, empty set, null-class, zero-order logic with quantifiers, potential, effective, empty set, ubiquity, hierarchy, equality, equality by the bottom, identity, identification. (shrink)
Equality and identity. Bulletin of Symbolic Logic. 19 (2013) 255-6. (Coauthor: Anthony Ramnauth) Also see https://www.academia.edu/s/a6bf02aaab This article uses ‘equals’ [‘is equal to’] and ‘is’ [‘is identical to’, ‘is one and the same as’] as they are used in ordinary exact English. In a logically perfect language the oxymoron ‘the numbers 3 and 2+1 are the same number’ could not be said. Likewise, ‘the number 3 and the number 2+1 are one number’ is just as bad from a (...) logical point of view. In normal English these two sentences are idiomatically taken to express the true proposition that ‘the number 3 is the number 2+1’. Another idiomatic convention that interferes with clarity about equality and identity occurs in discussion of numbers: it is usual to write ‘3 equals 2+1’ when “3 is 2+1” is meant. When ‘3 equals 2+1’ is written there is a suggestion that 3 is not exactly the same number as 2+1 but that they merely have the same value. This becomes clear when we say that two of the sides of a triangle are equal if the two angles they subtend are equal or have the same measure. -/- Acknowledgements: Robert Barnes, Mark Brown, Jack Foran, Ivor Grattan-Guinness, Forest Hansen, David Hitchcock, Spaulding Hoffman, Calvin Jongsma, Justin Legault, Joaquin Miller, Tania Miller, and Wyman Park. -/- ► JOHN CORCORAN AND ANTHONY RAMNAUTH, Equality and identity. Philosophy, University at Buffalo, Buffalo, NY 14260-4150, USA E-mail: corcoran@buffalo.edu The two halves of one line are equal but not identical [one and the same]. Otherwise the line would have only one half! Every line equals infinitely many other lines, but no line is [identical to] any other line—taking ‘identical’ strictly here and below. Knowing that two lines equaling a third are equal is useful; the condition “two lines equaling a third” often holds. In fact any two sides of an equilateral triangle is equal to the remaining side! But could knowing that two lines being [identical to] a third are identical be useful? The antecedent condition “two things identical to a third” never holds, nor does the consequent condition “two things being identical”. If two things were identical to a third, they would be the third and thus not be two things but only one. The plural predicate ‘are equal’ as in ‘All diameters of a given circle are equal’ is useful and natural. ‘Are identical’ as in ‘All centers of a given circle are identical’ is awkward or worse; it suggests that a circle has multiple centers. Substituting equals for equals [replacing one of two equals by the other] makes sense. Substituting identicals for identicals is empty—a thing is identical only to itself; substituting one thing for itself leaves that thing alone, does nothing. There are as many types of equality as magnitudes: angles, lines, planes, solids, times, etc. Each admits unit magnitudes. And each such equality analyzes as identity of magnitude: two lines are equal [in length] if the one’s length is identical to the other’s. Tarski [1] hardly mentioned equality-identity distinctions (pp. 54-63). His discussion begins: -/- Among the logical concepts […], the concept of IDENTITY or EQUALITY […] has the greatest importance. -/- Not until page 62 is there an equality-identity distinction. His only “notion of equality”, if such it is, is geometrical congruence—having the same size and shape—an equivalence relation not admitting any unit. Does anyone but Tarski ever say ‘this triangle is equal to that’ to mean that the first is congruent to that? What would motivate him to say such a thing? This lecture treats the history and philosophy of equality-identity distinctions. [1] ALFRED TARSKI, Introduction to Logic, Dover, New York, 1995. [This is expanded from the printed abstract.] . (shrink)
In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...) the direct and the indirect deductions constructed with the three traditional rules. IL3 is a hybrid of IL1 and IL2: its deductions are all direct as in IL1 but it deals with identities and inidentities as in IL2. IL1 and IL2 have a high degree of naturalness. Although the hybrid system IL3 was constructed as an artifact useful in the mathematical study of IL1 and IL2, it nevertheless has some intrinsically interesting aspects. The main motivation for describing and studying such simple systems is pedagogical. In teaching beginning logic one would like to present a system of logic which has the following properties. First, it exemplifies the main ideas of logic: implication, deduction, non-implication, counterargument(or countermodel), logical truth, self-contradiction, consistency,satisfiability, etc. Second, it exemplifies the usual general metaprinciples of logic: contraposition and transitivity of implication, cut laws, completeness,soundness, etc. Third, it is simple enough to be thoroughly grasped by beginners. Fourth, it is obvious enough so that its rules do not appear to be arbitrary or purely conventional. Fifth, it does not invite confusions which must be unlearned later. Sixth, it involves a minimum of presuppositions which are no longer accepted in mainstream contemporary logic. (shrink)
Associative duties are agent-centered duties to give defeasible moral priority to our special ties. Our strongest associative duties are to close friends and family. According to reductionists, our associative duties are just special duties—i.e., duties arising from what I have done to others, or what others have done to me. These include duties to abide by promises and contracts, compensate our benefactors in ways expressing gratitude, and aid those whom we have made especially vulnerable to our conduct. I argue, though, (...) that reductionism faces a problem: special duties are not strong enough to account for the strength of our associative duties. At the bar of associative duties, we are required to do what no special duty can warrant. I then present an alternative reductionist analysis of associative duties—the ‘Identity-Enactment Account’—which not only accounts for the peculiar strength of our associative duties, but also characterizes them in an intuitively compelling way. On this account, our strongest associative duties are special duties to protect or promote the welfare of the duty’s beneficiary by adopting and enacting a practical identity in which the duty’s beneficiary features prominently. There are persons who can legitimately demand a prominent place in our mental lives, for the protection and intimacy it affords. They can, in effect, legitimately demand to be among our nearest and dearest. The correlative of such a demand is, on our part, an associative duty we have toward them. (shrink)
Contemporary accounts of the Trinity and Incarnation sometimes employ aspects of Peter Geach's theory of relativeidentity. Geach's theory provides an account not merely of identity predicates, but also proper names and restricted quantification. In a previous work I developed an account of the doctrines of the Trinity and Incarnation incorporating these three aspects of Geach's theory and tried to show how each might contribute to our understanding of the doctrines. Joseph Jedwab has recently argued that my (...) account—or any that employs Geach's treatment of restricted quantifiers—leads to serious doctrinal errors. I reply to his criticisms. (shrink)
Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: (...) the parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)
The Identity principle says that conditionals with the form 'If p, then p' are logical truths. Identity is overwhelmingly plausible, and has rarely been explicitly challenged. But a wide range of conditionals nonetheless invalidate it. I explain the problem, and argue that the culprit is the principle known as Import-Export, which we must thus reject. I then explore how we can reject Import-Export in a way that still makes sense of the intuitions that support it, arguing that the (...) differences between indicative and subjunctive conditionals play a key role in solving this puzzle. (shrink)
When the Necessity of Identity (NI) is combined with Composition as Identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new (...) variety of CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, Contingent Composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relativeidentity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)
Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation (...) which comes in a variety of forms and only one of them obeys substitution unrestrictedly. I justify this departure from orthodoxy by showing some problems which result from attempts to avoid inconsistencies within plural logic by means of postulating other non-singular terms besides plural terms. Thereby, some of the main criticisms raised against Composition as Identity can be addressed. Further, I argue that the way objects are arranged is relevant with respect to the question which object they compose, i.e. to which object they are identical to. This helps to meet a second group of arguments against Composition as Identity. These arguments aim to show that identifying composite objects on the basis of the identity of their parts entails, contrary to our common sense view, that rearranging the parts of a composite object does not leave us with a different object. Moreover, it allows us to carve out the intensional aspects of Composition as Identity and to defend mereological universalism, the claim that any objects compose some object. Much of the pressure put on the latter view can be avoided by distinguishing the question whether some objects compose an object from the question what object they compose. Eventually, I conclude that Composition as Identity is a coherent and plausible position, as long as we take identity to be a more complex relation than commonly assumed. (shrink)
Composition as identity, as I understand it, is a theory of the composite structure of reality. The theory’s underlying logic is irreducibly plural; its fundamental primitive is a generalized identity relation that takes either plural or singular arguments. Strong versions of the theory that incorporate a generalized version of the indiscernibility of identicals are incompatible with the framework of plural logic, and should be rejected. Weak versions of the theory that are based on the idea that (...) composition is merely analogous to identity are too weak to be interesting, lacking in metaphysical consequence. I defend a moderate version according to which composition is a kind of identity, and argue that the difference is metaphysically substantial, not merely terminological. I then consider whether the notion of generalized identity, though fundamental, can be elucidated in modal terms by reverse engineering Hume’s Dictum. Unfortunately, for realists about possible worlds, such as myself,... (shrink)
We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. (...) Aboutness-preservation models the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)
We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide (...) models to show that some of these logics are non-degenerate. (shrink)
I argue that there is a hitherto unrecognized connection between Henry of Ghent’s general theory of real relations and his Trinitarian theology, namely the notion of numerical sameness without identity. A real relation (relatio) is numerically the same thing (res) as its absolute (non-relative) foundation, without being identical to its foundation. This not only holds for creaturely real relations but also for the divine persons’ distinguishing real relations. A divine person who is constituted by a real relation (relatio) (...) and the divine essence is numerically the same thing (res) as the divine essence without being identical to it. Further, I compare Mark Henninger’s and Jos Decorte’s interpretations of Henry’s general theory of real relations and show that Henninger’s is to be preferred and how it is consistent with my interpretation. I argue that the difficulty with Decorte’s interpretation stems, in part, from his misrepresentation of Henry’s Trinitarian theology. Subsequently, I fill in some missing pieces to Decorte’s presentation of Henry’s Trinitarian theology, and this in turn shows why Henninger’s interpretation in conjunction with mine is to be preferred. (shrink)
My first paper on the Is/Ought issue. The young Arthur Prior endorsed the Autonomy of Ethics, in the form of Hume’s No-Ought-From-Is (NOFI) but the later Prior developed a seemingly devastating counter-argument. I defend Prior's earlier logical thesis (albeit in a modified form) against his later self. However it is important to distinguish between three versions of the Autonomy of Ethics: Ontological, Semantic and Ontological. Ontological Autonomy is the thesis that moral judgments, to be true, must answer to a realm (...) of sui generis non-natural PROPERTIES. Semantic autonomy insists on a realm of sui generis non-natural PREDICATES which do not mean the same as any natural counterparts. Logical Autonomy maintains that moral conclusions cannot be derived from non-moral premises.-moral premises with the aid of logic alone. Logical Autonomy does not entail Semantic Autonomy and Semantic Autonomy does not entail Ontological Autonomy. But, given some plausible assumptions Ontological Autonomy entails Semantic Autonomy and given the conservativeness of logic – the idea that in a valid argument you don’t get out what you haven’t put in – Semantic Autonomy entails Logical Autonomy. So if Logical Autonomy is false – as Prior appears to prove – then Semantic and Ontological Autonomy would appear to be false too! I develop a version of Logical Autonomy (or NOFI) and vindicate it against Prior’s counterexamples, which are also counterexamples to the conservativeness of logic as traditionally conceived. The key concept here is an idea derived in part from Quine - that of INFERENCE-RELATIVE VACUITY. I prove that you cannot derive conclusions in which the moral terms appear non-vacuously from premises from which they are absent. But this is because you cannot derive conclusions in which ANY (non-logical) terms appear non-vacuously from premises from which they are absent Thus NOFI or Logical Autonomy comes out as an instance of the conservativeness of logic. This means that the reverse entailment that I have suggested turns out to be a mistake. The falsehood of Logical Autonomy would not entail either the falsehood Semantic Autonomy or the falsehood of Ontological Autonomy, since Semantic Autonomy only entails Logical Autonomy with the aid of the conservativeness of logic of which Logical Autonomy is simply an instance. Thus NOFI or Logical Autonomy is vindicated, but it turns out to be a less world-shattering thesis than some have supposed. It provides no support for either non-cognitivism or non-naturalism. (shrink)
For more than fifty years, taxonomists have proposed numerous alternative definitions of species while they searched for a unique, comprehensive, and persuasive definition. This monograph shows that these efforts have been unnecessary, and indeed have provably been a pursuit of a will o’ the wisp because they have failed to recognize the theoretical impossibility of what they seek to accomplish. A clear and rigorous understanding of the logic underlying species definition leads both to a recognition of the inescapable ambiguity (...) that affects the definition of species, and to a framework-relative approach to species definition that is logically compelling, i.e., cannot not be accepted without inconsistency. An appendix reflects upon the conclusions reached, applying them in an intellectually whimsical taxonomic thought experiment that conjectures the possibility of an emerging new human species. (shrink)
This paper could be thought of as divided into two parts. In the first I show through a series of thought experiments that it is a mistake to think of one’s individual experience as necessarily belonging to only one particular place, time and organism. In repetitions across a universe large enough to host them, the particular experience that one finds oneself in, which can be individuated only by the detailed type that is the entirety of its momentary subjective content, would (...) exist equally in every occurrence of that type, much as a moment in the plot of a novel would exist equally in every copy of that novel. Each distinguishable subjective moment of experience is thus a ‘moment universal’. In the second part of the paper I draw from this the conclusion that there could not be any proper possessors of lines of experience - that there are no proper persons - no continuing subjects of consciousness and self-interest. About five years after writing this paper I came to see that the particular identity of an experience could not be confined by types of momentary subjective detail any more than it could be confined by particular places, times or organisms. All experience is equally here, now and mine and all conscious organisms are equally I. My argument for this crucial further development is presented in ‘One Self – The Logic of Experience’, Inquiry 33 (1991): pp. 39-68. (shrink)
We propose a formalization of a realist ontology using first order logic with identity and allowing quantification over terms representing both individuals and universals. In addition to identity, the ontology includes also relational predicates such as subtype, instantiation, parthood, location, and inherence. Inspired in part by Davidson’s treatment of events, the ontology includes also various relations linking events to their participants and to the times at which they occur.
An introduction to sentential logic and first-order predicate logic with identity, logical systems that significantly influenced twentieth-century analytic philosophy. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading. -/- This books treats symbolization, formal semantics, and proof theory for each language. The discussion of formal semantics is more direct than in many introductory texts. Although forall x does not contain proofs of soundness (...) and completeness, it lays the groundwork for understanding why these are things that need to be proven. -/- The book highlights the choices involved in developing sentential and predicate logic. Students should realize that these two are not the only possible formal languages. In translating to a formal language, we simplify and profit in clarity. The simplification comes at a cost, and different formal languages are suited to translating different parts of natural language. (shrink)
The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part (...) of a larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)
Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)
The word ‘equality’ often requires disambiguation, which is provided by context or by an explicit modifier. For each sort of magnitude, there is at least one sense of ‘equals’ with its correlated senses of ‘is greater than’ and ‘is less than’. Given any two magnitudes of the same sort—two line segments, two plane figures, two solids, two time intervals, two temperature intervals, two amounts of money in a single currency, and the like—the one equals the other or the one is (...) greater than the other or the one is greater than the other [sc. in appropriate correlated senses of ‘equals’, ‘is greater than’ and ‘is less than’]. In case there are two or more appropriate senses of ‘equals’, the one intended is often indicated by an adverb. For example, one plane figure may be said to be equal in area to another and, in certain cases, one plane figure may be said to be equal in length to another. Each sense of ‘equality’ is tied to a specific domain and is therefore non-logical. Notice that in every cases ‘equality’ is definable in terms of ‘is greater than’ and also in terms of ‘is less than’ both of which are routinely considered domain specific, non-logical. The word ‘identity’ in the logical sense does not require disambiguation. Moreover, it is not correlated ‘is greater than’ and ‘is less than’. If it is not the case that a certain designated triangle is [sc. is identical to] an otherwise designated triangle, it is not necessary for the one to be greater than or less than the other. Moreover, if two magnitudes are equal then a unit of measure can be chosen and, no matter what unit is chosen, each magnitude is the same multiple of the unit that the other is. But identity does not require units. In this regard, congruence is like identity and unlike equality. In arithmetic, the logical concept of identity is coextensive with the arithmetic concept of equality. The logical concept of identity admits of an analytically adequate definition in terms of logical concepts: given any number x and any number y, x is y iff x has every property that y has. The arithmetical concept of equality admits of an analytically adequate definition in terms of arithmetical concepts: given any number x and any number y, x equals y iff x is neither less than nor greater than y. As Aristotle told us and as Frege retold us, just because one relation is coextensive with another is no reason to conclude that they are one. (shrink)
Provided here is an account, both syntactic and semantic, of first-order and monadic second-order quantification theory for domains that may be non-atomic. Although the rules of inference largely parallel those of classical logic, there are important differences in connection with the identification of argument places and the significance of the identity relation.
“Identità” qui si intende nel senso già precisato da Aristotele di “identità numerica”, che si ha “quando i nomi sono parecchi, ma la cosa è una sola” e, non nel senso di “identità specifica”, che si ha invece “quando gli oggetti, pur essendo parecchi, non rivelano differenze quanto alla specie”.1 In questo articolo intendo fornire al lettore indicazioni introduttive (non certo esaustive) sul posto che la nozione di identità numerica occupa nella logica contemporanea e nell’area di riflessione filosofica del Novecento (...) più strettamente legata alla logica, la filosofia analitica. Nella terza parte proporrò qualche spunto per un’indagine originale. (shrink)
Many philosophers have argued or taken for granted that Frege's puzzle has little or nothing to do with identity statements. I show that this is wrong, arguing that the puzzle can only be motivated relative to a thinker's beliefs about the identity or distinctness of the relevant object. The result is important, as it suggests that the puzzle can be solved, not by a semantic theory of names or referring expressions as such, but simply by a theory (...) of identity statements. To show this, I sketch a framework for developing solutions of this sort. I also consider how this result could be implemented by two influential solutions to Frege's puzzle, Perry's referential-reflexivism and Fine's semantic relationism. (shrink)
Based on the notion of a trope, this paper gives a novel analysis of identificational sentences such as 'this is Mary','this is a beautiful woman', 'this looks like Mary', or 'this is the same lump of clay, but not the same statue as that'.
I provide a simple solution to the problem of determining the characterising feature(s) of the simple approach to personal identity, sometimes also called the simple view: instead of focusing on claims regarding the analysability, reducibility, or triviality of the concepts used in simple theories of personal identity, I propose instead a metaphysical criterion to define this approach. In particular, I claim that the simple approach is (best seen as) that family of theories according to which personal identity (...) is a relation that essentially depends on a mereologically simple (or impartite) entity the existence and features of which may be known directly (e.g., by introspection) or indirectly (e.g., by deduction from a series of other premises). (shrink)
Two things become one thing, something having parts, and something becoming something else, are cases of many things being identical with one thing. This apparent contradiction introduces others concerning transitivity of identity, discernibility of identicals, existence, and vague existence. I resolve the contradictions with a theory that identity, number, and existence are relative to standards for counting. What are many on some standard are one and the same on another. The theory gives an account of the discernibility (...) of identicals using phrases like “insofar as”. And it holds that standards for counting remain or shift depending on our purposes. (shrink)
The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard firstorder predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and (...) ‘a’, ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (shrink)
The Genuine Process Logic described here (abbreviation: GPL) places the object-bound process itself at the center of formalism. It should be suitable for everyday use, i.e. it is not primarily intended for the formalization of computer programs, but instead, as a counter-conception to the classical state logics. The new and central operator of the GPL is an action symbol replacing the classical state symbols, e.g. of equivalence or identity. The complete renunciation of object-language state expressions also results in (...) a completely new metalinguistic framework, both regarding the axioms and the expressive possibilities of this system. A mixture with state logical terms is readily possible. (shrink)
Abstract The present paper examines the role of epistemic virtues in the formation of intellectual identity and its impact on improving our truth-seeking behaviors. A epistemic virtue is a special faculty or trait of a person whose operation makes that person a thinker, believer, learner, scholar, knower, cognizer, perceiver, etc., or causes his intellectual development and perfection, and improves his truth-seeking and knowledge-acquiring behaviours and places him on the path to attain understanding, perception and wisdom. Virtue epistemology is a (...) set of approaches in contemporary epistemology that regards knowledge as "a true belief arising from humans epistemic virtues." Virtue responsibilism and Virtue reliabilism are two important approaches to virtue epistemology that differ together in their attitude to the nature of epistemic virtue. Responsibilisms regards epistemic virtues as an acquired character traits that must be attained through practice and training with plenty of effort from the agent who possesses the will. In contrast, virtue reliabilisms considers epistemic virtues as reliable and innate cognitive faculties, and believes that this natural faculties has been placed in the human being from the very beginning and, if used in the appropriate condition and in a proper environment, is reliably truth-conducive. So virtue epistemology, which is distinguished from belief-based analytical epistemology by focusing on the cognitive character of the agent rather than the belief, regards epistemic virtues as the constructive factor of the epistemic agent and the condition of reaching the truth. From the two approaches of virtue reliabilism and virtue responsibilism, this paper focuses on the second approach and with using of the nine-fold virtues, that Jason Baehr posed, shows how to make epistemically good and thinker human by utilizing these virtues and avoiding the corresponding vices and through this, gained the truth in various epistemic areas. After explaining these virtues and their role in the two mentioned domains based on the virtue epistemology, the significance of this relationship in the view of Mulla Sadra as an example of Islamic philosophy is examined, For the reason that he sees knowledge as the produce of some factors that epistemic virtues is considered part of them. In the view of Sadra, epistemic virtues is the specific attributes and traits of reason faculty that their function causes man to be a very good and strong perciever, and their actual possesion or their gradual acquisition leads to the perfection of the soul and the dignity of human existence. In a new theory of soul- -/- Ph.D. Student of Islamic Philosophy and Theology, Qom University, Qom, Iran (Responsible author) hoseinhemmatzadeh@gmail.com Associate Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. z.khazaei@gmail.com Professor of Islamic Philosophy and Theology, Qom University, Qom, Iran. Moh_javadi@yahoo.com 2/ Comparative Theology, Vol: 9, No: 19, Spring & Summer 2018 knowledge, he considers the journey of the soul from the outset as evolutionary journey, and, on the other hand, he considers all human activities directly as an activity of the soul (epistemic agent), which he performs through his own faculties. As a result, the soul is a increasing and evolving being, while at the same time acquiring knowledge is also from its own activities, and therefore the factors that make up the soul are also influential in its products. Now, as knowledge comes from soul exposure to the outside world, the more this soul is refined from pollutions and adorned to virtues, the better reflection from reality will be. Undoubtedly, the desire to engage in the process of truth-seeking and the responsible use of cognitive virtues and skills lead man to a desirable goal (recognition of truth) and forms his true intellectual identity. In the end, the paper suggests that because of the importance of epistemic virtues in the improvement of truth-seeking behaviors, educating and cultivating of these types of virtues should be part of the spoken and written course content of universities and schools, and must be proper critical thinking is institutionalized and strengthened in the spirit of community members. Educational resources contain a wide range of information that can deeply influence our epistemic behaviors and actions. Hence, it is necessary to include praised cognitive skills and epistemic virtues training in them. Teachers play an important role in educating and developing epistemic virtues as part of the formal curriculum content of educational centers, perhaps as part of critical thinking and logic courses. The formal education of epistemic virtues and the creation of opportunities for practicing and exercising them will be a good starting point for institutionalizing and developing admired cognitive skills among members of the community. In a society where individuals in their epistemic processes use their own cognitive virtues and organize their beliefs on their basis, the community itself and the social relations will also be virtuous, because the necessity of such an virtues is that individuals interact with their peers and In these interactions, rule virtue. Observing fairness towards others, intellectual humility, intellectual generosity, courage against miscreant and one who has weak arguments, observance of neutrality and other epistemic virtues, if it is to be found in societies as a habit and praised skill, then that society will be virtuous and its relations will be healthier and with the cultivating of those virtues, Intellectual and moral development will also become easier and more common. Intellectual virtues (or praised cognitive skills) should be taught to the community members, so that they display such characteristics when engaging in social activities, whean expressing opinions, when doing research, and so on. It is important to change our education policies, because the decay of praised cognitive skills leads to devastating consequences for intellectual identity and the truth-seeking and knowledgeacquiring behavior of the community members. -/- . (shrink)
I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.
This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the Ackermann constant. An (...) overview over various ways to formulate Leibniz’s law in non-classical logics and two new triviality proofs for naïve set theory are also provided. (shrink)
Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program (...) in the foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)
God is dead, but, contrary to Nietzsche’s diagnosis, ‘we’ didn’t kill him; he died of cancer. This perhaps crudely cold and off-putting opening does not refer to a naively metaphorically constituted transcendental abstraction, but to a spatio-temporally situated rock legend, Ronnie James Dio. This study aims at contributing to the burgeoning research field of memory and collective identity by providing a sociosemiotic account of the formation of collective narrative identity. By drawing on the three major categories whereby collective (...) memory is formed, that is artifacts, processes, places, as well as on the three key sociosemiotic metafunctions which are responsible for shaping a cultural event as sign system, the pursued interpretive route seeks to effectively contextualize how collective memory is fleshed out situationally in the context of Dio’s memorial. At the same time, by expanding the interpretive canvass to incorporate phenomenological perspectives on the mode of formation of collective memory, the offered analytic is intent on tracing invisible structures that point to operative mechanisms beyond the formal constraints of a sociosemiotic reading. Both phenomenological and sociosemiotic approaches are reinscribed within an overarching narrativity paradigm, wherein their relative merits in addressing the scrutinized phenomenon are discussed in an attempt to formulate a hybrid sociosemiotic phenomenological perspective of memorial events. (shrink)
Among recent objections to Pascal's Wager, two are especially compelling. The first is that decision theory, and specifically the requirement of maximizing expected utility, is incompatible with infinite utility values. The second is that even if infinite utility values are admitted, the argument of the Wager is invalid provided that we allow mixed strategies. Furthermore, Hájek has shown that reformulations of Pascal's Wager that address these criticisms inevitably lead to arguments that are philosophically unsatisfying and historically unfaithful. Both the objections (...) and Hájek's philosophical worries disappear, however, if we represent our preferences using relative utilities rather than a one-place utility function. Relative utilities provide a conservative way to make sense of infinite value that preserves the familiar equation of rationality with the maximization of expected utility. They also provide a means of investigating a broader class of problems related to the Wager. (shrink)
It is common lore that standard, Kripke-style semantics for quantified modal logic is incompatible with the view that no individual may belong to more than one possible world, a view that seems to require a counterpart-theoretic semantics instead. Strictly speaking, however, this thought is wrong-headed. This note explains why.
If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. 'Televisions are televisions' and 'TVs are televisions' neither sound alike nor are used interchangeably. Interception synonymy gets assumed because logical sentences and (...) their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The '=' of mathematics is an objectual relation between numbers; the '=' of logic marks a syntactic relation of coreferring terms. (shrink)
Create an account to enable off-campus access through your institution's proxy server.
Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:
Email
RSS feed
About us
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.