Results for 'Formal concepts'

961 found
Order:
  1. Defectiveness of formal concepts.Carolin Antos - manuscript
    It is often assumed that concepts from the formal sciences, such as mathematics and logic, have to be treated differently from concepts from non-formal sciences. This is especially relevant in cases of concept defectiveness, as in the empirical sciences defectiveness is an essential component of lager disruptive or transformative processes such as concept change or concept fragmentation. However, it is still unclear what role defectiveness plays for concepts in the formal sciences. On the one (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. A FORMAL CONCEPT OF CULTURE IN THE CLASSIFICATION OF ALFRED L. KROEBER AND CLYDE KLUCKHOHN.Boroch Robert - 2016 - Analecta 25 (2):61-101.
    The objective of this article is to analyse definitions of culture gathered by Alfred L. Kroeber and Clyde Kluckhohn and published in Culture. A Critical Review of Concepts and Definitions in 1952. This article emphasizes a possibility of re-analysing the material collected by these researchers (Kroeber–Kluckhohn Culture Classification, hereinafter referred to as KKCC). The article shows that the KKCC material constitutes a coherent conceptual and theoretical paradigm. This paradigm was subject to contextual, frequential and conceptual (Formal Conceptual Analysis, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Concerning Formal Concept Analysis on Complete Residuated Lattices.Abner de Mattos Brito - 2019 - Dissertation, University of Campinas, Brazil
    Download  
     
    Export citation  
     
    Bookmark  
  4. Anthropology and normativity: a critique of Axel Honneth’s ‘formal conception of ethical life’.Christopher Zurn - 2000 - Philosophy and Social Criticism 26 (1):115-124.
    Axel Honneth, The Struggle for Recognition: The Moral Grammer of Social Conflicts (reviewed by Christopher Zurn).
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  5. A Formal-Logical Approach to the Concept of God.Ricardo Sousa Silvestre - 2021 - Manuscrito. Revista Internacional de Filosofia 44 (4):224-260.
    In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. Basic concepts of formal ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28.
    The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory of boundary, (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  7. Conceptions of Epistemic Value.Timothy Perrine - 2023 - Episteme 20 (2):213-231.
    This paper defends a conception of epistemic value that I call the “Simpliciter Conception.” On it, epistemic value is a kind of value simpliciter and being of epistemic value implies being of value simpliciter. I defend this conception by criticizing two others, what I call the Formal Conception and the Hybrid Conception. While those conceptions may be popular among epistemologists, I argue that they fail to explain why anyone should care that things are of epistemic value and naturally undercuts (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Non classical concept representation and reasoning in formal ontologies.Antonio Lieto - 2012 - Dissertation, Università Degli Studi di Salerno
    Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Variables of Scientific Concept Modeling and Their Formalization.Vladimir Kuznetsov - 2009 - In В.И Маркин (ed.), Philosophy of mathematics: current problems. Proceedings of the second international conference (Философия математики: актуальные проблемы. Тезисы второй международной конференции). pp. 268-270.
    There are no universally adopted answers to the natural questions about scientific concepts: What are they? What is their structure? What are their functions? How many kinds of them are there? Do they change? Ironically, most if not all scientific monographs or articles mention concepts, but the scientific studies of scientific concepts are rare in occurrence. It is well known that the necessary stage of any scientific study is constructing the model of objects in question. Many years (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Formal A Priori, or Material A Priori: On Scheler's Critique of Kant's Concept of the A Priori.Zhang Renzhi - 2008 - Modern Philosophy 1:016.
    Download  
     
    Export citation  
     
    Bookmark  
  11. The Form in Formal Thought Disorder: A Model of Dyssyntax in Semantic Networking.Farshad Badie & Luis M. Augusto - 2022 - MDPI AI 3:353–370.
    Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12.  34
    Reflective equilibrium: conception, formalization, application—introduction to the topical collection.Georg Brun, Gregor Betz & Claus Beisbart - 2025 - Synthese 205 (2):1-9.
    Reflective equilibrium ("RE", for short) is a method of justification which works roughly as follows: We start with our pre-theoretical judgements (about, e.g. moral issues) and try to explain them by a systematic theory. This leads to a process in which judgements and principles are mutually adjusted to each other until a state of equilibrium is reached. For more than half a century, RE has been very popular, as well as controversial, among philosophers of many persuasions. Given how frequently the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13. Formal thought disorder and logical form: A symbolic computational model of terminological knowledge.Luis M. Augusto & Farshad Badie - 2022 - Journal of Knowledge Structures and Systems 3 (4):1-37.
    Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Formal Biology and Compositional Biology as Two Kinds of Biological Theorizing.Rasmus Grønfeldt Winther - 2003 - Dissertation, Indiana University, Hps
    There are two fundamentally distinct kinds of biological theorizing. "Formal biology" focuses on the relations, captured in formal laws, among mathematically abstracted properties of abstract objects. Population genetics and theoretical mathematical ecology, which are cases of formal biology, thus share methods and goals with theoretical physics. "Compositional biology," on the other hand, is concerned with articulating the concrete structure, mechanisms, and function, through developmental and evolutionary time, of material parts and wholes. Molecular genetics, biochemistry, developmental biology, and (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  15. Formal Ontology for Natural Language Processing and the Integration of Biomedical Databases.Jonathan Simon, James M. Fielding, Mariana C. Dos Santos & Barry Smith - 2005 - International Journal of Medical Informatics 75 (3-4):224-231.
    The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. A Formal Account of AI Trustworthiness: Connecting Intrinsic and Perceived Trustworthiness.Piercosma Bisconti, Letizia Aquilino, Antonella Marchetti & Daniele Nardi - forthcoming - Aies '24: Proceedings of the 2024 Aaai/Acmconference on Ai, Ethics, and Society.
    This paper proposes a formal account of AI trustworthiness, connecting both intrinsic and perceived trustworthiness in an operational schematization. We argue that trustworthiness extends beyond the inherent capabilities of an AI system to include significant influences from observers' perceptions, such as perceived transparency, agency locus, and human oversight. While the concept of perceived trustworthiness is discussed in the literature, few attempts have been made to connect it with the intrinsic trustworthiness of AI systems. Our analysis introduces a novel schematization (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
    In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that is (...)
    Download  
     
    Export citation  
     
    Bookmark   77 citations  
  18. Heidegger, Formal Indication, and Sexual Difference.Eric S. Nelson - 2022 - Eksistenz. Philosophical Hermeneutics and Intercultural Philosophy 1 (1):65-77.
    This contribution unfolds an existential-ontological response to the question of sexual difference in the context of Heidegger’s formally indicative concept of “Dasein.” The question of Dasein’s “neutrality” concerns how formal indication formalizes, empties, and neutralizes the givenness of factical human existence. Ostensibly “given” biological and anthropological facts, such as sexual difference, are interpreted from an emptied and neutralized perspective that appears abstract and fictional to Heidegger’s critics. How, then, is the “neutrality” of formalizing emptying related to the “facticity” of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. (1 other version)Formalizing Kant’s Rules.Richard Evans, Andrew Stephenson & Marek Sergot - 2019 - Journal of Philosophical Logic 48:1-68.
    This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Formal and Transcendental Logic- Husserl's most mature reflection on mathematics and logic.Mirja Helena Hartimo - 2021 - In Hanne Jacobs (ed.), The Husserlian Mind. New Yor, NY: Routledge. pp. 50-59.
    This essay presents Husserl’s Formal and Transcendental Logic (1929) in three main sections following the layout of the work itself. The first section focuses on Husserl’s introduction where he explains the method and the aim of the essay. The method used in FTL is radical Besinnung and with it an intentional explication of proper sense of formal logic is sought for. The second section is on formal logic. The third section focuses on Husserl’s “transcendental logic,” which is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Formalizing the intuitions on the meaning of life / Formalizando as intuições sobre o sentido da vida.Rodrigo Cid - 2010 - Revista Do Seminário Dos Alunos Do PPGLM/UFRJ 1:paper 10.
    When we ask ourselves about the meaning of life, two analyses are possible in principle: 1. that we are asking something about the purpose or the reason of being of life or of a life, or 2. that we are asking something the value of life or of a life. At the present article, I do not approach 1 neither the life as a whole, but I take the individual lives in the context of 2. I briefly explain what would (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22.  90
    Formalizing Mechanical Analysis Using Sweeping Net Methods.Parker Emmerson - 2024 - Journal of Liberated Mathematics 1:12.
    We present a formal mechanical analysis using sweeping net methods to approximate surfacing singularities of saddle maps. By constructing densified sweeping subnets for individual vertices and integrating them, we create a comprehensive approximation of singularities. This approach utilizes geometric concepts, analytical methods, and theorems that demonstrate the robustness and stability of the nets under perturbations. Through detailed proofs and visualizations, we provide a new perspective on singularities and their approximations in analytic geometry.
    Download  
     
    Export citation  
     
    Bookmark  
  23. The formal-structural view of logical consequence.Gila Sher - 2001 - Philosophical Review 110 (2):241-261.
    In a recent paper, “The Concept of Logical Consequence,” W. H. Hanson criticizes a formal-structural characterization of logical consequence in Tarski and Sher. Hanson accepts many principles of the formal-structural view. Relating to Sher 1991 and 1996a, he says.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  24. Iconology and Formal Aesthetics: A New Harmony. A Contribution to the Current Debate in Art Theory and Philosophy of Arts on the (Picture-)Action-Theories of Susanne K. Langer and John M. Krois.Sauer Martina - 2016 - Sztuka I Filozofia (Art and Philosophy), Warschau 48:12-29.
    Since the beginning of the 20th Century to the present day, it has rarely been doubted that whenever formal aesthetic methods meet their iconological counterparts, the two approaches appear to be mutually exclusive. In reality, though, an ahistorical concept is challenging a historical analysis of art. It is especially Susanne K. Langer´s long-overlooked system of analogies between perceptions of the world and of artistic creations that are dependent on feelings which today allows a rapprochement of these positions. Krois’s insistence (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. The Formal and Real Subsumption of Gender Relations.Elizabeth Portella & Larry Alan Busk - forthcoming - Historical Materialism.
    Attempts to unify Marxist and feminist social critique have been vexed by the fact that ‘patriarchy’ predates the advent of capitalism (its transhistorical status). Feminists within the Marxist, socialist, and materialist traditions have responded to this point by either granting patriarchy a certain autonomy relative to capitalism (the ‘dual/triple systems’ approach), or by suggesting that patriarchal relations have a foundational and necessary status in the history of capitalist development (which we term the ‘origins-subsistence’ approach). This paper offers an alternative account (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Privilege and Position: Formal Tools for Standpoint Epistemology.Catharine Saint-Croix - 2020 - Res Philosophica 97 (4):489-524.
    How does being a woman affect one’s epistemic life? What about being Black? Or queer? Standpoint theorists argue that such social positions can give rise to otherwise unavailable epistemic privilege. “Epistemic privilege” is a murky concept, however. Critics of standpoint theory argue that the view is offered without a clear explanation of how standpoints confer their benefits, what those benefits are, or why social positions are particularly apt to produce them. For this reason, many regard standpoint theory as being out (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  27. Simulation as formal and generative social science: the very idea.Nuno David, Jaime Sichman & Helder Coelho - 2007 - In Carlos Gershenson, Diederik Aerts & Bruce Edmonds (eds.), Worldviews, Science and Us: Philosophy and Complexity. World Scientific. pp. 266--275.
    The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Formalization of dialectical logic, Separation theory of truth. Logic of cellular automata.Zhou Senhai - manuscript
    By separating the general concept of truth into syntactic truth and semantic truth, this article proposes a new theory of truth to explain several paradoxes like the Liar paradox, Card paradox, Curry’s paradox, etc. By revealing the relationship between syntactic /semantic truth and being-nothing-becoming which are the core concepts of dialectical logic, it is able to formalize dialectical logic. It also provides a logical basis for complexity theory by transferring all reasoning into a directed (cyclic/acyclic) graph which explains both (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Representing Relations between Physical Concepts.Vladimir Kuznetsov - 2004 - Communication and Cognition: An Interdisciplinary Quarterly Journal 2004 (37):105-135.
    The paper has three objectives: to expound a set-theoretical triplet model of concepts; to introduce some triplet relations (symbolic, logical, and mathematical formalization; equivalence, intersection, disjointness) between object concepts, and to instantiate them by relations between certain physical object concepts.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Formalizing Darwinism, Naturalizing Mathematics.Fabio Sterpetti - 2015 - Paradigmi. Rivista di Critica Filosofica 33 (2):133-160.
    In the last decades two different and apparently unrelated lines of research have increasingly connected mathematics and evolutionism. Indeed, on the one hand different attempts to formalize darwinism have been made, while, on the other hand, different attempts to naturalize logic and mathematics have been put forward. Those researches may appear either to be completely distinct or at least in some way convergent. They may in fact both be seen as supporting a naturalistic stance. Evolutionism is indeed crucial for a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. Formal Arithmetic Before Grundgesetze.Richard Kimberly Heck - 2019 - In Philip A. Ebert & Marcus Rossberg (eds.), Essays on Frege's Basic Laws of Arithmetic. Oxford: Oxford University Press. pp. 497-537.
    A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. The Objects and the Formal Truth of Kantian Analytic Judgments.Huaping Lu-Adler - 2013 - History of Philosophy Quarterly 30 (2):177-93.
    I defend the thesis that Kantian analytic judgments are about objects (as opposed to concepts) against two challenges raised by recent scholars. First, can it accommodate cases like “A two-sided polygon is two-sided”, where no object really falls under the subject-concept as Kant sees it? Second, is it compatible with Kant’s view that analytic judgments make no claims about objects in the world and that we can know them to be true without going beyond the given concepts? I (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  33. Unified Inductive Logic: From Formal Learning to Statistical Inference to Supervised Learning.Hanti Lin - manuscript
    While the traditional conception of inductive logic is Carnapian, I develop a Peircean alternative and use it to unify formal learning theory, statistics, and a significant part of machine learning: supervised learning. Some crucial standards for evaluating non-deductive inferences have been assumed separately in those areas, but can actually be justified by a unifying principle.
    Download  
     
    Export citation  
     
    Bookmark  
  34. The Concept of Legitimacy.N. P. Adams - 2022 - Canadian Journal of Philosophy 52 (4):381-395.
    I argue that legitimacy discourses serve a gatekeeping function. They give practitioners telic standards for riding herd on social practices, ensuring that minimally acceptable versions of the practice are implemented. Such a function is a necessary part of implementing formalized social practices, especially including law. This gatekeeping account shows that political philosophers have misunderstood legitimacy; it is not secondary to justice and only necessary because we cannot agree about justice. Instead, it is a necessary feature of actual human social practices, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. Two concepts of "form" and the so-called computational theory of mind.John-Michael Kuczynski - 2006 - Philosophical Psychology 19 (6):795-821.
    According to the computational theory of mind , to think is to compute. But what is meant by the word 'compute'? The generally given answer is this: Every case of computing is a case of manipulating symbols, but not vice versa - a manipulation of symbols must be driven exclusively by the formal properties of those symbols if it is qualify as a computation. In this paper, I will present the following argument. Words like 'form' and 'formal' are (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  36. (1 other version)Creencias conspirativas. Aspectos formales y generales de un fenómeno antiguo (Conspiracy beliefs. Formal and general aspects of an ancient phenomenon).Pietro Montanari - 2022 - Protrepsis 11 (22):273-304.
    The paper provides both a description of conspiracy beliefs and an insight into their cultural significance. On one side, it highlights their specific formal features, on the other, and this constitutes its peculiarity in the recent literature on the topic, it considers them within the broader genre of general conceptual beliefs, whose main characteristics are weak methodology and logical structure, strong affective and dispositional constraints, epistemic closure and mauvaise foi, and whose main function is practical and self-representative (not epistemic). (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Beyond concepts: Ontology as reality representation.Barry Smith - 2001 - In Barry Smith & Christopher Welty (eds.), Formal Ontology in Information Systems (FOIS). ACM Press. pp. 1-12.
    The present essay is devoted to the application of ontology in support of research in the natural sciences. It defends the thesis that ontologies developed for such purposes should be understood as having as their subject matter, not concepts, but rather the universals and particulars which exist in reality and are captured in scientific laws. We outline the benefits of a view along these lines by showing how it yields rigorous formal definitions of the foundational relations used in (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  38. The Concept of Accountability in AI Ethics and Governance.Theodore Lechterman - 2023 - In Justin B. Bullock, Yu-Che Chen, Johannes Himmelreich, Valerie M. Hudson, Anton Korinek, Matthew M. Young & Baobao Zhang (eds.), The Oxford Handbook of AI Governance. Oxford University Press.
    Calls to hold artificial intelligence to account are intensifying. Activists and researchers alike warn of an “accountability gap” or even a “crisis of accountability” in AI. Meanwhile, several prominent scholars maintain that accountability holds the key to governing AI. But usage of the term varies widely in discussions of AI ethics and governance. This chapter begins by disambiguating some different senses and dimensions of accountability, distinguishing it from neighboring concepts, and identifying sources of confusion. It proceeds to explore the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Pensar como operación – Acerca de los presupuestos e implicaciones de la lógica formal moderna.Max Gottschlich - 2017 - Revista de Estudios Kantianos 2 (1):9-19.
    La lógica formal no es una ciencia que se encuentre libre de presupuestos. Más bien, su representación de la forma lógica se basa en presupuestos a los cuales la lógica misma no llega. Este artículo se propone aclararlos. Para ello, en un primer momento, consideraremos las determinaciones fundamentales de la forma lógica. En un segundo paso, esta consideración será profundizada a partir del análisis del concepto lógico-formal de “concepto”. Con él se plantean problemas que hacen necesario avanzar en (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Representing Concepts by Weighted Formulas.Daniele Porello & Claudio Masolo - 2018 - In Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems - Proceedings of the 10th International Conference, {FOIS} 2018, Cape Town, South Africa, 19-21 September 2018. IOS Press. pp. 55--68.
    A concept is traditionally defined via the necessary and sufficient conditions that clearly determine its extension. By contrast, cognitive views of concepts intend to account for empirical data that show that categorisation under a concept presents typicality effects and a certain degree of indeterminacy. We propose a formal language to compactly represent concepts by leveraging on weighted logical formulas. In this way, we can model the possible synergies among the qualities that are relevant for categorising an object (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. An obstacle to unification in biological social science: Formal and compositional styles of science.Rasmus Grønfeldt Winther - 2005 - Graduate Journal of Social Science 2 (2):40-100.
    I motivate the concept of styles of scientific investigation, and differentiate two styles, formal and compositional. Styles are ways of doing scientific research. Radically different styles exist. I explore the possibility of the unification of biology and social science, as well as the possibility of unifying the two styles I identify. Recent attempts at unifying biology and social science have been premised almost exclusively on the formal style. Through the use of a historical example of defenders of compositional (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  42. Kant’s Conception of Logical Extension and Its Implications.Huaping Lu-Adler - 2012 - Dissertation, University of California, Davis
    It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Dealing with Concepts: from Cognitive Psychology to Knowledge Representation.Marcello Frixione & Antonio Lieto - 2013 - Frontiers of Psychological and Behevioural Science 2 (3):96-106.
    Concept representation is still an open problem in the field of ontology engineering and, more generally, of knowledge representation. In particular, the issue of representing “non classical” concepts, i.e. concepts that cannot be defined in terms of necessary and sufficient conditions, remains unresolved. In this paper we review empirical evidence from cognitive psychology, according to which concept representation is not a unitary phenomenon. On this basis, we sketch some proposals for concept representation, taking into account suggestions from psychological (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. A formal window on phenomenal objectness.Gangloff Silvere - manuscript
    In this text I propose a formal framework for the study of phenomenal objectness - the distinction in an a priori undifferenciated experience of the phenomenal field of certain 'objects'. The purpose of this framework is to represent (even partially) the reality of phenomenal experience in its structure (which participates conceptually to consciousness as such) and at the same time to allow the production of a tractable formalism in order to search for a mathematical explanation for the fundamental phenomenon (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Using cross-lingual information to cope with underspecification in formal ontologies.Werner Ceusters, Ignace Desimpel, Barry Smith & Stefan Schulz - 2003 - Studies in Health Technology and Informatics 95:391-396.
    Description logics and other formal devices are frequently used as means for preventing or detecting mistakes in ontologies. Some of these devices are also capable of inferring the existence of inter-concept relationships that have not been explicitly entered into an ontology. A prerequisite, however, is that this information can be derived from those formal definitions of concepts and relationships which are included within the ontology. In this paper, we present a novel algorithm that is able to suggest (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Disambiguation of Social Polarization Concepts and Measures.Aaron Bramson, Patrick Grim, Daniel J. Singer, Steven Fisher, William Berger, Graham Sack & Carissa Flocken - 2016 - Journal of Mathematical Sociology 40:80-111.
    ABSTRACT This article distinguishes nine senses of polarization and provides formal measures for each one to refine the methodology used to describe polarization in distributions of attitudes. Each distinct concept is explained through a definition, formal measures, examples, and references. We then apply these measures to GSS data regarding political views, opinions on abortion, and religiosity—topics described as revealing social polarization. Previous breakdowns of polarization include domain-specific assumptions and focus on a subset of the distribution’s features. This has (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  47. (1 other version)Informal Reasoning and Logical Formalization.Michael Baumgartner - 2010 - In S. Conrad & S. Imhof (eds.), Ding und Begriff. Ontos.
    According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Player Engagement with Games: Formal Reliefs and Representation Checks.Karl Egerton - 2022 - Journal of Aesthetics and Art Criticism 80 (1):95-104.
    Alongside the direct parallels and contrasts between traditional narrative fiction and games, there lie certain partial analogies that provide their own insights. This article begins by examining a direct parallel between narrative fiction and games—the role of fictional reliefs and reality checks in shaping aesthetic engagement—before arguing that from this a partial analogy can be developed stemming from a feature that distinguishes most games from most traditional fictions: the presence of rules. The relation between rules and fiction in games has (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Language, concepts, and the nature of inference.Matías Osta-Vélez - 2024 - In Carlos Enrique Caorsi & Ricardo J. Navia (eds.), Philosophy of language in Uruguay: language, meaning, and philosophy. Lanham: Lexington Books. pp. 181-196.
    Traditionally, analytic philosophy has been affiliated with a formalist conception of inference which understands reasoning as a process that exploits syntactic properties of natural language according to a set of formal rules that are insensitive to conceptual content. This chapter discusses an alternative approach that takes semantic properties as the underlying forces driving rational inference. Building on Wilfird Sellars’ notion of material inference and analytic tools from cognitive linguistics, I will show how parts of the inferential structure of natural (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Judaism, Process Theology, and Formal Axiology: A Preliminary Study.Rem B. Edwards - 2014 - Process Studies 43 (2):87-103.
    This article approaches Judaism through Rabbi Bradley S. Artson’s book, God of Becoming and Relationships: The Dynamic Nature of Process Theology. It explores his understanding of how Jewish theology should and does cohere with central features of both process theology and Robert S. Hartman’s formal axiology. These include the axiological/process concept of God, the intrinsic value and valuation of God and unique human beings, and Jewish extrinsic and systemic values, value combinations, and value rankings.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 961