Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)

This paper argues for a comprehensive conception of empathy as comprising epistemic, affective, and motivational elements and introduces the ancient Stoic theory of attachment as a model for describing the embodied, emotional response to others that we take to be distinctive of empathy. Our argument entails that in order to provide a suitable conceptual framework for the interdisciplinary study of empathy one must extend the scope of recent “simulationalist” and “enactivist” accounts of empathy in two important respects. First, against the (...) enactivist assumption that human mindreading capacities primarily rely on an immediate, quasi-perceptual understanding of other’s intentional states, we draw on Alfred Schutz’ analysis of social understanding to argue that reflective types of understanding play a distinct, but equally fundamental role in empathic engagements. Second, we insist that empathy also involves an affective response toward the other and their situation. We suggest analyzing this response in terms of the Stoic concepts of attachment, concern, and a fundamental type of prosocial motivation, that can best be described as an “extended partiality.” By way of conclusion, we integrate the above concepts into a comprehensive conceptual framework for the study of empathy and briefly relate them to current debates about empathic perception and prosocial motivation. The result, we argue, is an account that stays neutral with regard to the exact nature of the processes involved in producing empathy and can therefore accommodate discussion across theoretical divides—e.g., those between enactivist, simulationalist, and so-called theory-theorist approaches. (shrink)

All languages, both spoken and signed, make a formal distinction between two types of terms in a proposition – terms that identify what is to be talked about (nominals) and terms that say something about this topic (predicates). Here we explore conditions that could lead to this property by charting its development in a newly emerging language – Nicaraguan Sign Language (NSL). We examine how handshape is used in nominals vs. predicates in three Nicaraguan groups: (1) homesigners who are not (...) part of the Deaf com- munity and use their own gestures, called homesigns, to communicate; (2) NSL cohort 1 signers who fashioned the first stage of NSL; (3) NSL cohort 2 signers who learned NSL from cohort 1. We compare these three groups to a fourth: (4) native signers of American Sign Language (ASL), an established sign language. We focus on handshape in predicates that are part of a productive classifier system in ASL; handshape in these predicates varies sys- tematically across agent vs. no-agent contexts, unlike handshape in the nominals we study, which does not vary across these contexts. We found that all four groups, including home- signers, used handshape differently in nominals vs. predicates – they displayed variability in handshape form across agent vs. no-agent contexts in predicates, but not in nominals. Variability thus differed in predicates and nominals: (1) In predicates, the variability across grammatical contexts (agent vs. no-agent) was systematic in all four groups, suggesting that handshape functioned as a productive morphological marker on predicate signs, even in homesign. This grammatical use of handshape can thus appear in the earliest stages of an emerging language. (2) In nominals, there was no variability across grammatical con- texts (agent vs. no-agent), but there was variability within- and across-individuals in the handshape used in the nominal for a particular object. This variability was striking in homesigners (an individual homesigner did not necessarily use the same handshape in every nominal he produced for a particular object), but decreased in the first cohort of NSL and remained relatively constant in the second cohort. Stability in the lexical use of handshape in nominals thus does not seem to emerge unless there is pressure from a peer linguistic community. Taken together, our findings argue that a community of users is essential to arrive at a stable nominal lexicon, but not to establish a productive morpholog- ical marker in predicates. Examining the steps a manual communication system takes as it moves toward becoming a fully-fledged language offers a unique window onto factors that have made human language what it is. (shrink)

”It is often assumed that knowledge claims must be justified. But what kind of justification is required for knowledge ? . . . ” (*) -/- presupposition: the kind of epistemic justification depends on the type of the knowledge claim and its respective knowledge claim tradeoff ’vague vs. precise’. -/- procedere: in two - almost purely logical - case studies I account for this tradeoff and question in each case what (if any) were its general outcome wrt justification -/- (...) first for basic measurement statements of the form ′′ϕ(x) = r ∈ IR ± δ′′ (wrt ”measurement accuracy realism” debate) -/- and secondly predication statements of the form ′′x is ( a case of )P′′ (wrt ”epistemic vagueness” debate). (shrink)

This paper argues that multiple coordinations like tall, thin and happy are interpreted in a “flat” iterative process, but using “nested” recursive application of binary coordination operators in the compositional meaning derivation. Ample motivation for flat interpretation is shown by contrasting such coordinations with nested, syntactically ambiguous, coordinate structures like tall and thin and happy. However, new evidence coming from type shifting and predicate distribution with verb phrases show motivation for an independent hierarchical ingredient in the compositional semantics (...) of multiple coordination with no parallel hierarchy in the syntax. This establishes a contrast between operations at the syntax-semantics interface and compositional semantic mechanisms. At the same time, such evidence motivate the treatment of operations like type shifting and distributivity as purely semantic. (shrink)

This paper aims to argue for, else illustrate the epistemological significance of the use of non transitive similarity relations, mapping only to "types", as methodologically being on a par with the use of transitive similarity relations (equivalence relations), mapping as well to "predicates". -/- In this paper the sketch of an exact but simple geometrical model of the above construct is followed by mentioning respective use cases for non transitive similarity relations from science and humanities. A well known metaphysics example (...) is elaborated along these lines to some extent. (shrink)

The topic of our analysis is the argument for the existence of substances given by Bernard Bolzano in Athanasia, where he essentially employs two ontological categories: substance and adherence. Bolzano considers the real and conditioned Inbegriff of all adherences, which are wirklich and nicht selbst bestehen. He claims that the formed collection is dependent on something external and non-adherential, which therefore is a substance. Bolzano’s argumentation turns out to be structurally similar to his argument for the existence of God from (...) Lehrbuch der Religionswissenschaft, but in each of these reasonings, we find different plausible interpretations of the key concept “Inbegriff”. The latter argumentation refers to the mereological totality of existentially conditioned objects. We propose the explication of the Bolzanian Inbegriff of all adherences using two types of predication: we consider its extension as composed of certain intensional counterparts of adherences. In our approach, we use a fragment of the theory of abstract objects formulated by E. Zalta, describing two different relations between individuals and properties: extensional exemplification and intensional encoding. We put our reconstruction in a wider context of Bolzano’s ontology, formulating the needed axioms with two primitive predicates of second order... is an adherence,... is conditioned by something real as well as the conditionally introduced first order predicate constant \ for Inbegriff of all adherential ideas. Finally, we sketch a model for our theory. (shrink)

I discuss the foundations of predicate ontologies based on two model notions – elementary states of affairs and eventualities, i.e. ordered pairs of initial and end states of affairs. Vendlerian classifications are oriented towards elementary states and tense logic, while Davidsonian classifications deal with eventualities and event logic. There are two kinds of atemporal predicates - fact and properties. Facts are propositional arguments of second-order predicates which add a special meaning that the embedded proposition was verified. Properties are atemporal (...) first-order predicates that lack eventive interpretation and are not associated with factive frames. Davidsonian states are homogeneous durable spatiotemporal things distinct both from atemporal properties and spatiotemporal dynamic predicates. Davidsonian states are causally independent, while resultatives are causally determined as they reconstruct a preceding event that has caused the end state p. I discuss the contrast between external and internal Davidsonian states. The former lack a priority argument and can be quantified extensionally. The latter have a priority experiential argument and can only be quantified intensionally. External states can be observed, while internal states cannot. (shrink)

We introduce a predicative version of topos based on the notion of small maps in algebraic set theory, developed by Joyal and one of the authors. Examples of stratified pseudotoposes can be constructed in Martin-Löf type theory, which is a predicative theory. A stratified pseudotopos admits construction of the internal category of sheaves, which is again a stratified pseudotopos. We also show how to build models of Aczel-Myhill constructive set theory using this categorical structure.

Logicians have often suggested that the use of Euler-type diagrams has influenced the idea of the quantification of the predicate. This is mainly due to the fact that Euler-type diagrams display more information than is required in traditional syllogistics. The paper supports this argument and extends it by a further step: Euler-type diagrams not only illustrate the quantification of the predicate, but also solve problems of traditional proof theory, which prevented an overall quantification of the (...) predicate. Thus, Euler-type diagrams can be called the natural basis of syllogistic reasoning and can even go beyond. In the paper, these arguments are presented in connection with the book Nucleus Logicae Weisaniae by Johann Christian Lange from 1712. (shrink)

In an attempt to accommodate natural language phenomena involving nominalization and self-application, various researchers in formal semantics have proposed abandoning the hierarchical type system which Montague inherited from Russell, in favour of more flexible type regimes. We briefly review the main extant proposals, and then develop a new approach, based semantically on Aczel's notion of Frege structure, which implements a version ofsubsumption polymorphism. Nominalization is achieved by virtue of the fact that the types of predicative and propositional complements (...) are contained in the type of individuals. Russell's paradox is avoided by placing a type-constraint on lambda-abstraction, rather than by restricting comprehension. (shrink)

Generic statements (‘Tigers have stripes’) are pervasive and early-emerging modes of generalization with a distinctive linguistic profile. Previous experimental work found that generics display a unique asymmetry between their acceptance conditions and the implications that are typically drawn from them. This paper presents evidence against the hypothesis that only generics display an asymmetry. Correcting for limitations of previous designs, we found a generalized asymmetry effect across generics, various kinds of explicitly quantified statements (‘most’, ‘some’, ‘typically’, ‘usually’), and variations in types (...) of predicated properties (striking vs. neutral). We discuss implications of these results for our understanding of the source of asymmetry effects and whether and in which ways these effects might introduce biased beliefs into social networks. (shrink)

A logic-enriched type theory is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named and , which we claim correspond closely to the classical predicative systems of second order arithmetic and . We justify this claim by translating each second order system into the corresponding LTT, and proving that these translations are conservative. This is part of an ongoing research project to investigate how LTTs may be used to formalise (...) different approaches to the foundations of mathematics.The two LTTs we construct are subsystems of the logic-enriched type theory , which is intended to formalise the classical predicative foundation presented by Herman Weyl in his monograph Das Kontinuum. The system has also been claimed to correspond to Weyl’s foundation. By casting and as LTTs, we are able to compare them with . It is a consequence of the work in this paper that is strictly stronger than .The conservativity proof makes use of a novel technique for proving one LTT conservative over another, involving defining an interpretation of the stronger system out of the expressions of the weaker. This technique should be applicable in a wide variety of different cases outside the present work. (shrink)

The purpose of this paper is to provide a simple type-free set theory which can be used to give the various readings of collective/distributive sentences.

A generic statement is a type of generalization that is made by asserting that a "kind" has a certain property. For example we might hear that marshmallows are sweet. Here, we are talking about the "kind" marshmallow and assert that individual instances of this kind have the property of being sweet. Almost all of our common sense knowledge about the everyday world is put in terms of generic statements. What can make these generic sentences be true even when there (...) are exceptions? A mass term is one that does not "divide its reference;" the word water is a mass term; the word dog is a count term. In a certain vicinity, one can count and identity how many dogs there are, but it doesn't make sense to do that for water--there just is water present. The philosophical literature is rife with examples concerning how a thing can be composed of a mass, such as a statue being composed of clay. Both generic statements and mass terms have led philosophers, linguists, semanticists, and logicians to search for theories to accommodate these phenomena and relationships. The contributors to this interdisciplinary volume study the nature and use of generics and mass terms. Noted researchers in the psychology of language use material from the investigation of human performance and child-language learning to broaden the range of options open for formal semanticists in the construction of their theories, and to give credence to some of their earlier postulations--for instance, concerning different types of predications that are available for true generics and for the role of object recognitions in the development of count vs. mass terms. Relevant data also is described by investigating the ways children learn these sorts of linguistic items: children can learn how to sue generic statements correctly at an early age, and children are adept at individuating objects and distinguishing them from the stuff of which they are made also at an early age. (shrink)

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their (...) own, but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

Truth conditional semantics is the project of ‘determining a way of assigning truth conditions to sentences based on A) the extension of their constituents and B) their syntactic mode of combination’. This research program has been subject to objections that take the form of underdetermination arguments, an influential instance of which is presented by Travis: … consider the words ‘The leaf is green,’ speaking of a given leaf, and its condition at a given time, used so as to mean what (...) they do mean in English. How many distinct things might be said in words with all that true of them? Many.… Suppose a Japanese maple leaf, turned brown, was painted green for a decoration. In sorting leaves by colour, one might truly call this one green. In describing leaves to help identify their species, it might, for all the paint, be false to call it that. (shrink)

Recent studies in semantics of modal and superintuitionistic predicate logics provided many examples of incompleteness, especially for Kripke semantics. So there is a problem: to find an appropriate possible- world semantics which is equivalent to Kripke semantics at the propositional level and which is strong enough to prove general completeness results. The present paper introduces a new semantics of Kripke metaframes' generalizing some earlier notions. The main innovation is in considering "n"-tuples of individuals as abstract "n"-dimensional vectors', together with (...) some transformations of these vectors. Soundness of the semantics is proved to be equivalent to some non- logical properties of metaframes; and thus we describe the maximal semantics of Kripke- type. (shrink)

En acquisition L2, le choix méthodologique concernant le type de tâche a été décrit comme une étape capitale à l’obtention de données plus ou moins représentatives de comportements linguistiques mesurables (Norris et Ortega 2003). Le propos de notre recherche est d’analyser un corpus recueilli en acquisition L2 afin de tester des effets du type de tâche sur la nature des productions langagières obtenues. Notre recherche se base sur la comparaison d’une tâche narrative, d’une tâche directive et d’une tâche (...) de prise de décisions proposées à 36 locuteurs hispanophones apprenants d’anglais à l’Universitat de Barcelona et à l’Universitat Ramón Llull (Gilabert 2007). Notre analyse tient compte de quatre types de marqueurs : séquentiels (first, then, finally), argumentatifs (because, thus, though), temporels (when, after, before) et modaux (I think, would, should). L’extraction des items lexicaux s’est faite de manière automatique à l’aide de Childes (CLAN). Nos analyses quantitatives sur un total de 710 occurrences révèlent l’existence de différences significatives dans les fréquences de ces marqueurs selon le type de tâche réalisée (valeurs de p obtenus à l’aide du t-test de Welch). Les tâches de résolution de problèmes sollicitant des repères spatiaux (i.e., directive et de prise de décisions) constituent des activités significativement plus productives à l’obtention de marqueurs séquentiels et argumentatifs, comparées à la tâche narrative. Nos résultats suggèrent que le choix de la tâche est un enjeu majeur dans les travaux en acquisition L2 et confirment l’impact des outils méthodologiques dans les résultats obtenus. (shrink)

Recently, there’s been a lot of interest in a research program that tries to understand propositional representation in terms of the subject’s performance of sub-propositional mental acts like reference and predication (e. g. Burge 2010, Hanks 2015, Soames 2010, 2015). For example, on one version of the view, for a subject to predicate the property of being a composer of Arvo just is what it is to perform the to the basic propositional act of judging that Arvo is a (...) composer (e. g. Hanks 2015). In this paper I first present my own version of this view and contrast it with alternatives. I then argue that we must clearly separate the thin predication-resultant notion of judging (S(emantic)-judgment) from a much richer notion used in epistemology (E(pistemic)-judgment). The former is just the act of thinking a forceful thought. The latter is the act of making up one’s mind about how things are, a way of concluding theoretical or doxastic deliberation. I argue that these two acts differ in three ways: levels of propositional attitude, objective vs. subjective norms, and the possibility of sub-personal occurrence. (shrink)

Many times, what we say proves to be wrong. It might turn out that what we took to be a comforting remark was, in fact, making things worse. Or that a joke was inappropriate. Or that yelling out loud was rude. More importantly for this paper, there are plenty of cases in which what we said turns out to be false: we spoke without paying attention, we were misinformed or tricked, or we made a reasoning mistake. -/- A particular instance (...) of this latter phenomenon is when someone changes their perspective and doesn't find their previous assertions true anymore. For example, imagine that you used to like licorice as a child, and that you went around saying things like "Licorice is tasty." But, growing up, you find licorice too strong and quite boring; your tastes have changed. While the taste of licorice itself has not changed, you are not going around anymore uttering "Licorice is tasty." In fact, in certain cases, you might even think that what you said in your childhood was wrong - at least in light of your present preferences. -/- Sometimes we "take back" the assertions we made when we realize they are no longer true. Such speech acts of taking back can be performed in various ways: more formally, as effected in a court of law or when an official speaks to the press, or more informally in our day-by-day interactions. These acts of taking back are known as retraction. Retraction is usually achieved by employing certain linguistic markers ('I was wrong', 'I was mistaken', 'I retract', "Scratch that' etc.) that signal that the retractor takes their previous speech act to be faulty in a certain way. -/- This phenomenon has formed the basis for a popular argument used by relativists about a variety of natural language expressions (predicates of taste, epistemic modals, moral and aesthetic claims etc.) in support of their view. Recently, several considerations (mostly from contextualists about the same expressions), both from the armchair and based on empirical studies, have been offered to undercut the support retraction was thought to provide for relativism. In this paper, I consider and re-evaluate that support in light of both types of considerations, showing that neither of them decisively undermines it. However, to survive the contextualist counterattack, the relativist needs to pay a price: that is, she will be forced to make some concessions or rethink certain claims. I show what I think those concessions should be and what needs to be rethought (and how). The upshot is that, while the support retraction offers relativism is not as strong as initially believed, appeal to retraction remains a legitimate move in the debate. In section 1, I introduce the views in the debate and clarify the phenomenon of retraction and its dialectical role. Armchair data are investigated in section 2, proper experimental studies in section 3, while section 4 summarizes and concludes. (shrink)

Introduction US data reveal a Caesarean rate discrepancy between insured and uninsured patients, with the C-section rate highest among the privately insured. The data have prompted concern that financial incentives associated with insurance status might influence American physicians' decisions to perform Caesarean deliveries. Objective To determine whether differences in medical risk factors account for the apparent Caesarean rate discrepancy between Medicaid and privately insured patients in Michigan, USA. Method A retrospective review was performed of 617 269 live birth deliveries in (...) Michigan hospitals during 2004–8. All live birth records that were able to be linked to their mothers' hospital discharge records were utilised. Diagnosis-related group codes from the hospitalisation records were used to identify Caesarean deliveries. Regression models determined Caesarean probability for the time period under study, adjusted for insurance type, maternal age, race, maternal medical conditions, multiple births, prematurity and birth weight. Results From 2004 to 2008, Caesarean rates were 33% for privately insured patients and 29% for Medicaid patients. The probability of Caesarean delivery was significantly greater for privately insured than Medicaid patients on univariate analysis (OR 1.2, 95% CI 1.19 to 1.22) but not on multivariate analysis (adjusted OR 1.01, 95% CI 0.99 to 1.02). Conclusion No significant disparity was found in the odds of Caesarean delivery between privately insured and Medicaid patients in Michigan after adjusting for other Caesarean risk factors. A positive disparity would have provided de facto evidence that financial incentives play a role in physician decision-making regarding Caesarean delivery. (shrink)

In this paper we systematically derive a predicate transformer semantics from a direct semantics for a simple probabilistic-nondeterministic programming language . This goal is achieved by exhibiting the direct semantics as isomorphic to a continuation semantics from which the predicate transformer semantics can be read off immediately. This isomorphism allows one to identify nonempty convex compact saturated sets of valuations on the set S of states with certain “good” functionals from to in a way similar to the one (...) how H. Minkowski in 1903 related nonempty convex compact subsets of to what is nowadays called Minkowski functionals. (shrink)

In order to avoid the use of individual variables in predicate calculus, several authors proposed language whose expressions can be interpreted, in general, as denotations of predicates . The present author also proposed a language of this kind [5]. The absence of individual variables makes all these languages rather different from the traditional language of predicate calculus and from the usual language of mathematics. The translation procedures from the ordinary predicate languages into the predicate languages without (...) individual variables and vice versa have a technical character. It is desirable to make possible carrying out such procedures by performing some transformations in a suitable new language which comprises both a sublanguage similar to the ordinary predicate languages and another one not using individual variables. We shall propose now a language of the desired kind. The expressions of this language could be interpreted, in general, as denoting predicates which depend on parameters on a given object domain – this predicate has one argument and depends on one parameter). The proposed language will have the modal features noted in [3] and [5]. It is worthy of mention that the language proposed at the end of [4] although containing expressions interpreted as predicates and expressions with parameters does not allow simultaneous availability of argument places and parameters. (shrink)

This takes a closer look at the actual semantic behavior of apparent truth predicates in English and re-evaluates the way they could motivate particular philosophical views regarding the formal status of 'truth predicates' and their semantics. The paper distinguishes two types of 'truth predicates' and proposes semantic analyses that better reflect the linguistic facts. These analyses match particular independently motivated philosophical views.

Collin Howson (2000) challenges van Cleve’s reliabilist defense of induction (1984) based on an adaptation of Goodman Paradox (or new riddle of induction). I will try to show that Howson’s argument does not succeed once it is self-defeating. Nevertheless, I point out another way which Howson could have employed the new riddle to undermine the reliabilist defense.

Recent debates in metaphysics have highlighted the significance of type theories, such as Simple Type Theory (STT), for our philosophical analysis. In this chapter, I present the salient features of a constructive type theory in the style of Martin-Löf, termed CTT. My principal aim is to convey the flavour of this rich, flexible and sophisticated theory and compare it with STT. I especially focus on the forms of quantification which are available in CTT. A further aim is (...) to argue that a comparison between a plurality of theories is beneficial to the philosophical analysis. We may, for example, discover helpful features of one theory that we may want to import into another context, thus enriching our repertoire of formal tools. Or, through comparison with a less well-known theory, we may gain a better understanding of the characteristics of the theories we are familiar with. As argued in this chapter, CTT has much to offer in all of these respects. (shrink)

I. Descriptions in Predicative Position The predicative analysis and Russell’s theory part company when it comes to the argument structure assigned to sentences like (1). (1) Washington is the greatest French soldier. On a standard Russellian analysis, (1) has the following (a) logical form and (b) truth conditions.

In this paper I am concerned with the semantic analysis of sentences of the form 'It is true that p'. I will compare different proposals that have been made to analyse such sentences and will defend a view that treats this sentences as a mere sytactic variation of sentences of the form 'That p is true'.

Ship-type identification in a maritime context can be critical to the authorities to control the activities being carried out. Although Automatic Identification Systems has been mandatory for certain vessels, if a vessel does not have them voluntarily or not, it can lead to a whole set of problems, which is why the use of tracking alternatives such as radar is fully complementary for a vessel monitoring systems. However, radars provide positions, but not what they are detecting. Having systems capable (...) of adding categorical information to radar detections of vessels makes it possible to increase control of the activities being carried out, improve safety in maritime traffic, and optimize on-site inspection resources on the part of the authorities. This paper addresses the binary classification problem (fishing ships versus all other vessels) using unbalanced data from real vessel trajectories. It is performed from a deep learning approach comparing two of the main trends, Convolutional Neural Networks and Long Short-Term Memory. In this paper, it is proposed the weighted cross-entropy methodology and compared with classical data balancing strategies. Both networks show high performance when applying weighted cross-entropy compared with the classical machine learning approaches and classical balancing techniques. This work is shown to be a novel approach to the international problem of identifying fishing ships without context. (shrink)

In his 2000 book Logical Properties Colin McGinn argues that predicates denote properties rather than sets or individuals. I support the thesis, but show that it is vulnerable to a type-incongruity objection, if properties are (modelled as) functions, unless a device for extensionalizing properties is added. Alternatively, properties may be construed as primitive intensional entities, as in George Bealer. However, I object to Bealer’s construal of predication as a primitive operation inputting two primitive entities and outputting a third primitive (...) entity. Instead I recommend we follow Pavel Tichý in construing both predication and extensionalization as instances of the primitive operation of functional application. (shrink)