A study is made of the history of the type and related concepts, from Greek Antiquity up to the present. It is demonstrated that the type-concept of eighteenth century biology was based on Leibniz's concept of substantial form, and was not related to a Platonic Idea, whilst it is now generally understood in the sense of model or norm. In the present paper, a type-concept is developed which includes ontogenetic and phylogenetic time and various (...) evolutionary mechanisms. This type (an archetype) can serve as a model of the evolutionary potentialities of a taxon, and as a standard of higher classification. All classifications based on the same archetype, whether typological, numerical or phylogenetic, will be comparable, although not necessarily identical. (shrink)

‘Type’ in biology is a polysemous term. In a landmark article, Paul Farber (Journal of the History of Biology 9(1): 93–119, 1976) argued that this deceptively plain term had acquired three different meanings in early nineteenth century natural history alone. ‘Type’ was used in relation to three distinct type concepts, each of them associated with a different set of practices. Important as Farber’s analysis has been for the historiography of natural history, his account conceals an important dimension (...) of early nineteenth century ‘type talk.’ Farber’s taxonomy of type concepts passes over the fact that certain uses of ‘type’ began to take on a new meaning in this period. At the closing of the eighteenth century, terms like ‘type specimen,’ ‘type species,’ and ‘type genus’ were universally recognized as referring to typical, model members of their encompassing taxa. But in the course of the nineteenth century, the same terms were co-opted for a different purpose. As part of an effort to drive out nomenclatural synonymy – the confusing state of a taxon being known to different people by different names – these terms started to signify the fixed and potentially atypical name-bearing elements of taxa. A new type concept was born: the nomenclatural type. In this article, I retrace this perplexing nineteenth century shift in meaning of ‘type.’ I uncover the nomenclatural disorder that the new nomenclatural type concept dissolved, and expose the conceptual confusion it left in its tracks. What emerges is an account of how synonymy was suppressed through the coinage of a homonym. (shrink)

This paper aims to reassess a notion in the works of the later Husserl that is both historically important and philosophically insightful, but remains understudied, namely, that of type. In opposition to a standard reading which treats Husserl’s type presentations as pre-conceptual habits, this paper argues that these representations are a specific kind of concept. More precisely, it shows that Husserl’s account of type presentations is akin to the contemporary prototype theory of concepts. This is historically (...) important, since the predecessor of the prototype theory is usually said to be Wittgenstein. From a philosophical standpoint, the paper shows that Husserl has an innovative account of the connection between type concepts and their extension. Contrary to the standard view of extensions as sets and thus sharp entities, Husserl develops a correlationalist theory of concepts, according to which, for the specific characteristics in the structure of a concept, there are corresponding characteristics in the arrangement of its members, and vice versa. According to this theory, while sharp concepts lead to sharp extensions, vague concepts such as (proto)type concepts lead to vague extensions. The paper presents this understanding of Husserl in detail and explains its philosophical significance. (shrink)

Multidimensional concepts are everywhere, and they are important. Examples include moral value, welfare, scientific confirmation, democracy, and biodiversity. How, if at all, can we aggregate the underlying dimensions of a multidimensional concept F to yield verdicts about which things are Fer than which overall? Social choice theory can be used to model and investigate this aggregation problem. Here, we focus on a particularly thorny problem made salient by this social choice-theoretic framework: the underlying dimensions of a given concept (...) might be measurable on different types of scales—e.g., some ordinal and some cardinal. An underappreciated impossibility theorem due to Anna Khmelnitskaya shows that seemingly plausible constraints on aggregation across scale types are inconsistent. This impossibility threatens to render the notion of overall Fness incoherent. We attempt to defuse this threat, arguing that the impossibility depends on an overly restrictive conception of measurement and of how measurement constrains aggregation. Adopting a more flexible—and, we think, more perspicuous—conception of measurement opens an array of possibilities for aggregation across disparate scale types. (shrink)

Schutz not only adapted Max Weber’s “ideal types” but also Edmund Husserl’s prepredicative “types,” which must have been “empirical types,” in hiswork. With care, these terms can be kept distinct. The former term refers to concepts used in common-sense thinking as well as cultural science, while the latterrefers to vague material universals or eidē. This essay studies how “type” is used in these two different ways by Schutz after he had read Husserl’s Erfahrung undUrteil by 1940.

The short exposition of the triplet model of concepts and some definitions connected with it are given. In this model any concept may be depicted as having three characteristics: a base, a representing part and the linkage between them. The paper introduces the fuzzification of concepts in terms of the triplet model.

My paper sets out to demonstrate that Weber's ideal-typical theory of concept formation, subject to certain modifications, is compatible with the principles of philosophical hermeneutics and is therefore a valuable strategy of concept formation for interpretive historical inquiry. The essay begins with a brief recapitulation of the philosophical-hermeneutic approach to the human sciences. I then chart out the affinities as well as the discrepancies between philosophical hermeneutics and Weber's theory of the ideal type. Against this backdrop, I (...) proceed to offer a number of correctives and additions to Weber's theory so as to tighten its fit with philosophical hermeneutics. First, I argue that the ideal type's proper logic of concept formation is a logic of significance rather than a logic of commonality. Second, I claim that the relationship between the various empirical cases to which a given ideal type is (or can be) applied is a Wittgensteinian relationship of family resemblance. Finally, I present two main kinds of epistemological functions that ideal types can fulfill within the framework of historical inquiry: argumentative and orientational-clarificatory. (shrink)

In 1982, Wolniewicz proposed a formal ontology of situations based on the lattice of elementary situations (cf. [7, 8]). In [3], I constructed some types of formal structure Porphyrian Tree Structures (PTS), Concepts Structures (CS) and the Structures of Individuals (U) that formally represent ontologically fundamental categories: species and genera (PTS), concepts (CS) and individual beings (U) (cf. [3, 4]). From an ontological perspective, situations and concepts belong to different categories. But, unexpectedly, as I shall show, some variants of CS (...) and Wolniewicz’s lattice are similar. The main theorem states that a subset of a modified concepts structure (called CS+) based on CS fulfils the axioms of Wolniewicz’ lattice. Finally, I shall draw some philosophical conclusions and state some formal facts. (shrink)

Dicotyledons are polarly organised in several ways. In plant morphology polarity, a principle allowing comparison of different plant structures has until yet not been studied. A division** of the vegetative plant in shoot and root as polar structures leads to the distinction of four instead of three basic organs: leaf, shoot axis, root axis and root cap together with the root hairs. The flower is also polarly organised, its poles are formed by the carpels and the stamens. The foliage leaves (...) are also polarly organised which is reflected by the morphological relationship of foliage leaf, stamen and carpel. The stamen uses the hypophyll*** as base of construction and the carpel uses the epiphyll**** as base of construction. Hypophyll and epiphyll are the two poles of the foliage leaf. Root and shoot, the polar entities of the vegetative plant and stamen and carpel, the polar entities of the generative plant, are morphologically correlated. Stamen and carpel can be understood as a combination of the basic organs of vegetative and generative parts of the plant. The basic organs of the generative plant are pollen grain and embryo sack with their gametophytes. The quantitative comparison of variable proportions is supplemented by a qualitative comparison of polarities. The result is, that the organisation type of the dicotyledons can yet be understood as constituted of morphological related parts.* in german Grundorgane. (shrink)

In the literature seeking to explain concepts in terms of their point, talk of ‘the point’ of concepts remains under-theorised. I propose a typology of points which distinguishes practical, evaluative, animating, and inferential points. This allows us to resolve tensions such as that between the ambition of explanations in terms of the points of concepts to be informative and the claim that mastering concepts requires grasping their point; and it allows us to exploit connections between types of points to understand (...) why they come apart, and whether they do so for problematic ideological reasons or for benignly functional reasons. (shrink)

(1996). Different concepts and types of nationalism in the Nineteenth and Twentieth centuries. The European Legacy: Vol. 1, Fourth International Conference of the International Society for the study of European Ideas, pp. 453-458.

From the editors of Voprosy filosofii:From August 17 to 22, the Eighth International Congress on the Logic. Methodology, and Philosophy of Science will convene in Moscow. The theme of this congress is "Man, Science, Humanism."The work of the congress will be organized in the following sections: 1. Foundations of mathematical reasoning. 2. The theory of models. 3. Foundations of calculability and recursion theory. 4. The theory of sets. 5. General logic. 6. The general methodology of science. 7. Foundations of probability (...) and statistical inference. 8. Foundations of the physical sciences. 9. Foundations of the biological sciences. 10. Foundations of psychology and the cognitive sciences. 11. Foundations of the social sciences. 12. Foundations and philosophy of linguistics. 13. The history of logic, methodology, and the philosophy of science.Two symposia are planned for the congress: "Science and Ethics" and "The New Style of Scientific Thinking in Natural Science." In addition to the main sections, several round tables will be organized at the congress on the following topics: J. The methodology of solving global problems of the modern epoch: a systems approach. 2. Methodological and social problems of computerization. 3. Factors in the development of modern scientific knowledge. 4. Methodological problems in the all-around development of man.The journal Voprosy filosofii has published a number of articles related to these problems over the past year . Soviet scholars are taking an active part in the preparation and organization of this congress. The journal plans in subsequent issues to publish materials for the congress under the most varied rubrics. In this issue, with D. P. Gorskii's article "The Concept of Real and Ideal Types," we are opening a special section in which we shall publish basic materials devoted to the Eighth International Congress on the Logic, Methodology, and Philosophy of Science. (shrink)

Background For a variety of sociological reasons, different types of centredness have become important in health and social care. In trying to characterize one type of centredness, we were led to consider, at a conceptual level, the importance of the notion of centredness in general and the reasons for there being different types of centeredness. Method We searched the literature for papers on client-, family-, patient-, person- and relationship- centred care. We identified reviews or papers that defined or discussed (...) the notions at a conceptual level. The reviews and papers were analyzed as text transcripts. Results We identified 10 themes that were common to all the types of centredness. At a conceptual level we could not identify thematic differences between the types of centredness. These findings were subjected to a philosophical critique using ideas derived from Wittgenstein. Conclusion Different types of centredness are required in different contexts. The differences are justified by their practical utility. The unifying themes of centredness, however, reflect a movement in favour of increasing the social, psychological, cultural and ethical sensitivity of our human encounters. (shrink)

This paper contains a novel and coherent reading of Weberian ideal type construction, based on recent philosophical approaches to conceptual engineering. This reading makes transparent the dialectics of Weber's approach, resulting in a more nuanced interpretation of his methodological work. It will become apparent that Weber, when introducing his notion of an ideal type, did not merely summarize his views on methodology in the social sciences, but, rather, presented a two-step argument in favor of these views. The reconstruction (...) will directly bear on issues in the methodology of the social sciences. Weber not only presented a methodology that is, at some level of abstraction, strikingly similar to Carnapian explication (the canonical point of reference in the contemporary debate on conceptual engineering). He also diagnosed, in a systematic fashion, types of problems we face when dealing with ordinary and scientific concepts that play a key role in the description of social reality, and he foreshadowed what is today sometimes described as “debunking” projects. From a philosophy of science perspective, I propose Weber's view (on the reconstruction proposed here) as a serious candidate for an adequate theory of concept replacement in the social sciences. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

The general concept of a trope – that of a non-shareable character-grounder – admits of a distinction between modifier tropes and module tropes. Roughly, a module trope is self-exemplifying whereas a modifier trope is not. This distinction has wide-ranging implications. Modifier tropes are uniquely eligible to be powers and fundamental determinables, whereas module tropes are uniquely eligible to play a direct role in perception and causation. Moreover, each type of trope theory faces unique challenges concerning character- grounding. Modifier (...) trope theory faces challenges concerning the inscrutability of predication and the incompatibility with bundle theory, whereas module trope theory faces challenges concerning character overdetermination and a collapse into austere nominalism. These differences indicate that the modifier/module distinction divides the advantages of general trope theory and thus presents the trope theorist with a pivotal choice. (shrink)

The articles in this volume showcase the potential richness of frame representations. The presentation includes introductory articles on the application of frames to linguistics and philosophy of science, offering readers the tools to conduct the interdisciplinary investigation of concepts that frames allow. * Introductory articles on the application of frames to linguistics and philosophy of science * Frame analysis of changes in scientific concepts * Event frames and lexical decomposition * Properties, frame attributes and adjectives * Frames in concept (...) composition * Nominal concept types and determination "This volume deals with frame representations and their relations to concept types in linguistics and philosophy of science. It aims at reviving concepts and frames as a common model across disciplines for representing semantic and conceptual knowledge. Departing from the general assumption that frames are not just an arbitrary format of representation but essential to human cognition, a number of case studies apply frames as an analytical tool to a wide range of phenomena, from changes in scientific concepts to particular linguistic phenomena. This provides new insights into long-standing semantic issues, such as the lexical representation of verbs (as predicative frames specifying particular event descriptions or situation types and their participants), adjectives and nominals (as concept frames, which provide attributes and properties of an entity), as well as modification, complementation, possessive constructions, compounding, nominal concept types, determination, or definiteness marking." Bert Gehrke, Pompeu, Fabra University, Barcelona, Spain. (shrink)

“What is a gene?” is an important philosophical question that has been asked over and over. This paper approaches this question by understanding it as the individuation problem of genes, because it implies the problem of identifying genes and identifying a gene presupposes individuating the gene. I argue that there are at least two levels of the individuation of genes. The transgenic technique can individuate “a gene” as an individual while the technique of gene mapping in classical genetics can only (...) individuate “a gene” as a type or a kind. The two levels of individuation involve different techniques, different objects that are individuated, and different references of the term “gene”. Based on the two levels of individuation, I discuss important philosophical implications including the relationship between individuality and individuation and that between individuals and kinds in experimental contexts. I also suggest a new gene conception, calling it “the transgenic conception of the gene.”. (shrink)

An appropriate characterization of property types is an important topic for measurement science. This paper proposes to derive them from evaluation types, and analyzes the consequences of this position for the VIM3.

This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the (...) nature of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories. (shrink)

ABSTRACTType B, or a posteriori, physicalism is the view that phenomenal-physical identity statements can be necessarily true, even though they cannot be known a priori—and that the key to understanding their status is to understand the special features of our phenomenal concepts, those concepts of our experiential states acquired through introspection. This view was once regarded as a promising response to anti-physicalist arguments that maintain that an epistemic gap between phenomenal and physical concepts entails that phenomenal and physical properties are (...) distinct. More recently, however, many physicalists have lost confidence in the view, and have proposed less promising defences of physicalism—or have become outright sceptical about its prospects. I argue here that these physicalists have underestimated the resources of Type B physicalism and are thereby retreating too quickly—or fighting battles that have already been won. (shrink)

숭고의 미학사에서 헤겔은 핵심 인물로 평가되지 않은 것은 물론, 현대로 올수록 그 반 대편 인물로 더 많이 언급된다. 그러나 헤겔 미학에서 숭고 개념은 의미와 표현의 불일치를 특징으로 하는 상징적 예술 형식의 주요 범주이고, 근년 들어 부정성이나 무 개념과 함께 재조명되고 있다. 숭고는 고대 그리스의 ‘탈아’나 ‘망아’ 등에서 기원하여 로고스적 합리성이나 고전주의의 한계를 보완하는 균형추 역할을 해왔다. 롱기누스의 수사학적 숭고를 거쳐 버크에 이르면, 숭고는 무질서하고 무형식적인 대상에서 촉발되는, 고통과 쾌락이 결합된 강렬한 감정으로 체계화되고, 칸트의 수학적․역학적 숭고로 이어진다. 칸트의 숭고는 ‘현시할 수 (...) 없는 것의 현시’로서, 오성의 범주를 벗어나는 대상을 상상력이 이성 개념과 연관시켜 일어나는 무규정적 이성 개념의 현시이다. 헤겔 미학에서 숭고는 상징적 예술 형식의 주요 범주를 이룬다. 헤겔은 예술을 이념의 구현으로서 가상으로 규정하고, 예술 형식 또한 이념(내용)과 형태(형식)의 통일(구현)인 가상의 정도에 따라 구분한다. 상징적 예술 형식은 내용과 형식이 일치를 이루지 못하는, ‘불완전’하고 ‘불충분’한 가상으로서 예술, 예컨대 이집트나 동방의 종교적 예술과 문학, 알레고리나 비유적 표현들이 전형을 이루며, 장르로는 재료적 특성이 정신성의 구현에 한계로 작용하는 건축이 대표적이다. 헤겔의 숭고개념은 상징적 예술 형식이 갖는 내용과 형식, 구현 이념과 질료적 형태의 불일치를 의미하므로, 예술 작품의 의미 내용과 표현 사이의 불일치를 주로 표현하는 현대예술 일반과 연관된다. 리오타르는 칸트의 숭고에 주목하여 묘사할 수 없는 것, 즉 인식 능력 밖에 있는 것을 묘사하고자 하는 모순적 시도의 가능성을 숭고에서 찾는 반면, 지젝은 헤겔의 부정성과 무 개념을 소환하여, 물자체가 실은 근본적인 부정성이라는 것, 즉 표상 너머에 존재하는 것은 물자체가 아니라 순수 무이므로, 주관과 대상의 불일치를 통한 물자체의 경험이라는 칸트적 숭고는 ‘무의 구현물’에 다름아닌 것이라 진단함으로써, 헤겔의 숭고를 재해석할 통로를 만든다. (shrink)

We formulate and explore two basic axiomatic systems of type-free subjective probability. One of them explicates a notion of finitely additive probability. The other explicates a concept of infinitely additive probability. It is argued that the first of these systems is a suitable background theory for formally investigating controversial principles about type-free subjective probability.

It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosophical logic (extensional and intensional systems, (...) indexical logics, non-classical logics, philosophy of logic, etc.) as well as studies in which these systems are applied to specific issues in philosophy, in the formal semantics of natural languages, the foundations of linguistic theory, in computational linguistics, and in theoretical computer science. Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches used in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a considerable extension of the concepts and techniques of logic. The book first gives an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. By virtue of the type-theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved. A categorial grammar is presented togenerate formally a fragment of English, together with an example of a computer implementation. (shrink)

In his preface Mr Wilson writes 'I feel that a great many adults … would do better to spend less time in simply accepting the concepts of others uncritically, and more time in learning how to analyse concepts in general'. Mr Wilson starts by describing the techniques of conceptual analysis. He then gives examples of them in action by composing answers to specific questions and by criticism of quoted passages of argument. Chapter 3 sums up the importance of this kind (...) of mental activity. Chapter 4 presents selections for the reader to analyse, followed by questions of university entrance/scholarship type. This is a book to be worked through, in a sense a text-book. (shrink)

This essay is an attempt to sketch the evolution of type theory from its beginnings early in the last century to the present day. Central to the development of the type concept has been its close relationship with set theory to begin with and later its even more intimate relationship with category theory. Since it is effectively impossible to describe these relationships (especially in regard to the latter) with any pretensions to completeness within the space of a (...) comparatively short article, I have elected to offer detailed technical presentations of just a few important instances. (shrink)

The paper is devoted to the role (function) of reflection in cognition and its modes (types) as part of the cognitive ability. Along with logical and transcendental reflection, Kant's transcendental shift (turn) is discussed, as well as the role of reflection in Kant's schematism (the ability to judge) and the formation of schemas. Particular attention is paid to another mode of reflection – reflexive switching, which underlies not only the formation of pure rational concepts and schemes (Kant's concept of (...) epigenesis; metaphysical deduction of categories), but the epigenesis of a priori forms of sensibility of space and (especially) time, connected with the Kantian synthesis of apprehension in the intuition. The article proposes an original conception of time, the so-called onion model of time, which is based on a reflexive (iterative) apperceptive ladder. (shrink)

Are works of music types of performance or are they continuants? Types are unchanging entities that could not have been otherwise; continuants can undergo change through time and could have been different. Picking up on this distinction, Guy Rohrbaugh has recently argued that musical works are continuants rather than performance-types. This paper replies to his arguments and, in the course of so doing, elaborates and defends the conception of musical works as types of performance. I end the article by arguing (...) that the conception of musical works as continuants is under-motivated and, ultimately, obscure. (shrink)

We describe an infinitary logic for metric structures which is analogous to Lω1,ω. We show that this logic is capable of expressing several concepts from analysis that cannot be expressed in finitary continuous logic. Using topological methods, we prove an omitting types theorem for countable fragments of our infinitary logic. We use omitting types to prove a two-cardinal theorem, which yields a strengthening of a result of Ben Yaacov and Iovino concerning separable quotients of Banach spaces.