One of the difficulties standing in the way of a straightforward understanding of art is caused by the confusion that arises at a very basic level between the purposes and functions of various types of crafted material. In fact, there are only three major types – covering all eventualities – and being able to differentiate between them very much helps to pinpoint exactly what the special nature of ‘art’ is.

Mysticism is one of the most vague concepts in religious studies. In what follows I propose to boil down mysticism to spirituality and provide an analysis of lectio divina. I will also show how we can understand spirituality and how people can produce ”spiritual knowledge’.

After coining the term “philopsychy” to describe a “soul-loving” approach to philosophical practice, especially when it welcomes a creative synthesis of philosophy and psychology, this article identifies a system of geometrical figures (or “maps”) that can be used to stimulate reflection on various types of perspectival differences. The maps are part of the author’s previously established mapping methodology, known as the Geometry of Logic. As an illustration of how philosophy can influence the development of psychology, Immanuel Kant’s table of twelve (...) categories and Carl Jung’s theory of psychological types are shown to share a common logical structure. Just as Kant proposes four basic categories, each expressed in terms of three subordinate categories, Jung proposes four basic personality functions, each having three possible manifestations. The concluding section presents four scenarios illustrating how such maps can be used in philosophical counseling sessions to stimulate philopsychic insight. (shrink)

An infuential twenty-first century philosophical project posits a central role for knowledge: knowledge is more fundamental than epistemic states like belief and justification. So-called “knowledge first” theorists find support for this thought in identifying central theoretical roles for knowledge. I argue that a similar methodology supports a privileged role for more specific category of basic knowledge. Some of the roles that knowledge first theorists have posited for knowledge generally are better suited for basic knowledge.

The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and functions. The analysis extends directly to other concrete categories (groups, rings, vector spaces, etc.) where the objects are sets with a certain type of structure and the morphisms are functions that preserve that structure. Then the elements & distinctions-based definitions (...) can be abstracted in purely arrow-theoretic way for abstract category theory. In short, the language of elements & distinctions is the conceptual language in which the category of sets is written, and abstract category theory gives the abstract arrows version of those definitions. (shrink)

Basic Emotion theory has had a tremendous influence on the affective sciences, including music psychology, where most researchers have assumed that music expressivity is constrained to a limited set of basic emotions. Several scholars suggested that these constrains to musical expressivity are explained by the existence of a shared acoustic code to the expression of emotions in music and speech prosody. In this article we advocate for a shift from this focus on basic emotions to a constructionist (...) account. This approach proposes that the phenomenon of perception of emotions in music arises from the interaction of music’s ability to express core affects and the influence of top-down and contextual information in the listener’s mind. We start by reviewing the problems with the concept of Basic Emotions, and the inconsistent evidence that supports it. We also demonstrate how decades of developmental and cross-cultural research on music and emotional speech have failed to produce convincing findings to conclude that music expressivity is built upon a set of biologically pre-determined basic emotions. We then examine the cue-emotion consistencies between music and speech, and show how they support a parsimonious explanation, where musical expressivity is grounded on two dimensions of core affect (arousal and valence). Next, we explain how the fact that listeners reliably identify basic emotions in music does not arise from the existence of categorical boundaries in the stimuli, but from processes that facilitate categorical perception, such as using stereotyped stimuli and close-ended response formats, psychological processes of construction of mental prototypes, and contextual information. Finally, we outline our proposal of a constructionist account of perception of emotions in music, and spell out the ways in which this approach is able to make solve past conflicting findings. We conclude by providing explicit pointers about the methodological choices that will be vital to move beyond the popular Basic Emotion paradigm and start untangling the emergence of emotional experiences with music in the actual contexts in which they occur. -/- . (shrink)

Perceptual learning is characterized by long-term changes in perception as a result of practice or experience. In this paper, I argue that through perceptual learning we can become newly sensitive to basic perceptual features. First, I provide a novel account of basic perceptual features. Then, I argue that evidence from experience-based plasticity suggests that basic perceptual features can be learned. Lastly, I discuss the common scientific and philosophical view that perceptual learning comes in at least four varieties: (...) differentiation, unitization, attentional weighting and stimulus imprinting (Goldstone 1998, Connolly 2019). Becoming newly sensitive to basic perceptual features, I argue, does not fit into any of these categories. This paper’s contribution to the literature is twofold. First, I present a novel view of basic perceptual features which can be used in subsequent theorizing. Second, I show that learning basic perceptual features, since it does not fit into this standardized taxonomy, constitutes an underappreciated form of perceptual learning. This result has important implications for recent discussions in the philosophy of perception and epistemology. (shrink)

The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when each of the categories (...) identified and defined by a top-level ontology is integrated with the others in a coherent fashion. Basic Formal Ontology (BFO) has from the beginning included function as one of its categories, exploiting a version of the etiological account of function that is framed at a level of generality sufficient to accommodate both biological and artifactual functions. This account has been subjected to a series of criticisms and refinements. We here articulate BFO’s account of function, provide some reasons for favoring it over competing views, and defend it against objections. (shrink)

Assuming a radical stance on embodied cognition, according to which the information ac- quired through basic cognitive processes is not contentful (Hutto and Myin, 2013), and as- suming that perception is a source of rationally grounded knowledge (Pritchard, 2012), a pluralistic account of perceptual knowledge is developed. The paper explains: (i) how the varieties of perceptual knowledge fall under the same broader category; (ii) how they are subject to the same kind of normative constraints; (iii) why there could not (...) be a conflict between the different varieties of perceptual knowledge; and (iv) why the traditional episte- mological inquiry is inclined to overestimate the role of propositional perceptual knowledge. (shrink)

Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.

In his recent book, The Universe As We Find It, John Heil offers an updated account of his two-category ontology. One of his major goals is to avoid including relations in his basic ontology. While there can still be true claims positing relations, such as those of the form “x is taller than y” and “x causes y,” they will be true in virtue of substances and their monadic, non-relational properties. That is, Heil’s two-category ontology is deployed to provide (...) non-relational truthmakers for relational truths. This paper challenges the success of Heil’s project with respect to causation. The arguments here are not entirely negative, however. An option is made available to Heil’s ontology so that it might, at least to some extent, regain non-relational causings. (shrink)

Although a considerable degree of precision has been introduced both into the formulation and the discussion of ontological theories by the use of formal methods there is still a remarkable indefiniteness about foundational issues. In particular it is not clear what an ontological category is and why we regard something as an ontological category. This is amazing given that the notion of ontological category is in fact the most basic of the whole of ontology: it is what this discipline (...) is about. (shrink)

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data (...) structures, pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (shrink)

Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, roles, (...) and dispositions, to help provide the potential for more detailed classification, and to shed light on BFO’s general make-up and use. (shrink)

According to Lowe’s Four-Category Ontology, the general nature of the entities belonging to the four fundamental categories is determined by the basic formal ontological relations (instantiation and characterization) that they bear to other entities. I argue that, in closer analysis, instead of one formal relation of characterization, this category system introduces two, one connecting particulars and another universals. With regard to the characterization relation connecting particulars, it remains an open issue whether it would need further analysis. By contrast, (...) the status of instantiation as an internal relation is comparatively clear. Nevertheless, because of holding by virtue of the essences of particulars, the holding of instantiation between universals and particulars rules out the possibility of kind change and entails that particulars are essentially rigidly dependent on universals. Finally, Lowe’s analysis of necessary exemplification gives us some reasons to suspect that some property universals need not have any instances in order to exist. (shrink)

Many students consider mathematics as the most dreaded subject in their curriculum, so much so that the term “math phobia” or “math anxiety” is practically a part of clinical psychological literature. This symptom is widespread and students suffer mental disturbances when facing mathematical activity because understanding mathematics is a great task for them. This paper described the students’ cognitive skills performance in Basic Mathematics based on the following logical operations: Classification, Seriation, Logical Multiplication, Compensation, Ratio and Proportional Thinking, Probability (...) Thinking and Correlation Thinking as it serves a critical element of teaching and learning, that is determining the current position of the learners’ mathematical capacity. Its implications for mathematics education were also revealed. A descriptive quantitative design was used in this study. The study included 1011 first-year college students from six state universities in the Philippines who were enrolled in the Bachelor of Science of Secondary Education Program during the first semester of the Academic Year 2019-2020. This study made use of the teacher-made test called the Test on Logical Operations. Findings revealed that the cognitive skills achievement of the first year BSE students from different state universities in the Philippines falls under the category of late concrete operational stage. As a result, students are unable to perform the logical operational skills expected of their age. At their age level, they are expected to be under the formal operational stage based on Piaget’s stages of cognitive development. These findings revealed a weak mathematical education foundation among students which requires immediate attention. This reality should be recognized by educational planners and implementers when making curricular and other instructional decisions. (shrink)

In Lowe’s Four-Category Ontology, instantiation is a basic formal ontological relation between particulars (objects, modes) and their kinds (kinds, attributes). Therefore, instantiation must be considered as a metaphysically necessary relation, which also rules out the metaphysical possibility of kind change. Nevertheless, according to Lowe, objects obtain their identity conditions in a more general level than specific natural kinds, which allows for kind change. There also seems to be actual examples of kind change. The advocate of Four-Category Ontology is obliged (...) to resolve the tension between these mutually incompatible claims. In this article, we argue that the only viable option for the advocate of Four-Category Ontology is to bite the bullet and stick to the necessity of each of the most specific natural kind to the object instantiating it. As a major drawback, the four-category ontologist does not have any credible means to allow for kind change or determination of the identity conditions in a more general level. (shrink)

Aristotle, in Chapter 7 of his Categories, classifies habits and dispositions, as well as knowledge, among relatives. However, in Chapter 8 of the Categories, he affirms that habits, including knowledge, and dispositions, including unstable knowledge, are qualities. Thus, habits and dispositions in general, and knowledge in particular, seem to be subject to a ‘dual categorization’. At the end of Chapter 8 of the treatise, the issue of the dual categorization is explicitly raised. How can one and the same (...) thing be a quality and a relative? Aristotle gives two distinct solutions to this problem. Both have been criticized by some modern commentators : these solutions would amount to a rejection of the basic principles of the categorial system and, as such, to a sort of philosophical suicide. However, Aristotle’s early commentators, notably the Greek Neoplatonists and Boethius, made attempts to render both solutions plausible and compatible with the rest of the doctrine. Their attempts are not only of exegetical interest, they also contain some significant philosophical analyses concerning the categories. In what follows, I will present the abovementioned problem of dual categorization in Aristotle and the two solutions offered to it in Categories, 8, 11a20-38. I will then turn to the early reception of this text, and focus on the way the Greek Neoplatonists and Boethius tried to make Aristotle’s solutions more plausible. Throughout, I will try to establish in what sense habits and dispositions in general, and knowledge in particular, are relative. I will conclude with some remarks on the later reception of Categories, 8, 11a20-38 and on the problem of the ontological status of mental acts and states. (shrink)

This paper outlines an Husserlian, phenomenological account of the first stages of the acquisition of empirical knowledge in light of some aspects of Wilfrid Sellars’ critique of the myth of the given. The account offered accords with Sellars’ in the view that epistemic status is attributed to empirical episodes holistically and within a broader normative context, but disagrees that such holism and normativity are accomplished only within the linguistic and conceptual confines of the space of reasons, and rejects the limitation (...) of the relevant normativity to the cognitive domain. Attention to the phenomenological notion of motivations in our mapping of the structure and acquisition of empirical knowledge reveals a form of weak categoriality given in experience, one outside exclusive mediation by language and concepts but also not merely causal. Section 1 outlines some basic aspects of Sellars’ account of empirical knowledge in Empiricism and the Philosophy of Mind, including a regress objection that arises due to his claim that empirical knowledge presupposes knowledge of general facts about perception. Section 2 examines Sellars’ later revisiting of the objection, via his critique of Roderick Firth, in “The Lever of Archimedes,” focusing on his analysis of the “Myth of the Categorial Given” and his use of the notion of ur-concepts. Section 3 looks at Sellars’ psychological nominalism and his rejection of the explanatory primacy of experience in light of the strict dichotomy between the space of causes and the space of reasons, and shows how Firth’s account aligns with phenomenology in its advocating for an irreducible and non-inferential role for experience. It also raises an important objection to Sellars’ account concerning the categorial givenness of causality. Section 4 turns to Husserl, arguing that his conception of motivation in the Logical Investigations and Ideas II reveals a third explanatory or logical space “between” that of causes and that of reasons. Section 5 further develops this account with regard to the explanatory role of lived experience. Section 6 revisits the regress objection to Sellars from the phenomenological standpoint developed earlier in the paper, and argues that an Husserlian account of empirical knowledge offers a viable alternative to Sellars’ that overcomes the regress objection and gives proper explanatory weight to the evidence of lived experience vis-à-vis scientific presuppositions about causality. (shrink)

Among recent developments in the anthropological sciences, hardly any have found so much attention and led to so much controversy as have the views advanced by the late Benjamin Whorf.The hypothesis offered by Whorf is,“that the commonly held belief that the cognitive processes of all human beings possess a common logical structure which operates prior to and independently of communication through language, is erroneous. It is Whorf's view that the linguistic patterns themselves determine what the individual perceives in this world (...) and how he thinks about it. Since these patterns vary widely, the modes of thinking and perceiving in groups utilizing different linguistic systems will result in basically different world views”.“We are thus introduced to a new principle of relativity which holds that all observers are not led by the same physical evidence to the same picture of the universe, unless their linguistic backgrounds are similar. … We cut up and organize the spread and flow of events as we do largely because, through our mother tongue, we are parties to an agreement to do so, not because nature itself is segmented in exactly that way for all to see”. (shrink)

In spite of the intuitiveness of epistemic closure, there has been a stubborn stalemate regarding whether it is true, largely because some of the “Moorean” things we seem to know easily seem clearly to entail “heavyweight” philosophical things that we apparently cannot know easily—or perhaps even at all. In this paper, I will show that two widely accepted facts about what we do and don’t know—facts with which any minimally acceptable understanding of knowledge must comport—are jointly inconsistent with the truth (...) of CLR. The proof works by supposing the truth of “Categorialism,” a thesis about the relation between basic categories and common nouns and predicates, which is itself a heavyweight claim that cannot be easily known to be either true or false. (shrink)

This philosophical anthropology tries to explore the basic categories of man’s being in the worlds using a special quantum meta-ontology that is introduced in the book. Quantum understanding of space and time, consciousness, or empirical/nonempirical reality elicits new questions relating to philosophical concerns such as subjectivity, free will, mind, perception, experience, dialectic, or agency. The authors have developed an inspiring theoretical framework transcending the boundaries of particular disciplines, e.g. quantum philosophy, metaphysics of consciousness, philosophy of mind, phenomenology of (...) space and time, and ontological relativity. (shrink)

This article argues that the contemporary acceptability of abortion is not solely due to the Liberal imperative to exercise individual choice. Rather, abortion's acceptability needs to be explained with reference to the techniques of consumer culture. This article will begin by explaining how practices in general predispose one to gravitate towards one form of practices rather than another. It will then look at how consumer practices generate a biopolitics of economic efficiency and corporeal commodification which culminates in a politics of (...) visibility. Under such conditions, even basic categories like mere existence is dependent on its ability to be displayed for public view. This article will conclude by reflecting on the necessity of forging the Church not as a subsection of a public framed by consumerism, but as an alternative public in its own right. (shrink)

In the transcendental deduction, the central argument of the Critique of Pure Reason, Kant seeks to secure the objective validity of our basic categories of thought. He distinguishes objective and subjective sides of this argument. The latter side, the subjective deduction, is normally understood as an investigation of our cognitive faculties. It is identified with Kant’s account of a threefold synthesis involved in our cognition of objects of experience, and it is said to precede and ground Kant’s proof (...) of the validity of the categories in the objective deduction. I challenge this standard reading of the subjective deduction, arguing, first, that there is little textual evidence for it, and, second, that it encourages a problematic conception of how the deduction works. In its place, I present a new reading of the subjective deduction. Rather than being a broad investigation of our cognitive faculties, it should be seen as addressing a specific worry that arises in the course of the objective deduction. The latter establishes the need for a necessary connection between our capacities for thinking and being given objects, but Kant acknowledges that his readers might struggle to comprehend how these seemingly independent capacities are coordinated. Even worse, they might well believe that in asserting this necessary connection, Kant’s position amounts to an implausible subjective idealism. The subjective deduction ismeant to allay these concerns by showing that they rest on a misunderstanding of the relation between these faculties. This new reading of the subjective deduction offers a better fit with Kant’s text. It also has broader implications, for it reveals the more philosophically plausible account of our relation to the world as thinkers that Kant is defending – an account that is largely obscured by the standard reading of the subjective deduction. (shrink)

This paper explores ludonarrative dissonance as it occurs in sport, primarily as the conflict experienced by participants between dominant narratives and self-generated interpretations of embodied experience. Taking self-narrative as a social rather than isolated production, the interaction with three basic categories of dominant narrative is explored: transformative, representing a spectrum from revelatory to distorting, bullying and colonising. These forms of dominant narrative prescribe interpretations of the player’s experience of play and of self that displace their own, with the (...) end result of dissonance and self-alienation. (shrink)

Magicians use misdirection to prevent you from realizing the methods used to create a magical effect, thereby allowing you to experience an apparently impossible event. Magicians have acquired much knowledge about misdirection, and have suggested several taxonomies of misdirection. These describe many of the fundamental principles in misdirection, focusing on how misdirection is achieved by magicians. In this article we review the strengths and weaknesses of past taxonomies, and argue that a more natural way of making sense of misdirection is (...) to focus on the perceptual and cognitive mechanisms involved. Our psychologically-based taxonomy has three basic categories, corresponding to the types of psychological mechanisms affected: perception, memory, and reasoning. Each of these categories is then divided into subcategories based on the mechanisms that control these effects. This new taxonomy can help organize magicians' knowledge of misdirection in a meaningful way, and facilitate the dialog between magicians and scientists. (shrink)

The current paper investigates two productive morphological processes, namely compounds and portmanteau words (or blends). While compounds, a productive, regular and predicable morphological process, have received much attention in the literature, little attention was paid to portmanteau words, a creative, irregular and unpredictable word formation process. The present paper aims to find the commonalities and differences between these morphological devices, using Rosch et al.’s (1975; 1976) theory of prototypes and basic-level categories to achieve this goal. This theory will (...) also be employed to discuss the literature on the word formation mechanisms under investigation and propose a new categorization approach to these neologisms. The analysis suggests that compounds and blends compare and contrast and that the distinctions between them are blurry. The analysis confirms that a prototypical approach is well suited to compounds and blends in English. This has implications for future research into English word-formation processes in general and compounds and blends precisely. (shrink)

Acknowledging that Nature is one unified whole, we expect that physics and biology are intimately related. Keeping in mind that physics became an exact science with which we are already familiar with, while, apparently, we do not have at present a similar knowledge about biology, we consider how can we make useful the clarity of physics to shed light to biology. The next question will be what are the most basic categories of physics and biology. If we do (...) not want to cut laws of Nature into different parts, we obtain a constraint, and the remaining part of physics will be the input data to the equations of physics. In these terms, our question will be: if we keep biological laws intact, as indivisible units, what remains in case of biology? This approach, just because it is more fundamental, has significant consequences for philosophy, and obviously offers a new conceptual framework considering the relation between the ontopoietic principle of Anna-Teresa Tymieniecka and the biological principle. The quintessence of science, namely, the first essentially complete scientific world picture is presented in a detailed form. (shrink)

This article addresses the definition of cinema by focusing on the related ontological question of which basic category circumscribes cinematic works. According to Noël Carroll, the definition of cinema consists both of ontological conditions that treat the moving image as a type and of other conditions that treat it as a display. But following Carroll’s ontological conditions, the digital encoding of a moving image enigmatically ends up being both a type and a token. Solving such a puzzle by clarifying (...) the relation between the cinematic type and the digital type leads us to define the moving image in general as a type that specifies a spatiotemporal distribution of pixels. (shrink)

The thesis aims to address the issue of 'philosophical topology' in Martin Heidegger's work and to identify its possible impact on contemporary architectural theory. Topology construes space and spatiality as a basic category for the constitution of meaning, in contrast to the traditionally prevalent category of Reason. This thesis argues that what is called 'reason' in Heidegger is not an a priori function of cognition, but is derived by the fundamental characteristic of human existence, which is its ability to (...) create. But the act of creation in Heidegger, as will be demonstrated, is always a creation of what he calls “place" (or in German: “Ort”), thereby making topology equivalent to ontology. The most basic space-creating practice is architecture, which beget sense and creates meanings, and in doing so is directly related to the 'question of being'. It is therefore crucial to elaborate on the relationship between Heideggerian topology and architectural theory. (shrink)

Neuroscientific discourse on consciousness often resorts to "collection of elements", notwithstanding the Gestalt demonstrations against representing conscious experience as a collection of sensory elements. Here I show that defining conscious experience as an object of the category of conscious experiences, instead of as cohesion-less set of structure-less elements, provides the conceptual repertoire—basic shapes, figures, and incidence relations—needed to reason about the essence of conscious experiences and the essence-preserving transformations of conscious experiences. Viewed in light of the category of conscious (...) experiences, designers of user experience—in designing pre-conceptualized user experiences—are well situated to contribute to the development of the science of consciousness. (shrink)

Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the (...) adjointness between abstraction (of theories) and interpretation (to obtain models), mathematically accounts for knowing-within-mathematics. Here we show that mathematical knowing recapitulates--in an elementary form--ordinary cognition. The process of going from particulars (physical stimuli) to their concrete models (conscious percepts) via abstract theories (mental concepts) and measured properties (neural coding) is common to both mathematical knowing and ordinary cognition. Our investigation of the similarity between knowing-within-mathematics and knowing-in-general leads us to make a case for the development of the basic science of cognition in terms of the functorial semantics of mathematical knowing. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

By logical foundations of language syntax ontology we understand here the construction of formalized linguistic theories based on widely conceived mathematical logic and dependent on two trends in language ontology. The formalization includes exclusively the syntactic aspect of logical analysis of language characterized categorially according to Ajdukiewicz's approach [1935, 1960]. Any categorial language L is characterized formally on two levels: on one of them it concerns the language of expression-tokens, on the other one - that of expression-types. Accepting the view (...) that expression-concretes, that is expression-tokens - thus, physical objects are fundamental language layer, whereas the secondary layer for L are expression-abstracts, that is expression-types - thus, ideal objects, it is the nominalistic, concretistic philosophical view on the ontological nature of language entities that is adhered to. Supporting the view that expression-types are the basic language layer, while expression-concretes are the secondary one, we take the opposite standpoint - platonizing one. We prove that the two dual approaches towards the two-level syntax theory of language are logically eqivalent. In the scope of language syntax, both conceptions deriving from two different existential assumption are equivalent. This statement is philosophical significance, since it proves that in syntactical studies on language the assumption of the existence of abstract language beings (interpreted as classes equiform tokens) can be neglected. The idea was signalized by author in ealier paper "On the type-token relationships'' [1986) and than, in a slighly diffrent form in English "On the eliminatibility of ideal linguistic entities, Studia Logica 48,no 4 (1989), pp. 587-615. (shrink)

While the importance of social emotions is widely recognized, the question whether all emotions are social and what this would mean for the category ‘social emotions’ is yet to be addressed systematically. Emotion theorists and researchers so far have proposed different candidates for social emotions. These include non-basic emotions, self-conscious emotions, higher-cognitive emotions, and defining social emotions via their social functions. This paper looks at these different candidates for social emotions and briefly discusses their issues. Discussing the candidates and (...) their issues motivates embracing a pluralistic approach to social emotions. In a further step, the paper will look at approaches exploring how social factors impact emotions in general. This serves as a basis for explaining what it would mean to propose that all emotions are social. After reviewing different candidates for social emotions and looking at the impact of social factors on emotions in general, the paper will propose that a pluralistic understanding of social emotions is needed to embrace the different ways in which social emotions may function. Embracing a pluralistic understanding of social emotions does not mean, however, that all emotions are social emotions. (shrink)

What kind of mental phenomenon is romantic love? Many philosophers, psychologists, and ordinary folk treat it as an emotion. This chapter argues the category of emotion is inadequate to account for romantic love. It examines major emotion theories in philosophy and psychology and shows that they fail to illustrate that romantic love is an emotion. It considers the categories of basic emotions and emotion complexes, and demonstrates they too come short in accounting for romantic love. It assesses the (...) roles of culture and evolution in shaping the romantic love phenomenon and evaluates the ways in which the norms of rationality that are applied to standard emotions fail to apply to love. It considers the category of sentiments and argue that despite coming close, it does not adequately capture the nature of romantic love. Finally, the chapter makes a case for love being best characterized as a syndrome. (shrink)

The paper is Part III of the large research, dedicated to both the revision of the system of basic logical categories and the generalization of modern predicate logic to functional logic. We determinate and contrapose modern Fregean logistics and proposed by the author ultra-Fregean logistics, next we describe values and arguments of functions, arguments of relations, relations themselves, sets (classes), and subsets (subclasses) as derivative categories (concepts) of ultrafregean logistics. Logistics is a part of metalogic, independent of (...) semantics. Fregean logictics is a metalogical theory, based on the quadruple <particular (individual), predicate, equality, sequence>; it generates predicate logic. Ultrafregean logictics is based on the quadruple <particular, function, representation, sequence>, where the notion of a function is a generalization of the notion of a predicate and the notion of representation is a generalization of the notion of equality; this logictics generates functional logic. For the completely correct denotation of the functional values, we need the Churchian symbolics with parenthesis. Predicates are usually identified with relations. A relation is the derived and even definable category of ultra-Fregean logictics. Namely, relations are representations by functions (of one of their arguments). We show that Frege could really establish this definition and the notion (category) of representation but, unfortunately, rejected this course of thought. Next, we show that every n-ary relation can be resolved for some of its arguments via some (n-1)-ary function. A set, or class, is a derived and not definable category of ultra-Fregean logistics. The universal way to introduce the sets is Frege’s abstraction principle. We formulate this principle for functional logic and show that the notion of a set is quantified, so there is the dual existential notion of a nonempty subset, involved by the same abstraction principle. (shrink)

The category of sympathy marks a number of basic divisions in early modern approaches to action explanations, whether for human agency or for change in the wider natural world. Some authors were critical of using sympathy to explain change. They call such principles “unintelligible” or assume they involve “mysterious” action at a distance. Others, including Margaret Cavendish, Anne Conway, and Gottfried Wilhelm Leibniz, appeal to sympathy to capture natural phenomena, or to supply a backbone to their metaphysics. Here I (...) discuss how concerns about sympathetic actions form at least a partial background for differing seventeenth-century conceptions of what it is to explain action. I argue that critics of sympathy generally insist on an “atomistic” approach to action explanation, which makes primitively relational phenomena come out as problematic. Proponents of sympathy, by contrast, allow for a more holistic approach to action explanation, which allows for such basic connections. Hence, divergent attitudes toward sympathetic action in part explain differences in approaches to explanation. I conclude by showing how some of these core concerns fade into the background when in the eighteenth-century sympathy gets psychologised and individualised. (shrink)

There is a fundamental subsets–partitions duality that runs through the exact sciences. In more concrete terms, it is the duality between elements of a subset and the distinctions of a partition. In more abstract terms, it is the reverse-the-arrows of category theory that provides a major architectonic of mathematics. The paper first develops the duality between the Boolean logic of subsets and the logic of partitions. Then, probability theory and information theory (as based on logical entropy) are shown to start (...) with the quantitative versions of subsets and partitions. Some basic universal mapping properties in the category of Sets are developed that precede the abstract duality of category theory. But by far the main application is to the clarification and interpretation of quantum mechanics. Since classical mechanics illustrates the Boolean worldview of full distinctness, it is natural that quantum mechanics would be based on the indefiniteness of its characteristic superposition states, which is modeled at the set level by partitions (or equivalence relations). This approach to interpreting quantum mechanics is not a jury-rigged or ad hoc attempt at the interpretation of quantum mechanics but is a natural application of the fundamental duality running throughout the exact sciences. (shrink)

The aim of this essay is to characterize the issue whether tense is real. Roughly, this is the issue whether, given any tensed representation, its tense corresponds in some suitably direct way to some feature of reality. The task is to make this less rough. Eight characterizations of the issue are considered and rejected, before one is endorsed. On this characterization, the unreality of tense is equivalent to the unity of temporal reality. The issue whether tense is real, so characterized, (...) is then related to Kant’s deduction of the categories in his Critique of Pure Reason. It is argued that Kant’s deduction does not provide the argument for the unreality of tense that it may appear to. The conclusion drawn at the end of the essay is that the unreality of tense cannot be argued for—not because tense is real, but because, even if it is unreal, its unreality is basic. (shrink)

I wrote an essay about why I do philosophy. It would probably not be publishable anywhere, but I think it might be of some interest to others as we reflect on why we do what we do. For those who know me from online I hope in this to provide illustrations of the categories "Sexy Murder Poet" and "Basically Pleasant Bureaucrat", since it so happens that the two tendencies within me can be sorted by these. In any case, I (...) hope the essay helps people think about what they hope to get from philosophy, and whether the tools they adopt are adequate to the tasks they thus set themselves. (shrink)

In this paper I offer an interpretation of Kant’s theory of perceptual error based on his remarks in the Anthropology. Both hallucination and illusion, I argue, are for Kant species of experience and therefore require the standard co-operation of sensibility and understanding. I develop my account in a conceptualist framework according to which the two canonical classes of non-veridical experience involve error in the basic sense that how they represent the world as being is not how the world is. (...) In hallucination this is due to the misapplication of categories and in illusion to the misapplication of empirical concepts. Yet there is also room in this framework for a distinction in terms of cognitive functionality between the level of experience, which is merely judgementally structured, and that of judgement proper, which involves the free action of a conscious agent. This distinction enables Kant to allow for the otherwise problematic phenomenon of self-aware non-veridicality. (shrink)

Narrativity is basically linked to the dynamics of the events and actions which are told and it depends on the pragmatic context, mainly on the narrator and his audience, i.e. on the discursive setting. These dynamics ask for an adequate theoretical frame, e.g. in the format of dynamical system theory or vector analysis. Furthermore, narrativity can be manifested in different modalities. We shall present some specimens of analysis in the linguistic modality (spontaneous oral tales, folktales), in the visual modality (painting (...) by Leonardo da Vinci, action movie in the series of Bond films), and in the musical modality (Blues music). The static analyses in the tradition of structuralism are replaced by morphodynamic schemes, by gesture and glance vectors, paths of pursuit and scenarios of conflict in action movies and eventually by harmonic sequences in the Blues. In this dynamic perspective, the notion of narrativity gains a different profile and it is freed from the preference for linguistic or logical categories. (shrink)

This is an introductory handbook for some of the main themes around the notion of predication in Aristotle. It does not aim at being exhaustive, but only sketches some important lines about the subject; it contains an introductory essay, besides the translation (into Portuguese) and commentary of basic texts (such as Posterior Analytics I-22, Categories 1-5, Interpretation 1-6 etc.).

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

Even if one sees the law as “a self-contained system of legal reasoning” from which we deduce “neutral,” non-political conclusions from “general principles and analogies among cases and doctrines” (including formalist claims that judges simply call “balls and strikes” like umpires in a baseball game), one should still consider certain characteristics of the party making such deductions or calling such “balls and strikes.” [Relevant citations to quoted language are in the Article.] If such decision maker has questionable motivations, lacks proper (...) perspective, does not grasp the flexibility in the concepts in play, does not grasp the restraints on concepts in play, does not follow the proper processes involved, and lacks the detail, courage, and tenacity needed to reach the proper “deduction” or “call,” on the face of things the formalist, too, should have reason to re-examine any “deduction” or “call” by such party. Thus, even the formalist should not deny the critical role of virtue when examining legal analysis, a role belying the notion of law as a "self-contained system of legal reasoning." -/- This Article thus explores basic freedoms and restraints applicable to legal analysis and the role that virtue plays in balancing such freedoms and restraints. Such exploration covers: (i) the origin, nature, and purpose of concepts and categories used in legal analysis; (ii) the experiential nature of the meaning of such concepts and categories used in legal analysis; (iii) the freedoms and restraints applicable to such concepts and categories as a result of either experience or of the concepts or categories themselves; (iv) how workable notions of virtue rightly balance such freedoms and restraints in legal analysis; (v) the distinction between such virtue and skill; (vi) reconceiving the analytically virtuous mean as a proper balance between such applicable freedoms and restraints; and (vii) defining and surveying the particular virtues that lead us to such proper balance and thus to good legal analysis. My hope is that lawyers and law schools in their curricula will follow such explorations as well in a quest to better understand legal analysis and how to teach and perform it well. (shrink)

We begin by describing recent developments in the burgeoning discipline of applied ontology, focusing especially on the ways ontologies are providing a means for the consistent representation of scientific data. We then introduce Basic Formal Ontology (BFO), a top-level ontology that is serving as domain-neutral framework for the development of lower level ontologies in many specialist disciplines, above all in biology and medicine. BFO is a bicategorial ontology, embracing both three-dimensionalist (continuant) and four-dimensionalist (occurrent) perspectives within a single framework. (...) We examine how BFO-conformant domain ontologies can deal with the consistent representation of scientific data deriving from the measurement of processes of different types, and we outline on this basis the first steps of an approach to the classification of such processes within the BFO framework. (shrink)

In this work, author evaluated past theories and perspectives behind the definitions of science and/or branches of science. Also some of the philosophers of science and their specific philosophical interests were expressed. Author considered some type of interactions between some disciplines to determine, to solve the philosophical/scientific problems and to define the possible solutions. The purposes of this article are: (i) to define new synthesis method, (ii) to define new perspective for the philosophy of science, (iii) to define relation between (...) new philosophy perspective and philosophy of science, (iv) to define and organize name, number, relations, and correct structure between special science branches and philosophy of science, (v) to define necessary and sufficient number of branches for philosophy of science, (vi) to define and express the importance and place of new philosophy of science perspective in the new system, (vii) to extend the definition/limits of philosophy of science, (viii) to re-define meanings of some philosophical/scientific theories, (ix) to define systematic solution for the conflicts, problems, confusions about philosophy of science, sciences and branches of science, (x) to define new branches of science, (xi) to re-construct branches and hierarchy of science, (xii) to define new theories about science and branches of science. Author considered R-Synthesis as a method for the evaluation of the philosophy, philosophy of science, sciences and branches of science. This R-Synthesis includes evaluation of eight categories of general/specific perspective, 21-dimensions, and 12 general subjects (with related scope and contents) for the past 12,000 years. It is a kind of synthesis of science and non-science, physical science and non-physical science, religious science and non-religious science, and others. In this article, author defined 27 possible definitive/certain result cases for this new synthesis. Author defined the possible formation stages shortly to express new disciplines, new constructional and/or complementary theories. These theories are considered to define 21 major effective disciplines. New philosophy perspective is defined (R-Philosophy) shortly. New perspective and sub branches are defined for the philosophy of science. Major sciences are defined due to new basic philosophies. 42-basic components are defined for each science branch. New and/or re-constructed sciences, branches of science, basic sciences, and new hierarchy of science are defined with figure. Electromagnetic sciences, information sciences, and system sciences are defined specifically. Hybrid Sciences, New Era Science, and Ideal Scientific System are defined with general/specific figure. Relation between the some old branches and new branches of science was expressed generally due to new perspective of philosophy of science. (shrink)

The problem of the status of metaphysics -- what it is and what it is for, what use it is - has been with us for millennia, at least since Plato took issue with the Sophists, and continues to the present day. Here I attempt an intervention in this perennial dispute, with the aim of providing some kind of rapprochement between the factions. This intervention is based on how Charles Sanders Peirce (1839-1914) understood metaphysics and the position presented here is (...) thus called `Peircean realism'. The basic idea is that everyone has a metaphysics and has to have one, just to get by in everyday life, and this is no different for scientific inquirers in their professional work. The subject matter of metaphysics is thus presuppositions, whether it is what we rely on to go shopping or to discover the Higgs boson. We rely on these in our activities and expect them to have an effect on outcomes, so when our expectations are frustrated, doubt may be thrown on our presuppositions. We would thus like the ability to inquire into our presuppositions so as not to repeat mistakes, but our instinctive, evolved capacity for reasoning may not be up the job, since it is entwined with what we take for granted. Instead, Peirce develops a science of good reasoning that includes a theory of inquiry, which would allow us to scrutinise our presuppositions, to perform metaphysical inquiry. The starting point for this science of good reasoning is basic principles of combination and organisation, because these are involved in all activity, and these are Peirce's categories of Firstness, Secondness and Thirdness. This is also where I start in the exposition of and argument for Peircean realism as a scientific -- that is, truth-directed -- metaphysics that provides the best possible general presuppositions to the natural and human sciences, the special sciences that deal with matters in their particularity; that Peircean realism is a viable metaphysics for those sciences. This exposition and argument comprises the first part of this thesis. In the second part, the case for Peircean realism is further bolstered by turning a critical eye on positions that are deficient from the Peircean point of view, in that they lack one or other category and thus starve the special sciences of the resources they need, or that they try to ignore metaphysics entirely. All this is meant to demonstrate that metaphysics is unavoidable, that we need all three of Peirce's categories for a viable metaphysics for the special sciences, and that Peircean realism is just such a metaphysics. (shrink)

This book argues that there is a joint in nature between seeing and thinking, perception, and cognition. Perception is constitutively iconic, nonconceptual, and nonpropositional, whereas cognition does not have these properties constitutively. The book does not appeal to “intuitions,” as is common in philosophy, but to empirical evidence, including experiments in neuroscience and psychology. The book argues that cognition affects perception, i.e., that perception is cognitively penetrable, but that this does not impugn the joint in nature. A key part of (...) the argument is that we perceive not only low-level properties like colors, shapes, and textures but also high-level properties such as faces and causation. Along the way, the book explains the difference between perception and perceptual memory, the differences between format and content, and whether perception is probabilistic despite our lack of awareness of probabilistic properties. The book argues for perceptual categories that are not concepts, that perception need not be singular, that perceptual attribution and perceptual discrimination are equally fundamental, and that basic features of the mind known as “core cognition” are not a third category in between perception and cognition. The chapter on consciousness leverages these results to argue against some of the most widely accepted theories of consciousness. Although only one chapter is about consciousness, much of the rest of the book repurposes work on consciousness to isolate the scientific basis of perception. (shrink)