In this article I explain why scientists cannot always resolve their disagreements about experiments even if they do not hold conflicting theoretical assumptions, and how incommensurability in experiments can occur even if experiments are not deeply encumbered by theoretical assumptions. On the basis of recent discoveries in cognitive psychology and an extended analysis of a historical case, I explore a cognitive mechanism that may generate incommensurability in experiment appraisal. I find that, because of the involvement of goal-derived categories, (...) incommensurability in experiments may result from the conflict of goals that scientists pursue in their researches, from the differences of goal-derived classification schemata that they employ in analyzing experiments, and from discrepancies between skills that they have developed in their practices. This account differs from the conventional interpretation of Kuhn’s thesis, which attributes the cause of incommensurability solely to theoretical differences. In the conclusion, I further discuss the implications of this new account of incommensurability for both philosophical and historical studies of science. (shrink)

The 18th-century Scottish ‘common sense’ philosopher Thomas Reid argued that perception can be distinguished on several dimensions from other categories of experience, such as sensation, illusion, hallucination, mental images, and what he called ‘fancy.’ We extend his approach to eleven mental categories, and discuss how these distinctions, often ignored in the empirical literature, bear on current research. We also score each category on five properties (ones abstracted from Reid) to form a 5 × 11 matrix, and thus can (...) generate statistical measures of their mutual dependencies, a procedure that may have general interest as illustrating what we can call ‘computational philosophy.’. (shrink)

In this paper, I put forth a novel interpretation of how the third categories under each heading in the table of categories are derived. Drawing on a passage from the first Critique and a letter to Schultz, I argue that in order to derive these categories, a special act of the understanding is required. I propose that we interpret this special act as consisting of an application of the third logical function under the corresponding heading that (...) unites the combination of the first and second categories so as to produce the third. (shrink)

We propose a model of cognition grounded in ancient Greek philosophy which encompasses Aristotle’s categories. Taking for First Principles the brute facts of the mental actions of separation, aggregation and ordering, we derive Aristotle’s categories as follows. First, Separation lets us see single entities, giving the simple concept of an individual. Next, Aggregation lets us see instances of some kind, giving the basic concept of a particular. Then, Ordering lets us see both wholes-with-parts as well as parts-of-some-whole, giving (...) the subtle concept of a relational or Gestalt. The basic and the subtle concept give us the major and minor categories. The categories constitute a top-level ontology and describe universal usage so that any other category necessarily describes particular or domain usage. (shrink)

We propose a model of cognition grounded in ancient Greek philosophy which encompasses Aristotle’s categories. Taking for First Principles the brute facts of the mental actions of separation, aggregation and ordering, we derive Aristotle’s categories as follows. First, Separation lets us see single entities, giving the simple concept of an individual. Next, Aggregation lets us see instances of some kind, giving the basic concept of a particular. Then, Ordering lets us see both wholes-with-parts as well as parts-of-some-whole, giving (...) the subtle concept of a relational or Gestalt. The basic and the subtle concept give us the major and minor categories. The categories constitute a top-level ontology and describe universal usage so that any other category necessarily describes particular or domain usage. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, (...) I discuss ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

PURPLE (RED-and-BLUE) is the most frequently occurring derived (binary) basic color term (BCT), but there is never a named composite BCT meaning RED-or-BLUE. GREEN-or-BLUE is the most frequently named composite color category, but there is never a BCT for the corresponding derived (binary) category CYAN (BLUE-and-GREEN). Why?

There is growing support for the view that social categories like men and women refer to “objective types” (Haslanger 2000, 2006, 2012; Alcoff 2005). An objective type is a similarity class for which the axis of similarity is an objective rather than nominal or fictional property. Such types are independently real and causally relevant, yet their unity does not derive from an essential property. Given this tandem of features, it is not surprising why empirically-minded researchers interested in fighting oppression (...) and marginalization have found this ontological category so attractive: objective types have the ontological credentials to secure the reality (and thus political representation) of social categories, and yet they do not impose exclusionary essences that also naturalize and legitimize social inequalities. This essay argues that, from the perspective of these political goals of fighting oppression and marginalization, the category of objective types is in fact a Trojan horse; it looks like a gift, but it ends up creating trouble. I argue that objective type classifications often lack empirical adequacy, and as a result they lack political adequacy. I also provide, and in reference to the normative goals described above, several arguments for preferring a social ontology of natural kinds with historical essences. (shrink)

The Lambek-Grishin calculus is a symmetric version of categorial grammar obtained by augmenting the standard inventory of type-forming operations (product and residual left and right division) with a dual family: coproduct, left and right difference. Interaction between these two families is provided by distributivity laws. These distributivity laws have pleasant invariance properties: stability of interpretations for the Curry-Howard derivational semantics, and structure-preservation at the syntactic end. The move to symmetry thus offers novel ways of reconciling the demands of natural language (...) form and meaning. (shrink)

This paper provides an account of Kant's categories of freedom, explaining how they fit together and what role they are supposed to play. My interpretation places particular emphasis on the structural features that the table of the categories of freedom shares with the table of judgements and the table of categories laid out by Kant in the Critique of Pure Reason. In this way we can identify two interpretative constraints, namely (i) that the categories falling under (...) each heading must form a synthetic unity whereby the third one derives from the combination of the other two. and (ii) that the first two categories falling under each heading must be morally undetermined and sensibly conditioned, while the third category is sensibly unconditioned and determined only by the moral law. (shrink)

1 Recognition Device . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2 Classical Categorial Grammar. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 3 Classical (...) Categorial Grammar. Examples . . . . . . . . . . . . . . . . . . . . . 5 4 Logic Grammar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 5 Lambek calculus. Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 6 Lambek calculus. Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 7 Lambek calculus. Advantages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 8 Derivations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 9 Residuated and Galois Connected Functions . . . . . . . . . . . . . . . . . . 14 10 Interpretation of the Constants. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 11 Nonveridical Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 12 Dutch. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 13 Classification of NPIs in Dutch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 14 Antilicensing Relation. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20.. (shrink)

Polarity Items are linguistic expressions known for being a ‘lexically controlled’ phenomenon. In this paper we show how their behavior can be implemented in a deductive system. Further- more, we point out some possible directions to recast the deductive solution into a Tree Ad- joining Grammar system. In particular, we suggest to compare the proof system developed for Multimodal Categorial Grammar (Moot & Puite, 1999) with the Partial Proof Trees proposed in (Joshi & Kulick, 1997).

Background: The pharmaceutical industry has been responsible for major medical advances, but the industry has also been heavily criticized. Such criticisms, and associated regulatory responses, are no doubt often warranted, but do not provide a framework for those who wish to reason systematically about the moral dimensions of drug development. We set out to develop such a framework using Beauchamp and Childress's “four principles” as organizing categories. Methods: We conducted a qualitative interview study of people working in the “medical (...) affairs” departments of pharmaceutical companies to determine: (1) whether our data could meaningfully be organized under the headings of “autonomy,” “beneficence,” “nonmaleficence,” and “justice”; (2) how principles might be expressed in this particular commercial setting; and (3) if these principles are expressed, whether and how competing principles are balanced. We then critiqued these findings using existing normative theory. Results: Our interviews demonstrated that three of Beauchamp and Childress's four principles were salient to our participants: beneficence, nonmaleficence, and justice. Within each of these principles, participants had two broad ethical orientations: an altruistic public focus (“other-ness”) and a commitment to their companies (“firm-ness”). Our participants also demonstrated efforts to balance these principles and highlighted the importance of phronesis (or practical wisdom) in balancing and enacting principles. Notably, however, our participants did not spontaneously emphasize the importance of autonomy. Conclusions: It is possible to use qualitative empirical research, together with normative analysis, to derive a framework for pharmaceutical ethics. We suggest that our framework would be useful for those who wish to reason ethically within, or in collaboration with, the pharmaceutical industry. (shrink)

The paper proposes a semantics for contextual (i.e., Temporal and Locative) Prepositional Phrases (CPPs) like during every meeting, in the garden, when Harry met Sally and where I’m calling from. The semantics is embodied in a multi-modal extension of Combinatory Categoral Grammar (CCG). The grammar allows the strictly monotonic compositional derivation of multiple correct interpretations for “stacked” or multiple CPPs, including interpretations whose scope relations are not what would be expected on standard assumptions about surfacesyntactic command and monotonic derivation. A (...) type-hierarchy of functional modalities plays a crucial role in the specification of the fragment. (shrink)

It would be useful to have a category of extensive-form games whose isomorphisms specify equivalences between games. Since working with entire games is too large a project for a single paper, I begin here with preforms, where a “preform” is a rooted tree together with choices and information sets. In particular, this paper first defines the category \, whose objects are “functioned trees”, which are specially designed to be incorporated into preforms. I show that \ is isomorphic to the full (...) subcategory of \ whose objects are converging arborescences. Then the paper defines the category \, whose objects are “node-and-choice preforms”, each of which consists of a node set, a choice set, and an operator mapping node-choice pairs to nodes. I characterize the \ isomorphisms, define a forgetful functor from \ to \, and show that \ is equivalent to the full subcategory of \ whose objects are perfect-information preforms. The paper also shows that many game-theoretic entities can be derived from preforms, and that these entities are well-behaved with respect to \ morphisms and isomorphisms. (shrink)

Kant states that space and time are a priori conditions of experience, while apparently being committed to the euclidean nature of space and absolute simultaneity. His defense of the a priori character of spatio-temporal notions stems from taking them as pure intuitions, so its newtonian nature would derive from the configuration of what Kant names as intuition. Nevertheless, according to some recent discussions, it is not clear what intuition means for Kant and how space-time is determined from it. In this (...) paper I look into the debate about the origin of the synthesis of pure intuition that, according to Kant, would determine the spatio-temporal structure. I discuss to what extent taking into account the participation of categories in such a synthesis might have an effect on the commitment that, according to the kantian perspective, one should have with respect to the metric being determined a priori. My conclusion is that kantian analysis can incorporate the idea of a spatio-temporal metric that is not given, in the sense of universally and necessarily, a priori. (shrink)

One of the hypotheses about mental representation of conversion (i.e. zero-derivation) claims that converted forms are a product of a costly mental process that converts a word’s category into another one when needed, i.e., depending on the syntactic context in which the word appears. The empirical evidence for the claim is based primarily on self-paced reading experiments by Stolterfoht, Gese, and Maienborn (2010) in which they explored the assumed conversion of German verbs into adjectives in two syntactic contexts with participle (...) II. In our priming study, we show that the effects that had been attributed to the conversion process are in fact frequency effects. In addition, based on our data we argue that participle II has the same word class in both syntactic contexts, as assumed by traditional German grammars. The same pattern of frequency effects was observed for German native speakers and advanced L2 German learners. (shrink)

This paper argues that the identity of history as a discipline derives from its distinctive combination of intellectual assumptions, or categories. Many of these categories are shared with other fields of thought, including science, literature, and common sense, but in history are understood in a unique way. This paper first examines the general notion of categories of historical understanding, then scrutinises some of the specific categories suggested by classic authors on the philosophy of history such as (...) Dilthey and Collingwood. More recent works by Goldstein, Oakeshott, Bevir, and Tucker are treated as contributions to the same discussion. It concludes that the various categories these writers have proposed are neither trivial nor incompatible and that when collated they do indeed compose a framework capable of characterising historical thought. (shrink)

We show that derivations in the nonassociative and commutative Lambek calculus with product can be transformed to a normal form as it is the case with derivations in noncommutative calculi. As an application we obtain that the class of languages generated by categorial grammars based on the nonassociative and commutative Lambek calculus with product is included in the class of CF-languages. MSC: 68Q50, 03D15, 03B65.

This paper revisits two fundamental issues in question semantics—what does a question mean, and how is this meaning compositionally derived? Drawing on observations with the distribution of wh-words in questions and free relatives as well as quantificational variability effects in question-embeddings, I argue that the nominal meanings of short answers must be derivable from question denotations, which therefore calls for a categorial approach to defining questions, including embedded questions. I provide a novel hybrid categorial approach to compose questions. This (...) approach overcomes the problems with traditional categorial approaches in defining bare wh-indefinites, composing multi-wh questions, and accounting for coordinations of questions. (shrink)

McTaggart's ideas on the unreality of time as expressed in "The Nature of Existence" have retained great interest for many years for scholars, academics and other philosophers. In this essay, there is a brief discussion which mentions some of the high points of this philosophical interest, and goes on to apply his ideas to modern physics and neuroscience. It does not discuss McTaggart's C and D series, but does emphasise how the use of derived versions of both his A (...) and B series can be of great virtue in discussing both the abstract physics of time, and the present and future importance of McTaggart's ideas to the subject of time. Indeed an experiment using human volunteers and dynamic systems modelling which was carried out is described, which illustrates this fact. The Many Bubble Interpretation, which also derives from McTaggart's ideas, is discussed and various examples of its use and effectiveness are referred to. The Schrodinger Cat paradox is essentially resolved in principle, the quantum Zeno effect interpretable, Kwiat's recent result referred to, and the newly discovered reverse Stickgold effect described. (shrink)

Rather than approaching Kant's moral theory in the normal way through a consideration of The Groundwork of the Metaphysics of Morals and The Critique of Practical Reason, I do so from the perspective of an extended analysis of other aspects of his work that bear on his moral philosophy . Consideration of the Doctrine of Right suggests that the universal principle of Right Kant identifies is a restricted version of the CI applied to the limited domain of relations between persons (...) at issue in this context. Given that duties of Right deriving from this principle are also regarded as perfect ethical duties, an analysis of the nature and scope of the universal principle of Right can, I argue, be expected to be informative with respect to our understanding of perfect duties and the contradiction in conception from which these are said to derive. Allowing for the more limited scope of merely external duties of Right, analysis of these duties suggests that ethical duties of Right are obligations concerned with ensuring the capacity of rational agents to govern themselves on the basis of reason . This kind of analysis, I argue, is both confirmed and clarified by Kant's subsequent discussion of perfect and imperfect duties of virtue we owe to ourselves under the rubric of concerns with our moral health and moral prosperity. ;The resulting view is, I claim, a promising one that allows us to integrate the different treatments of duties in these two works and accommodate the various duties Kant discusses. In particular, understood in terms of the notions of moral health and prosperity, the concerns engendered here require careful consideration of the particular nature and psychology of human agency and yield a much more subtle and interesting account of duty and of the moral life than those typically associated with Kant. (shrink)

The article presents the first results we have obtained studying natural reasoning from a proof-theoretic perspective. In particular we focus our attention on monotonic reasoning. Our system consists of two parts: (i) A Formal Grammar – a multimodal version of classical Categorial Grammar – which while syntactically analysing linguistic expressions given as input, computes semantic information (In particular information about the monotonicity properties of the components of the input string are displayed.); (ii) A simple Natural Logic which derives (monotonicity) inferences (...) using as vehicle the parsed output. The monotonicity markers assigned in the lexicon are propagated through the proofs via a combination of the structural and the logical rules for the unary operators of Multimodal Categorial Grammar (MMCG) [Moo97]. We have chosen to work with an expressive ‘grammar logic’, in order to avoid the use of extra-logical marking devices and extra-logical structural reasoning. Having MMCG as parser, our system is able to make the derivations simply within the logic. This new approach makes the implementation of the theory an easier task. We have implemented the theoretical results, so far obtained, using Grail, a theorem prover for Categorial Grammar Logics [Moo98]. (shrink)

The human conceptual system comprises simulated information of sensorimotor experience and linguistic distributional information of how words are used in language. Moreover, the linguistic shortcut hypothesis predicts that people will use computationally cheaper linguistic distributional information where it is sufficient to inform a task response. In a pre‐registered category production study, we asked participants to verbally name members of concrete and abstract categories and tested whether performance could be predicted by a novel measure of sensorimotor similarity (based on an (...) 11‐dimensional representation of sensorimotor strength) and linguistic proximity (based on word co‐occurrence derived from a large corpus). As predicted, both measures predicted the order and frequency of category production but, critically, linguistic proximity had an effect above and beyond sensorimotor similarity. A follow‐up study using typicality ratings as an additional predictor found that typicality was often the strongest predictor of category production variables, but it did not subsume sensorimotor and linguistic effects. Finally, we created a novel, fully grounded computational model of conceptual activation during category production, which best approximated typical human performance when conceptual activation was allowed to spread indirectly between concepts, and when candidate category members came from both sensorimotor and linguistic distributional representations. Critically, model performance was indistinguishable from typical human performance. Results support the linguistic shortcut hypothesis in semantic processing and provide strong evidence that both linguistic and grounded representations are inherent to the functioning of the conceptual system. All materials, data, and code are available at https://osf.io/vaq56/. (shrink)

A law is one of the basic concepts of the dialectical materialist conception of determinism as a philosophical theory of the objective interrelationship and mutual conditioning of phenomena in the material and mental world. A law establishes a rigorously determined connection among circumstances, i.e., a totality of derivative components and conditions of their actions and results. By overlooking the existence of two different levels—the concept and the objective reality corresponding to it—some philosophers erroneously interpret Marx's theses concerning the approximateness of (...) the realization of the laws of society. Let us take, for example, Marx's thesis that "In general, in capitalist production general laws are realized in a very confused and approximate way, merely as a prevailing tendency, as a kind of average among constant fluctuations that is never solidly established."1 Some investigators see this as an objectively existing social law in itself, attributing to it an "inexactitude" of operation, variation, and approximation, instead of seeing it as a specific application of a particular law. They thus forget that Marx said, in the Foreword to the very first volume of Capital: "The question does not specifically have to do with a greater or lesser degree of development of the social antagonisms that derive from the natural laws of capitalist production, but rather lies in these laws themselves, these trends, which operate and are realized with iron necessity.". (shrink)

No crucial experiment demonstrates that four hue categories are needed to describe color appearance. Instead, converging lines of evidence suggest that the terms red, yellow, green, and blue are sufficient and precise enough for deriving color discrimination functions and for a useful model constraining relations between color appearance and neuronal responses. Such a model need not be based on linguistic universals. Until something better is available, this holds.

The doctrine that meanings are entitieswith a determinate and independent reality is often believed tohave been undermined by Quine's thought experiment of radicaltranslation, which results in an argument for the indeterminacy oftranslation. This paper argues to the contrary. Starting fromQuine's assumption that the meanings of observation sentences arestimulus meanings, i.e., set-theoretical constructions of neuronalstates uniquely determined by inter-subjectively observable facts,the paper shows that this meaning assignment, up to isomorphism,is uniquely extendable to all expressions that occur inobservation sentences. To do so, (...) a theorem recently proven byHodges is used. To derive the conclusion, one only has to assumethat languages are compositional, abide by a generalized contextprinciple and by what I call the category principle. Theseassumptions originating in Frege and Husserl are coherent withQuine's overall position. It is concluded that Quine'snaturalistic approach does not justify scepticism with regard tomeaning, but should rather result in a view that affiliatessemantics with neuroscience. (shrink)

In this paper we use our work in the philosophy of technology to formulate a pluralist view on artefact categories and categorisation principles, as studied in cognitive science. We argue, on the basis of classifications derived by philosophical reconstruction, that artefacts can be clustered in more than one way, and that each clustering may be taken as defining psychological artefact categories. We contrast this pluralism with essentialism and super-minimalism on artefact categories and we argue that pluralism (...) is coherent with experimental results regarding the context-dependence of artefact categorisation. (shrink)

I provide a critical commentary regarding the attitude of the logician and the philosopher towards the physicist and physics. The commentary is intended to showcase how a general change in attitude towards making scientific inquiries can be beneficial for science as a whole. However, such a change can come at the cost of looking beyond the categories of the disciplines of logic, philosophy and physics. It is through self-inquiry that such a change is possible, along with the realization of (...) the essence of the middle that is otherwise excluded by choice. The logician, who generally holds a reverential attitude towards the physicist, can then actively contribute to the betterment of physics by improving the language through which the physicist expresses his experience. The philosopher, who otherwise chooses to follow the advancement of physics and gets stuck in the trap of sophistication of language, can then be of guidance to the physicist on intellectual grounds by having the physicist’s experience himself. In course of this commentary, I provide a glimpse of how a truthful conversion of verbal statements to physico-mathematical expressions unravels the hitherto unrealized connection between Heisenberg uncertainty relation and Cauchy’s definition of derivative that is used in physics. The commentary can be an essential reading if the reader is willing to look beyond the categories of logic, philosophy and physics by being ‘nobody’. (shrink)

This is a précis of a forthcoming book which expounds and defends Kant's claim to the derivation of the categories from the principle of apperception in the vein of Klaus Reich.

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for $${\mathbb {T}_{\bf \Sigma}}$$, the monad in Set S determined by the adjunction $${{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}}$$ from Set S to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor $${{\bf d}_\diamond}$$ from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, respectively, (...) to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat. Next we prove that there is a functor TrΣ, of realization of generalized terms as term operations, from Alg(Σ) × Ter(Σ) to Set, that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ, there exists a natural isomorphism θ d from the functor $${{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}}$$ to the functor $${{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}$$, both from the category Alg(Λ) × Ter(Σ) to the category Set, where d* is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat, that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution. (shrink)

ABSTRACTBy the Many Categories problem, I mean the prima facie violation of Ockham’s Razor by realists about universals: there is, it might seem, just too much variety. Thus, David Armstrong posits both properties and relations. He also theorises about determinates of determinables. Another influential realist, E. J. Lowe distinguishes non-substantial from substantial universals. Yet again, both Armstrong and Lowe include in their ontology abstract particulars in addition to universals. My aim in this paper is to offer a unification of (...) these categories using an operator-theory. First, I show how operators provide a theory of abstract particulars of relations and of impure relational properties. Then, using impure relational properties I derive the Fregeanion Principle. After some metaphysics of mathematics, I provide a theory of determinables. Finally, I consider kinds and substances. (shrink)

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter ( Σ ), of generalized terms for Σ (which is the dual of the Kleisli category for , the monad in Set S determined by the adjunction from Set S to Alg ( Σ ), the category of Σ -algebras), we assign, to a signature morphism d from Σ to Λ , the functor from Ter ( Σ ) to Ter ( Λ ). Once defined the mappings (...) that assign, respectively, to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat . Next we prove that there is a functor Tr Σ , of realization of generalized terms as term operations, from Alg ( Σ ) × Ter ( Σ ) to Set , that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ , there exists a natural isomorphism θ d from the functor to the functor , both from the category Alg ( Λ ) × Ter ( Σ ) to the category Set , where d * is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat , that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution. (shrink)

Coining Compounds and Derivations - A Crosslinguistic Elicitation Study of Word-Formation Abilities of Preschool Children and Adults in Polish and English This paper examines word-formation abilities in coining compounds and derivatives in preschool children and adult speakers of two languages differing in overall word-formation productivity and in favoring of particular word-formation patterns. An elicitation picture naming task was designed to assess these abilities across a range of word-formation categories. Adult speakers demonstrated well-developed word-formation skills in patterns both typical and (...) non-typical for their native language. In contrast with adult results, preschool children predominantly coined innovations conforming to the general pattern of their language: Polish children favoring derivation and American children favoring compounding. The results show that although children are improving their wordformation skills during the preschool years, they need much more experience to come to the mature proficiency in using the variety of word-formation patterns available in their language. (shrink)

In this paper, I intend to reconstruct Ockham’s semantics of the categories in order to prove first that his semantics is consistent. Second, Ockham is not skeptical about the possibility to derive the categories from primitives. According to Ockham, one must accept two principles in order to derive the categories. The first is the principle of ‘in quid’ predication, according to which a name of category can be predicated ‘in quid’ of a determined class of terms. The (...) second is the principle of the transitivity of predication, according to which A is predicated of C if A is predicated of B and B is predicated of C. I will show that Ockham’s semantics of the categories makes two assumptions. According to the first assumption, there exist only two types of things, substances and qualities. According to the second, the categories are mutually exclusive. Ockham’s semantics of the categories implies that the categories are both ontological and conceptual and that it is not possible to prove that there is a determined number of categories. (shrink)

The opening chapter of the Categories fails to reveal whether it is introducing a grammatical, a logical, or a metaphysical treatise. It deals with equivocals and univocals and ends with a definition of paronyms. The definition of paronyms is given in purely grammatical terms. Paronyms derive their name from an identical source with a difference only in case ending, as bravery and the brave, grammar and the grammarian. The second chapter, however, proceeds to state that an expression can be (...) either complex or simple--complex like "a man runs," or simple like "man" or "runs." Then it immediately passes over to beings. Of the things that are, it states, some are asserted of a subject, but are not in any subject. The example given is that "man" is asserted of a particular man. To supply for Aristotle a current instance of what is here meant, one might use the sentence "Bertrand Russell is a man." This type of statement, to take the Aristotelian text literally, is dealing with beings and is asserting something of a subject. What is asserted, "man," is not in any subject even though it is asserted of a subject. In other words, the logically proper name "Bertrand Russell" denotes a substance and not an accident. (shrink)

Fichte argues that the conclusion of Kant’s transcendental deduction of the categories is correct yet lacks a crucial premise, given Kant’s admission that the metaphysical deduction locates an arbitrary origin for the categories. Fichte provides the missing premise by employing a new method: a genetic deduction of the categories from a first principle. Since Fichte claims to articulate the same view as Kant in a different, it is crucial to grasp genetic deduction in relation to the sorts (...) of deduction that Kant offers. I propose to interpret genetic deduction as the simultaneous fulfillment of two tasks: answering the question quid facti by deriving the categories from the I and answering the question quid juris by establishing our entitlement to the categories as conditions of experience. While the second task represents Fichte’s agreement with Kant’s transcendental deduction, the first reflects his correction of Kant’s metaphysical deduction. (shrink)

In focusing on the systematic deduction of the categories from a principle, Schulting takes up anew the controversial project of the eminent German Kant scholar Klaus Reich, whose monograph “The Completeness of Kant's Table of Judgments” made the case that the logical functions of judgement can all be derived from the objective unity of apperception and can be shown to link up with one another systematically. -/- Common opinion among Kantians today has it that Kant did not mean (...) to derive the functions of judgement, and accordingly the categories, from the principle of apperception. Schulting challenges this standard view and aims to resuscitate the main motivation behind Reich’s project. He argues, in agreement with Reich’s main thesis about the derivability of the functions of judgement, that Kant indeed does mean to derive, in full a priori fashion, the categories from the principle of apperception. -/- Schulting also shows that, given the general assumptions of the Critical philosophy, Kant's derivation is successful and that absent an account of the derivation of the categories from apperception, the B-Deduction cannot really be understood. -/- New edition. First published 2012 as „Kant’s Deduction and Apperception. Explaining the Categories" (Palgrave Macmillan). (shrink)

Berlin & Kay hue-related basic color categories are compared with the ISCC-NBS system of object color categorization. Though independently derived, categories of the former form a small subset of the latter. A conjecture is proposed that explains the absence of yellow-green and blue-green basic hue categories and the potential for a violet category as the result of constraints on primitive hue category formation due to considerable variation in stimuli selected by color-normal observers as representing for them (...) unique hues. (shrink)

The term ‘environment’ is not uniformly defined in the public health sciences, which causes crucial inconsistencies in research, health policy, and practice. As we shall indicate, this is somewhat entangled with diverging pathogenic and salutogenic perspectives (research and policy priorities) concerning environmental health. We emphasise two distinct concepts of environment in use by the World Health Organisation. One significant way these concepts differ concerns whether the social environment is included. Divergence on this matter has profound consequences for the understanding of (...) health and disease, for measures derived from that understanding targeting health promotion and disease prevention, and consequently, for epistemic structures and concept development in scientific practice. We hope to improve the given situation in public health by uncovering these differences and by developing a fruitful way of thinking about environment. Firstly, we side with the salutogenic conception of environment as a _health resource_ (as well as a source of health risks). Secondly, we subdivide the concept of environment into four _health-oriented environmental categories_ (viz., natural, built-material, socio-cultural, and psychosocial) and we link these with other theoretical notions proposed in the health sciences literature. Thirdly, we propose that in public health ‘environment’ should be understood as consisting of all extrinsic factors that influence or are influenced by the health, well-being, and development of an individual. Consequently, none of the four categories should be excluded from the concept of environment. We point out the practical relevance and fruitfulness of the conception of environment as a health source and frame this in causal terms, representing _individual health environments_ as causal networks. Throughout, we side with the view that for the design of human health-promoting settings, increased attention and consideration of environmental resources of salutogenic potential is particularly pressing. (shrink)

Mainstream historians in recent decades have often treated formal categories and rules as something to be 'used' by individuals, as one might use a stick or stone, and the gains of an earlier legal history are often needlessly set aside. Anthropologists, meanwhile, have treated rules as analytic errors and categories as an imposition by outside powers or by analysts, leaving a very thin notion of 'practice' as the stuff of social life. Philosophy of an older vintage, as well (...) as the work of scholars such as Charles Taylor, provides fresh approaches when applied imaginatively to cases beyond the traditional ground of modern Europe and North America. Not only are different kinds of rules and categories open to examination, but the very notion of a rule can be explored more deeply. This volume approaches rules and categories as constitutive of action and hence of social life, but also as providing means of criticism and imagination. A general theoretical framework is derived from analytical philosophy, from Wittgenstein to his critics and beyond, and from recent legal thinkers such as Schauer and Waldron. Case-studies are presented from a broad range of periods and regions, from Amazonia via northern Chad, Tibet, and medieval Russia to the scholarly worlds of Roman law, Islam, and Classical India. As the third volume in the Legalism series, this collection draws on common themes that run throughout the first two volumes: Legalism: Anthropology and History and Legalism: Community and Justice, consolidating them in a framework that suggests a new approach to rule-bound systems. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Diacritics 29.4 (1999) 40-57 [Access article in PDF] Bogeyman: Benedict Anderson's "Derivative" Discourse Andrew Parker Between life and death, nationalism has as its own proper space the experience of haunting. There is no nationalism without some ghost. -Jacques Derrida, "Onto-Theology of National-Humanism" Writing a mere decade ago about Benedict Anderson's Imagined Communities, Timothy Brennan noted that "with the exception of some recent sociological works which use literary theories, it (...) is rare in English to see 'nation-ness' talked about as an imaginative vision--as a topic worthy of full fictional realization.... Even in the underrepresented branch of Third World English studies, one is likely to find discussions of race and colonialism, but not the 'nation' as such" [47]. If these sentences appear astonishing today--if over the past ten years we seem to have done little else but regard the nation as an imaginative construction--our sense of surprise may help to register how rapidly and profoundly Anderson's work has transformed the nature of literary and cultural studies. Viewing the modern nation primarily as an anthropological rather than political category, one that has less inherently to do with ideologies than with kinship, gender, and religion, Anderson argues in Imagined Communities for the irreducibility of material-cultural practices (what he memorably termed "print-capitalism") in creating and sustaining the "imagined community" of a nation whose citizens maintain "deep attachments" to each other in the absence of face-to-face contact: "the members of even the smallest nation will never know most of their fellow-members, meet them, or even hear of them, yet in the minds of each lives the image of their communion" [6]. Part of what makes such communities national, Anderson suggests, is a shared experience of simultaneity modeled on the spatio-temporal organization of newspapers and novels, for "these forms provided the technical means for 're-presenting' the kind of imagined community that is the nation" by furnishing their reader-consumers with a "complex gloss on the word 'meanwhile'" [25]. The "old-fashioned novel" especially, through its distinctive structures of address and omniscient point of view, becomes in this schema a "device" for generating a sociologically complex world populated by characters who, even though they "may be largely unaware of each other," nevertheless move together "calendrically through homogeneous, empty time"--a world, in short, that may be considered "a precise analogue of the idea of the nation, which also is conceived as a solid community moving steadily up (or down) history" [25-26]. As Jonathan Culler aptly summarizes in his contribution to this issue, Anderson thus takes the novel to be "a precondition for the nation" [24], "a formal condition of imagining the nation--a structural condition of possibility" [37]. Such strong emphasis on the novel as "a force for imagining the communities that are nations" certainly helps to explain why Imagined Communities so swiftly and pervasively became doxa in literary study--even if, as Culler elaborates, some of Anderson's readers have mistaken his argument for a stronger if less defensible [End Page 40] version that sees the novel as "a force in shaping or legitimating the nation" [37].While Anderson's analogy between novel and nation has been put by literary critics to a multitude of creative uses, what has been acknowledged much less commonly is that his literary interests are by no means exhausted by the paradigm for which he is best known. 1 The very title of his most recent book is, significantly as we shall see, a translated quotation from a novel, and he returns repeatedly for insights into the politics of literary form not only to Walter Benjamin but to certain exemplary "nationalist" novelists, José Rizal and Pramoedya Ananta Toer first and foremost. Where The Spectre of Comparisons is unusual in containing chapter-length readings of literary works (several of them reprinted from the earlier Language and Power), Imagined Communities was no stranger to detailed discussions of fiction. We may be struck, in fact, by the extent to which Anderson's theoretical and historical studies locate themselves persistently over time with reference to "literature... (shrink)

Dennis Schulting offers a thoroughgoing, analytic account of the first half of the Transcendental Deduction of the Categories in the B-edition of Kant's Critique of Pure Reason that is different from existing interpretations in at least one important aspect: its central claim is that each of the 12 categories is wholly derivable from the principle of apperception, which goes against the current view that the Deduction is not a proof in a strict philosophical sense and the standard reading (...) that in the Deduction Kant only gives an account of the global applicability of the categories to experience. This novel approach enables a reappraisal of Kant's controversial claim that transcendental self-consciousness is not only a necessary condition of objective experience but also sufficient for it. The book provides an extensive analysis of Kant's theory of transcendental apperception and also explains why the argument of the Transcendental Deduction is both a regressive and a progressive argument. (shrink)

Arguably one of the most fundamental phase shifts that occurred in the intellectual history of Western culture involved the ontological reduction of secondary qualities to primary qualities. To say the least, this reduction worked to undermine the foundations undergirding Aristotelian thought in support of a scientific view of the world based strictly on an examination of the real—primary— qualities of things. In this essay, I identify the so-called “Causal Argument” for a reductive view of secondary qualities and seek to deflect (...) this challenge by deriving some plausible consequences that support a non-reductive view of secondary qualities from an Aristotelian view (via the philosophical commentary of Thomas Aquinas). Specifically, my argument has two facets. First, I show that Aristotle’s view both implies recognition of the extramental existence of secondary qualities and is a prima facia natural view to take regarding the ontology of secondary qualities. Second, I show that the Causal Argument, which is thought to undermine a natural view of secondary qualities as real things, loses its bite when one examines perception in light the ontological relationship among the categories of quality, quantity and substance. (shrink)