If we make the basic assumption that the components of a proposition have reference on the model of proper name and bearer, we face the problem of distinguishing the proposition from a mere list' of names. We neutralize the problem posed by that assumption of we first of all follow Wiggins and distinguish, in every predicate, a strictly predicative element (the copula), and a strictly non-predicative conceptual component (available to be quantified over). If we further allow the copula (...) itself to conform to the basic assumption, a regress ( Bradley's regress') arises: the referent of the copula will be instantiation, the instantiation of instantiation etc. To avert the regress, Wiggins simply legislates that the basic assumption is to fail for the copula. But we are entitled to regard the regress as constitution not a difficulty, but the solution: the infinitism it imports (capturable in a finitistic theory of meaning) is just what the unity of the proposition "is". (edited). (shrink)

Nazariyat, Journal for the History of Islamic Philosophy and Sciences, issued twice a year in English and Turkish (Nazariyat İslam Felsefe ve Bilim Tarihi Araştırmaları Dergisi), is a refereed international journal. It publishes original studies, critical editions of classical texts and book reviews on Islamic philosophy, kalām, theoretical aspects of Sufism and the history of sciences. The goal of Nazariyat is to contribute to the discovery, examination and reinterpretation of the theoretical traditions in the history of Islamic thought, by giving (...) special attention to the post-classical period of it. **ISSN: 2148-8088 E-ISBN: 2547-9415**. (shrink)

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

Originally motivated by a sophism, Pardo's discussion about the unity of mental propositions allows him to elaborate on his ideas about the nature of propositions. His option for a non-composite character of mental propositions is grounded in an original view about syncategorems: propositions have a syncategorematic signification, which allows them to signify aliquid aliqualiter, just by virtue of the mental copula, without the need of any added categorematic element. Pardo's general claim about the simplicity of mental propositions is developed (...) into several specific thesis about mental propositions: a) it is not judgement which gives its unity to mental propositions, but judicative acts always follow some previous apprehensive act that is simple in its own right; b) this simplicity is compatible with a certain kind of complexity, that can be explained in terms of the "causal history" of the acts of knowing; c) traditional conceptions about subject and predicate must be recast, while keeping their usual explicative power concerning logical properties; d) of course, the traditional conception about the copula has been modified, giving rise to a fully innovative conception of the nature of mental propositions. Nevertheless, this innovative conception of mental language seems still infected by certain "common sense" prejudices, which lead Pardo to propose also a provocative conception of vocal language, which I consider unnecessary. (shrink)

"With Abelard, the term 'copula' enters into western thought. In fact, although widely attested, the use of the term 'copula' in reference to Aristotle's work is totally anachronistic. (1) What led to this term? In his Dialectica, Abelard was mainly concerned with the way syllogisms can be construed. The interest of the copula was in fact derivative from this main concern. As Kneale and Kneale (The development of logic, 1962: 206) put it, 'it is clear that for (...) his [Aristotle's] theory of syllogism he assumes in every general proposition two terms of the same kind, that is to say, each capable of being a subject and each capable of being a predicate'. Thus, since the only linguistic entities that can play these two roles are nouns (in modern terms, noun phrases), it is easy to understand why the copula became central. Abelard pursued the Aristotelian theory by emphasizing the role of be as the element that can turn a noun into a predicate in a syllogism rather than as the element that provides the sentence with a time specification (see Dialectica: 161). It is this conceptual shift that underlies the invention of the term 'copula', which is cast on the Latin copulare meaning 'to link'. For example, in sentences like a man is a mammal and Socrates is a man the copula allows the noun phrase a man to play the role of the subject, in the first, and that of the predicate, in the second. Clearly, in such a framework the assumption that the copula can be interpreted as a predicate meaning 'existence'. (shrink)

From the medieval and post-medieval analyses dealing with propositions and time one gathers that their relation can be considered from various points of view. It could be said that there is not one "time" connected with a proposition, but several "times": following d'Ors, I will distinguish at least three: the time of the utterance, the time of the copula, and the time of truth. These three times of the proposition may or may not coincide. In these pages I propose (...) to examine one of the problems raised by the possible separation of times. I will use as a guide the reflections of the Spanish logician Jerónimo Pardo (†1502) regarding the question of whether or not the mental true contingent proposition can be falsified. (shrink)

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

This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted byPC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to presentPCas a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, inPC. (...) The transitional systems of the algebra of the copula that Peirce develops since 1880 paved the way to the 1896 graphical system of the alpha graphs. It is shown how the rules of the alpha system reinterpret Boolean algebras, answering Peirce’s statement that logical graphs supply a new system of fundamental assumptions to logical algebra. A proof-theoretic analysis is given for the connection betweenPCand the alpha system. (shrink)

The essay develops two major arguments. First, if John Buridan's 'first argument' for the reintroduction of natural supposition is only that the "eternal truth" of a scientific proposition is preserved because subject terms in scientific propositions supposit for all the term's past, present, and future significata indifferently; then Albert of Saxony thinks it is simply ineffective. Only the 'second argument', i.e. the argument for the existence of an 'atemporal copula', adequately performs this task; but is rejected by Albert. Second, (...) later fourteenth-century criticisms of Buridan's natural supposition, given in certain Notabilia from the anonymous author in, Paris, BnF, lat. 14.716, ff. 40va-41rb, are nothing but an interpolated hodge-podge of criticisms given earlier in the century against various views of Buridan's by Albert of Saxony. It is this fact that makes Albert the real source of late fourteenth-century criticisms of Buridan's view of natural supposition. (shrink)

The “sign of consequence” is a notation for propositional logic that Peirce invented in 1886 and used at least until 1894. It substituted the “copula of inclusion” which he had been using since 1870.

Comment une proposition qui affirme que a est fatigué le matin et n’est pas fatigué le midi peut-elle être vraie ? Bolzano soutient que toute proposition portant sur une chose contingente contient, dans la composante-sujet, la représentation d’un temps. Dans cet article, je reconstruis et évalue les arguments de Bolzano en les comparant à ceux de son adversaire principal, le tenant de la position selon laquelle toute proposition portant sur une chose contingente contient une copule renfermant la représentation du temps (...) auquel l’objet représenté par la composante-sujet a la propriété représentée par la composante-prédicat . La conception bolzanienne de la modification du sujet ne peut résoudre le problème logique de la persistance qu’en assumant que des représentations-sujets qui contiennent différentes représentations de temps représentent différents individus dotés de déterminations temporelles. Mais ceci engendre une nouvelle question : comment un objet peut-il avoir différentes déterminations temporelles sans pour autant changer ?How can we can truly say that a is tired in the morning, and not tired at noon ? Bolzano holds that every proposition about a contingent thing contains an idea representing a time in its subject-part. In this paper I reconstruct and assess Bolzano’s arguments for his view of propositions about contingent things, comparing them to those of his main opponent, the view according to which every proposition about a contingent thing contains a copula combined with an idea that represents a time at which the object represented by the subject-part of the proposition has the property represented by the predicate-part . Bolzano’s subject-modification view could only solve the logical problem of persistence by assuming that subject-ideas containing different ideas of times represent different particulars bearing temporal determinations. But this creates a new question : how can an object have different temporal determinations and yet not change ? (shrink)

The Sanskrit term most frequently rendered in English as “truth” is satya, which is derived from a form of the verb “to be” (as). This can be traced etymologically back to the ancient Indo‐European copula, which is preserved also in Greek eirni, Latin esse, English is, and German Sein. The relationship between truth and being in Sanskrit is not just a discovery of modern linguistic science: Sanskrit grammarians, though not engaged in Indo‐European historical linguistics, were always sensitive to the (...) derivational principles of their own language, and they explain the term “satya” as being formed by the application of the suffix ya to sat, the present participle of the verb “to be.” Satya, given a strong interpretation of the semantical influence of the derivational suffix, is therefore literally “what stands in relation to, has affinity with, being.” Read more weakly, it is simply “what has being.”. (shrink)

One of the manuscripts of Buridan’s Summulae contains three figures, each in the form of an octagon. At each node of each octagon there are nine propositions. Buridan uses the figures to illustrate his doctrine of the syllogism, revising Aristotle's theory of the modal syllogism and adding theories of syllogisms with propositions containing oblique terms (such as ‘man’s donkey’) and with ‘propositions of non-normal construction’ (where the predicate precedes the copula). O-propositions of non-normal construction (i.e., ‘Some S (some) P (...) is not’) allow Buridan to extend and systematize the theory of the assertoric (i.e., non-modal) syllogism. Buridan points to a revealing analogy between the three octagons. To understand their importance we need to rehearse the medieval theories of signification, supposition, truth and consequence. (shrink)

In recent analytic literature on the Trinity we have seen a variety of "social" models of the Trinity. By contrast there are few "non-­‐social" models. One prominent "non-­‐social" view is Brian Leftow's "Latin Trinity." I argue that the name of Leftow's model is not sufficiently descriptive in light of diverse models within Latin speaking theology. Next, I develop a new "non-­‐social" model that is inspired by Richard of St. Victor's description of a person in conjunction with my appropriating insights about (...) indexicals from David Kaplan and John Perry. I point out that the copula in tokens of statements like, "I am the Father," is an ambiguous term and when used by a certain divine person a different proposition is affirmed. Central to this model is the claim that the copula bears the "is of identity" and the "is of numerical sameness without identity." Further, I show that Leftow's model employs two concepts of "person," a Lockean one and a Boethian one, and mine employs Richard of St. Victor's. I describe Leftow's model as a "hard non-­‐social" model and mine as a "soft non-­‐social" model that is nearer to some social models. I conclude that Leftow's model is not the lone candidate among "non-­‐social" models and that the variety of "non-­‐social" models has yet to be exhausted. (shrink)

The framework of conceptual realism provides a logically ideal language within which to reconstruct the medieval terminist logic of the 14th century. The terminist notion of a concept, which shifted from Ockham's early view of a concept as an intentional object to his later view of a concept as a mental act , is reconstructed in this framework in terms of the idea of concepts as unsaturated cognitive structures. Intentional objects are not rejected but are reconstructed as the objectified intensional (...) contents of concepts. Their reconstruction as intensional objects is an essential part of the theory of predication of conceptual realism. It is by means of this theory that we are able to explain how the identity theory of the copula, which was basic to terminist logic, applies to categorical propositions. Reference in conceptual realism is not the same as supposition in terminist logic. Nevertheless, the various "modes" of personal supposition of terminist logic can be explained and justified in terms of this conceptualist theory of reference. (shrink)

After introducing the debate between substance philosophy and process philosophy, and clarifying the relevance of the category of ‘substance’ in Peirce’s thought, the present paper reconstructs the role of ‘substance’ and ‘being’ from Peirce’s early works to his theory of the proposition, provided after his studies on the logic of relatives. If those two categories apparently disappear in Peirce’s writings from the mid-1890s onwards, the account of ‘subject’ and ‘copula’ in Peirce’s analysis of the proposition allows one to grasp (...) the reasons why Peirce omits ‘substance’ and ‘being’ in favor of his three categories (Firstness, Secondness, Thirdness), and to understand why his philosophy cannot be considered as a substance philosophy. (shrink)

At APr 2.4 57a36–13, Aristotle presents a notorious reductio argument in which he derives the claim ‘If B is not large, B is large’ and calls that result impossible. Aristotle is thus committed to some form of connexivity and this paper argues that his commitment is to a strong form of connexivity which excludes even cases in which ‘B is large’ is necessary. It is further argued that Aristotle’s view of connexivity is best understood as arising from his analysis of (...) affirmation and negation in terms of combination and separation: a proposition that separates two terms cannot entail a proposition that combines the same two terms. In order to motivate this account of connexivity, this paper interprets Aristotle as emphasising the predicative structure, especially the copulae, of the argument’s component propositions. The arguments for this are based on a consideration of the larger context of APr 2.2–4. A reconstruction of the argument using propositional variables does not fully capture Aristotle’s intentions. (shrink)

The type-free property-theoretic system EC, based on the mediation view of predication, is presented. According to the mediation view, the copula or exemplification is a necessary component of every proposition. It is explained how the system EC relates to Bradley's Regress regarding predication. Finally, the system EC is applied to the Meinong-Russell debate on non-existent objects and it is shown how EC allows us to preserve some important intuitions of both Meinong and Russell.

In this article, I pay special expository attention to two pieces of philosophically relevant Wittgenstein–Russell correspondence from the period leading up to the ultimate demise of Russell's Theory of Knowledge manuscript (in June 1913). This is done in the hopes of shedding light on Wittgenstein's notoriously obscure criticisms of Russell's multiple relation theory of judgement. I argue that these two pieces of correspondence (the first, a letter from Wittgenstein to Russell dated January 1913, and the second, a letter from Russell (...) to Ottoline Morrell, reporting a tense confrontation with Wittgenstein on 26 May 1913) each refer to what is more or less the same approach to problems concerning the unity and well-formedness of propositions or judgements. However, the view advanced in Wittgenstein's January letter to Russell nevertheless differs in a key respect from the view of Russell's referred to in the May letter to Morrell. The difference involves Wittgenstein's incorporating qualities and relations as unsaturated parts of the copulae of atomic complexes, where these copulae are in turn conceived as logical forms. Because such an approach to logical form (and more specifically, to relations) was philosophically unpalatable to Russell, he undertook an alternative theoretical correction in the context of his 1913 Theory of Knowledge manuscript. This theoretical correction was discussed with Wittgenstein during the tense confrontation on 26 May, and involved deploying a supplemental significance constraint on judgements. It was this significance constraint on judgements, moreover, which was the ‘premiss’ alluded to by Wittgenstein in the context of a June 1913 letter to Russell, wherein he claims to express his objection to Russell's theory ‘exactly.’. (shrink)

The first section of this article offers a reconstruction of Buridan's theory of propositions, along the following lines: on the syntactic plane, propositions obtain a special type of unity from the presence of a copula; on the semantic plane, the fact that a proposition does not have any specific significate (different from the significate of terms), does not erase the distinction between propositions and terms: the copula performs an act of saying, in virtue of which propositions can be (...) true or false. The second section sumarises Pardo's theory of propositions, showing how in this case a Buridanian starting point led to a result very different from that which Buridan reached. (shrink)

Building on previous scholarly work on the mathematical roots of assertoric syllogistic we submit that for Aristotle, the semantic value of the copula in universal affirmative propositions is the relation of divisibility on positive integers. The adequacy of this interpretation, labeled here ‘arithmetical dictum’, is assessed both theoretically and textually with respect to the existing interpretations, especially the so-called ‘mereological dictum’.

The “sign of consequence” is a notation for propositional logic that Peirce invented in 1886 and used at least until 1894. It substituted the “copula of inclusion” which he had been using since 1870.

This paper examines the multiple semantic functions Aquinas attributes to the verb ‘est’, ranging from signifying the essence of God to acting as a copula of categorical propositions to expressing identity. A case will be made that all these apparently radically diverse functions are unified under Aquinas’s conception of the analogy of being, treating all predications as predications of being with or without some qualification (secundum quid or simpliciter). This understanding of the multiplicity of the semantic functions of this (...) verb as conceived by Aquinas will enable us to have a better understanding of the meaning of his metaphysical claims and arguments. In particular, with this understanding of Aquinas’ conception of being, we will be able to see how Aquinas’s famous “intellectus essentiae” argument for the thesis of the real distinction between essence and existence in creatures can work, despite Anthony Kenny’s arguments to the contrary in his recent book Aquinas on Being. (shrink)

Let me attempt a drastic summary, or symbolic reduction, of Mr. Foss's adeptly metaphorical exposition. The use of the copula is, implicit in the appositive series, will do some violence to the complexity of the argument, but since causes and parts are frowned on by the same argument, the simpler arrangement cannot be altogether out of keeping. In logical and grammatical terms, we have on two sides of a profound ledger: "symbolic reduction," the divisive subject and predicate,--and "metaphoric process," (...) the underlying and unifying energy of the proposition, the subjectum. The negations of dialectic operate to show the insufficiency of symbolic concepts and are the "door to philosophic truth." And in ontological terms, we have on the one hand number, time, space, cause and effect, coincidence and contingency; and on the other the different, the naught, the apeiron, the potential, the tension of process, freedom and necessity in metaphoric lawful unity. There are two closely similar extremes of reduction between which one locates the transcendent philosophy of metaphor: that of sensationalism, the philosophy of the brute and atomic, and that of rationalism, the philosophy of expedient action. And in more or less theological terms, we have on the one hand the environment and its complement the ego, purposive and possessive; on the other, World, the I and the Thou, prayer, sin and grace in the metaphorical unity of consciousness, the widening power of personality in intercession or metaphorical representation. On the one hand, birth and death, past and future, and a present extending ad libitum into either; on the other, the eternal present of the integrated process stretching over past and future, expressed in its purest form in art. And so in aesthetic terms: on the one hand catharsis, a rationalized mixture of the ego's pleasure and pain, asceticism and hedonism, play; on the other, drama--especially tragedy, which par excellence action--Eudaimonia, purification, artistic distance, stylization, imagination, conscience, love. On the one hand, comedy in the sense of farce, environment symbolically reduced, actions and persons according to type, the mechanism of means and ends, rules, rituals, tricks, chance, the caricature of symbolic fixation--producing laughter: on the other hand, true and great comedy, the attempt to understand life in all its contradictions, producing the smile. (shrink)

The type-free property-theoretic system EC, based on the mediation view of predication, is presented. According to the mediation view, the copula or exemplification is a necessary component of every proposition. It is explained how the system EC relates to Bradley's Regress regarding predication. Finally, the system EC is applied to the Meinong-Russell debate on non-existent objects and it is shown how EC allows us to preserve some important intuitions of both Meinong and Russell.

(1) Assuming the significates of non-complex terms, in this treatise I intend to investigate certain properties of terms, [properties] that are applicable to them only insofar as they are parts of propositions. (2) Now I divide this tract into three parts. The first is about the supposition of terms, the second about appellation, and the third about copulation. Supposition belongs to the subject, appellation to the predicate. Copula-.

Paul of Venice’s tract on reference, a brief excerpt from his lengthy Logica Magna, deals with material, simple, and personal supposition. His treatment of these standard subjects of late medieval logic is significant because it defends the use of material signs to indicate that a term is being used in material supposition and because of its critique of Peter of Mantua’s reduction of all reference to personal reference. Paul also defends against several challenges to the common notions that terms do (...) not refer outside the context of propositions and that only the subject and predicate terms, not the copula, refer. His encyclopedic treatise was widely used in the fifteenth and sixteenth centuries. Professor Perreiah has established a critical edition of the Latin text and it is printed opposite his readable and reliable English translation. The translation is excellent in rendering the technical terms of medieval logic into the terms of contemporary logic. The introduction could be more developed, but it is very helpful as are the notes explaining references in the text. This book is a scholarly and significant contribution to the study of medieval logic.—K. M. (shrink)

The concept of a proposition is important in several areas of philosophy and central to the philosophy of language. This collection of readings investigates many different philosophical issues concerning the nature of propositions and the ways they have been regarded through the years. Reflecting both the history of the topic and the range of contemporary views, the book includes articles from Bertrand Russell, Gottlob Frege, the Russell-Frege Correspondence, Alonzo Church, David Kaplan, John Perry, Saul Kripke, Hilary Putnam, Mark Richard, Scott (...) Soames, and Nathan Salmon. (shrink)

Propositions are the things we believe, intend, desire, and so on, but discussions are often less precise than they could be and an important driver of this deficiency has been a focus on the objects but a neglect of the attitudinal relations we bear to them. In what follows, we will offer some thoughts on what it means for a proposition to be the object of an attitude and we will argue that an important part of the story lies with (...) the attitude relations rather than the propositions. As we will see there are infinitely many relations we might bear to a proposition, but the propositional attitude relations are special amongst them. Accounting for what makes them special will be an important component in the discussion that follows. We will argue that once one appreciates certain facts about propositional attitude relations, various claims that metaphysicians often make regarding propositions themselves begin to look undermotivated. In fact, many views on the metaphysical nature of propositions come to look like plausible candidates for being that to which our propositional attitudes relate us. As will emerge, we will see that the principle role of propositions in the theory of mind is simply to keep track of how our attitudinal states represent things as being. But, we argue, in order to do this work, very few constraints must be placed on the nature of propositions themselves. In particular, contra much of the recent work on the metaphysics of propositions, they need not represent nor must they be structured. In light of these observations, we conclude by sketching our own favored minimalist view of propositions. (shrink)

We introduce two extreme methods to pairwisely compare ordered lists of the same length, viz. the comonotonic and the countermonotonic comparison method, and show that these methods are, respectively, related to the copula T M (the minimum operator) and the Ł ukasiewicz copula T L used to join marginal cumulative distribution functions into bivariate cumulative distribution functions. Given a collection of ordered lists of the same length, we generate by means of T M and T L two probabilistic (...) relations Q M and Q L and identify their type of transitivity. Finally, it is shown that any probabilistic relation with rational elements on a 3-dimensional space of alternatives which possesses one of these types of transitivity, can be generated by three ordered lists and at least one of the two extreme comparison methods. (shrink)

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

The recent investigations into knowledge and its elements viz facts, skills and objects have become prominent in various subfields of philosophy and other areas like linguistics, cognitive science, neuroscience and artificial intelligence. These investigations have been mainly on understanding the relation between the intentionality and its referential entities to know how they enrich knowledge with their existence. This article starts with an exploration of the fundamental aspects of judgemental sense from the knowledge origins perspective. To explain the consequences of this, (...) I start with reconstructing the notion of categorial intuitions described in Husserl’s sixth Logical Investigations by relating it to ‘knowledge origination’ as an intuitive fulfilment of signifying acts. This offers a relation of perceptual synthesis, operating implicitly among the signifying intentions upon grasping intended objects, in view of language structures such as copulas. This leads to the synthesis of intuitive aspects mainly from the categorial elements for a judgemental sense or thinking and the attitude from the very sphere of perception. The tension between categorial intuitions is understood as foundational acts and founded acts. Husserl’s sixth Logical Investigation describes the notion of passive synthesis, the genesis of categoriality in every realm of sensibility that allows one to formulate the relational role among the ‘act of knowing’ and phenomenological approaches to the judgemental sense. Thus, the investigation focuses on perceptual judgements and categories, which fulfils the judgemental sense of categorial elements and attitude. (shrink)

In Being Another Way, Dustin Klinger recounts the history of how medieval Arabic philosophers in the Islamic East grappled with the logical role of the copula 'to be,' an ambiguity that has bedeviled Western philosophy from Parmenides to the analytic philosophers of today. Working from within a language that has no copula, a group of increasingly independent Arabic philosophers began to critically investigate the semantic role that Aristotle, for many centuries their philosophical authority, invested in the copula (...) as the basis of his logic. Drawing on extensive manuscript research, Klinger breaks through the thicket of unstudied philosophical works to demonstrate the creativity of postclassical Islamic scholarship as it explored the consequences of its intellectual break with the past. Against the still widespread view that intellectual ferment all but disappeared during the period, Klinger shows how these intellectuals over the centuries developed and refined a sophisticated philosophy of language that speaks to core concerns of contemporary linguistics and philosophy. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature (...) on epistemic modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

M. Johnston proposed an adverbialist solution to the problem of intrinsic change of enduring things. D. Lewis interpreted it as a way of tensing the copula. In his view, it has the defect of replacing having a property simpliciter by standing in a triadic relation to a property and a time, and so is threatened by Bradley’s Regress. I agree with Lewis on requiring having a property to be non-relational, while I disagree with him on restricting it to having (...) simpliciter. I tense the copula non-relationally and yet more seriously than Johnston, by characterizing tense as a copulative de re modality concerning endurance, which I relate to R. Taylor’s ‘pure becoming’. I will show that my way gives a better solution to the problem of intrinsic change than those by other endurantists, because of its close connection to an account of tense, endurance and becoming. (shrink)

We introduce two extreme methods to pairwisely compare ordered lists of the same length, viz. the comonotonic and the countermonotonic comparison method, and show that these methods are, respectively, related to the copula TM (the minimum operator) and the Ł ukasiewicz copula TL used to join marginal cumulative distribution functions into bivariate cumulative distribution functions. Given a collection of ordered lists of the same length, we generate by means of TM and TL two probabilistic relations QM and QL (...) and identify their type of transitivity. Finally, it is shown that any probabilistic relation with rational elements on a 3-dimensional space of alternatives which possesses one of these types of transitivity, can be generated by three ordered lists and at least one of the two extreme comparison methods. (shrink)

Prior’s arguments for and against seeing ‘ought’ as a copula and his considerations about normative negation are applied to the case of responsibility judgments. My thesis will be that responsibility judgments, even though often expressed by using the verb ‘to be’, are in fact normative judgments. This is shown by analyzing their negation, which parallels the behavior of ought negation.

A solution to the problem of intrinsic change for enduring things should meet three conditions. It should not replace monadic intrinsic properties by relations. It should not replace the having simpliciter of properties by standing in some relation to them. It should not rely on an unexplained notion of having an intrinsic property at a time. Johnston's solution satisfies the first condition at the expense of the second. Haslanger's solution satisfies the first and second at the expense of the third.

: This paper argues that the slogans "A Woman's Right to Choose" and "The Personal is the Political" typify different traditions within feminist thinking; one emphasizing rights and equality, the other the unconscious and the personal. The author responds to both traditions by bringing together mind and body, and reason and emotion, via the figure of the copula. The copula expresses an alternative model of identity which indicates that value can be produced only in relation.

This paper argues that the slogans “A Woman's Right to Choose” and “The Personal is the Political” typify different traditions within feminist thinking; one emphasizing rights and equality, the other the unconscious and the personal. The author responds to both traditions by bringing together mind and body, and reason and emotion, via the figure of the copula. The copula expresses an alternative model of identity which indicates that value can be produced only in relation.Let us say that the (...) problem is violence. At its most naive: how can the sexual relation, which is supposedly full of love, be violent?I mean the sexual relation in its resonances and ambiguity—to indicate the relation between the sexes, and the relation between lovers. In no way can the relation be confined to love, either heterosexual or homosexual, since it is often a contest. It cannot be reduced solely to a social relation, because in one of its aspects it addresses the most intimate subjectivity.In a certain feminist lifestyle advocacy, those women who are in same sex relations avoid sexual violence by avoiding men, and those who are in heterosexual relationships strive to find the “right kind”—that is, relationships of respectful and supportive love—rejecting all signs of aggression, from sexist disparagement and emotional cruelty to sexual humiliation and physical assault, as “abuse.”Strangely, this dichotomy does not explain the proximity of passion and aggression, whether in love between men and women or in same-sex relationships between feminist women. As rational counsel, it resists the important sense in which the erotic is, and is even valued as, the excess of the rational. And as an analysis of the oppression of women it defeats itself, for to insist on masculinity as violence itself, and/or on the sexual relation as properly governed by reason, seems to miss the point of both love and feminism.Stranger still, feminisms, which set out to address and redress the oppression of women, have become rivalrous themselves. Are these aggressions a legacy of the intellectual world they must take place in. Have we overlooked an aspect of the relation between sisters? Feminism has not addressed the question of aggression in feminism as anything more than contamination.Perhaps, after all, the thing that feminism has not yet successfully addressed is love. The “battle between the sexes” has not rendered the ambivalence of the heterosexual relation. As a species of theory, feminism has relished the rigor of distinction and has not found it easy to tolerate the proximity of opposites.And yet, in evoking the body, some feminisms approach closer to this difficulty. It remains to take up the relation between the body and the concept more thoroughly, in order to find out whether sexual difference could ever be philosophical. (shrink)

In the Freedom Essay, Schelling provides four different accounts of the copula, two of which are largely implicit. In this paper, I focus on the first of these accounts, which I call the "mediated account." I argue that this explanation of the copula articulates a fundamental ontological structure in Schelling's philosophy. In the first half of the paper, I analyze the structural features of the account, drawing on Schelling's more extensive treatment in the Ages of the World. In (...) the second half of the paper, I argue that Schelling's fundamental distinction between that-which-exists and the ground of existence exhibits the same structure as the mediated account of the copula. This has implications for understanding the enigmatic relationship of these two principles to the Ungrund. I conclude by briefly suggesting other applications of this fundamental structure in Schelling's philosophy. (shrink)

Explores the conceptual schema underlying our understanding of reproductive technologies.