Results for 'Criteria of Formalization'

962 found
Order:
  1. Semantic Criteria of Correct Formalization.Timm Lampert - 2010 - In Lampert Timm (ed.), Proceedings of Gap Conference.
    This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.
    Download  
     
    Export citation  
     
    Bookmark  
  2. Logical Forms: Validity and Variety of Formalizations.Georg Brun - 2023 - Logic and Logical Philosophy 32:341-361.
    Formalizations in first-order logic are standardly used to represent logical forms of sentences and to show the validity of ordinary-language arguments. Since every sentence admits of a variety of formalizations, a challenge arises: why should one valid formalization suffice to show validity even if there are other, invalid, formalizations? This paper suggests an explanation with reference to criteria of adequacy which ensure that formalizations are related in a hierarchy of more or less specific formalizations. This proposal is then (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. The Criteria Necessary to Achieve Formal Definitions of Sign and Symbol.Charles Herrman - 2022 - Eidos. A Journal for Philosophy of Culture 6 (1):97-121.
    This paper attempts to illustrate a process of analysis that will hopefully open a path to more complete and useful definitions of sign and symbol. It applies a form-content analysis to the metaphysical properties of these two concepts. The objective is to locate criteria necessary and sufficient to derive formal definitions for these terms. Wittgenstein’s concept of “forms of representation” is analyzed and applied to the topic. Criteria are outlined that determine the appropriateness of the sign and symbol (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. 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 to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. The Formalization of Arguments.Robert Michels - 2020 - Dialectica 74 (2).
    The purpose of this introduction is to give a rough overview of the discussion of the formalization of arguments, focusing on deductive arguments. The discussion is structured around four important junctions: i) the notion of support, which captures the relation between the conclusion and premises of an argument, ii) the choice of a formal language into which the argument is translated in order to make it amenable to evaluation via formal methods, iii) the question of quality criteria for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Boole's criteria for validity and invalidity.John Corcoran & Susan Wood - 1980 - Notre Dame Journal of Formal Logic 21 (4):609-638.
    It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  7. Entities and their genera: Slicing up the world the medieval way--and does it matter to formal ontology?Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):4-47.
    Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Diagnostic Criteria for Temporomandibular Disorders (DC/TMD) for clinical and research applications.Eric Schiffman, Richard Ohrbach, E. Truelove, Edmond Truelove, John Look, Gary Anderson, Werner Ceusters, Barry Smith & Others - 2014 - Journal of Oral and Facial Pain and Headache 28 (1):6-27.
    Aims: The Research Diagnostic Criteria for Temporomandi¬bular Disorders (RDC/TMD) Axis I diagnostic algorithms were demonstrated to be reliable but below target sensitivity and specificity. Empirical data supported Axis I algorithm revisions that were valid. Axis II instruments were shown to be both reliable and valid. An international consensus workshop was convened to obtain recommendations and finalization of new Axis I diagnostic algorithms and new Axis II instruments. Methods: A comprehensive search of published TMD diagnostic literature was followed by review (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9.  47
    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  
  10. Refining OntoClean. Identity Criteria and Grounding.Ciro De Florio & Massimiliano Carrara - 2020 - Proceedings of the Joint Ontology Workshops (JOWO 2020).
    In this paper we introduce some logical and philosophical refinements to OntoClean, first by developing some formal constraints on identity criteria, secondly by specifying a kind of identity criteria, two level identity criteria, whose role is to explain an identity among some entities referring to some other, more basic, entities. Using such refinement we add a formal constraint to the stock of OntoClean meta-constraints (OC+). We, then, observe that two level identity criteria have an intuitive reading (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Just Cause and the Continuous Application of Jus ad Bellum.Uwe Steinhoff - forthcoming - In Larry May May, Shannon Elizabeth Fyfe & Eric Joseph Ritter (eds.), The Cambridge Handbook on Just War Theory. Cambridge University Press.
    What one is ultimately interested in with regard to ‘just cause’ is whether a specific war, actual or potential, is justified. I call this ‘the applied question’. Answering this question requires knowing the empirical facts on the ground. However, an answer to the applied question regarding a specific war requires a prior answer to some more general questions, both descriptive and normative. These questions are: What kind of thing is a ‘just cause’ for war (an aim, an injury or wrong (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. What Theoretical Equivalence Could Not Be.Trevor Teitel - 2021 - Philosophical Studies 178 (12):4119-4149.
    Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics of (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  13. Reconciling Rigor and Intuition.Silvia De Toffoli - 2020 - Erkenntnis 86 (6):1783-1802.
    Criteria of acceptability for mathematical proofs are field-dependent. In topology, though not in most other domains, it is sometimes acceptable to appeal to visual intuition to support inferential steps. In previous work :829–842, 2014; Lolli, Panza, Venturi From logic to practice, Springer, Berlin, 2015; Larvor Mathematical cultures, Springer, Berlin, 2016) my co-author and I aimed at spelling out how topological proofs work on their own terms, without appealing to formal proofs which might be associated with them. In this article, (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  14. A Blueprint of a Calculator of Intensions.Alik Pelman - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 193-203.
    We are on Mars again – the favourite laboratory for philosophical experiments. Our host colleagues introduce us to some Martian stuff referred to as “T”, and ask us to help them to identify T on other possible worlds. Or, technically speaking, we are asked to determine the intension of “T”, i.e., what the term designates with respect to different possible worlds. Following a short series of experiments on the planet, we conclude that the intension of “T” depends upon three factors: (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Leibniz and the Necessity of the Best Possible World.Martin Pickup - 2014 - Australasian Journal of Philosophy 92 (3):507-523.
    Leibniz has long faced a challenge about the coherence of the distinction between necessary and contingent truths in his philosophy. In this paper, I propose and examine a new way to save genuine contingency within a Leibnizian framework. I conclude that it succeeds in formally solving the problem, but at unbearable cost. I present Leibniz’s challenge by considering God’s choice of the best possible world (Sect. 2). God necessarily exists and necessarily chooses to actualise the best possible world. The actual (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16. A probabilistic analysis of argument cogency.David Godden & Frank Zenker - 2018 - Synthese 195 (4):1715-1740.
    This paper offers a probabilistic treatment of the conditions for argument cogency as endorsed in informal logic: acceptability, relevance, and sufficiency. Treating a natural language argument as a reason-claim-complex, our analysis identifies content features of defeasible argument on which the RSA conditions depend, namely: change in the commitment to the reason, the reason’s sensitivity and selectivity to the claim, one’s prior commitment to the claim, and the contextually determined thresholds of acceptability for reasons and for claims. Results contrast with, and (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  17. The biosemiosis of prescriptive information.David L. Abel - 2009 - Semiotica 2009 (174):1-19.
    Exactly how do the sign/symbol/token systems of endo- and exo-biosemiosis differ from those of cognitive semiosis? Do the biological messages that integrate metabolism have conceptual meaning? Semantic information has two subsets: Descriptive and Prescriptive. Prescriptive information instructs or directly produces nontrivial function. In cognitive semiosis, prescriptive information requires anticipation and “choice with intent” at bona fide decision nodes. Prescriptive information either tells us what choices to make, or it is a recordation of wise choices already made. Symbol systems allow recordation (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  18. Models of Introspection vs. Introspective Devices Testing the Research Programme for Possible Forms of Introspection.Krzysztof Dołęga - 2023 - Journal of Consciousness Studies 30 (9):86-101.
    The introspective devices framework proposed by Kammerer and Frankish (this issue) offers an attractive conceptual tool for evaluating and developing accounts of introspection. However, the framework assumes that different views about the nature of introspection can be easily evaluated against a set of common criteria. In this paper, I set out to test this assumption by analysing two formal models of introspection using the introspective device framework. The question I aim to answer is not only whether models developed outside (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. A Model-Theoretic Interpretation of Science.Emma Ruttkamp - 1997 - South African Journal of Philosophy 16 (1):31-36.
    I am arguing that it is only by concentrating on the role of models in theory construction, interpretation and change, that one can study the progress of science sensibly. I define the level at which these models operate as a level above the purely empirical (consisting of various systems in reality) but also indeed below that of the fundamental formal theories (expressed linguistically). The essentially multi-interpretability of the theory at the general, abstract linguistic level, implies that it can potentially make (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Molecularity in the Theory of Meaning and the Topic Neutrality of Logic.Bernhard Weiss & Nils Kürbis - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 187-209.
    Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. The scientific demarcation problem: a formal and model-based approach to falsificationism.Attard Jeremy - manuscript
    The problem of demarcating between what is scientific and what is pseudoscientific or merely unscientific - in other words, the problem of defining scientificity - remains open. The modern debate was firstly structured around Karl Popper's falsificationist epistemology from the 1930's, before diversifying a few decades later. His central idea is that what makes something scientific is not so much how adequate it is with data, but rather to what extent it might not have been so. Since the second half (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. A critical exposition of Isaac Levi's epistemology.Allard Tamminga - 2003 - Logique Et Analyse 183:447-478.
    The branch of philosophical logic which has become known as “belief change” has, in the course of its development, become alienated from its epistemological origins. However, as formal criteria do not suffice to defend a principled choice between competing systems for belief change, we do need to take their epistemological embedding into account. Here, on the basis of a detailed examination of Isaac Levi's epistemology, we argue for a new direction of belief change research and propose to construct systems (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. The polysemy of ‘part’.Meg Wallace - 2019 - Synthese 198 (Suppl 18):4331-4354.
    Some philosophers assume that our ordinary parts-whole concepts are intuitive and univocal. Moreover, some assume that mereology—the formal theory of parts-whole relations—adequately captures these intuitive and univocal notions. Lewis, for example, maintains that mereology is “perfectly understood, unproblematic, and certain.” Following his lead, many assume that expressions such as ‘is part of’ are univocal, topic-neutral, and that compositional monism is true. This paper explores the rejection of –. I argue that our ordinary parts-whole expressions are polysemous; they have multiple distinct, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. (1 other version)Analogical Deduction via a Calculus of Predicables.Joseph P. Li Vecchi - 2010 - Philo 13 (1):53-66.
    This article identifies and formalizes the logical features of analogous terms that justify their use in deduction. After a survey of doctrines in Aristotle, Aquinas, and Cajetan, the criteria of “analogy of proper proportionality” are symbolized in first-order predicate logic. A common genus justifies use of a common term, but does not provide the inferential link required for deduction. Rather, the respective differentiae foster this link through their identical proportion. A natural-language argument by analogy is formalized so as to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. The Application of Popperian Methodology to Contemporary Cosmology.Anastasiia Lazutkina - 2021 - In Parusniková Zuzana & Merritt David (eds.), Karl Popper's Science and Philosophy. Cham, Switzerland: Springer. pp. 97-117.
    In this chapter I will discuss Karl Popper’s notion of metaphysical research programmes (MRPs) and apply it to contemporary cosmology. While Popper was extremely critical of Big Bang cosmology, his work on MRPs provides a potentially fruitful way of understanding the discipline in a different light. I will suggest that while cosmology does fail to meet the criteria Popper sets for a mature science, the standard model of cosmology (also known as ΛCDM) could be seen as an example of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Avoiding reification: Heuristic effectiveness of mathematics and the prediction of the omega minus particle.Michele Ginammi - 2016 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 53:20-27.
    According to Steiner (1998), in contemporary physics new important discoveries are often obtained by means of strategies which rely on purely formal mathematical considerations. In such discoveries, mathematics seems to have a peculiar and controversial role, which apparently cannot be accounted for by means of standard methodological criteria. M. Gell-Mann and Y. Ne׳eman׳s prediction of the Ω− particle is usually considered a typical example of application of this kind of strategy. According to Bangu (2008), this prediction is apparently based (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Neurodemocracy: Self-Organization of the Embodied Mind.Linus Huang - 2017 - Dissertation, University of Sydney
    This thesis contributes to a better conceptual understanding of how self-organized control works. I begin by analyzing the control problem and its solution space. I argue that the two prominent solutions offered by classical cognitive science (centralized control with rich commands, e.g., the Fodorian central systems) and embodied cognitive science (distributed control with simple commands, such as the subsumption architecture by Rodney Brooks) are merely two positions in a two-dimensional solution space. I outline two alternative positions: one is distributed control (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. The Unreasonable Destructiveness of Political Correctness in Philosophy.Manuel Doria - 2017 - Philosophies 2 (3):17.
    I submit that epistemic progress in key areas of contemporary academic philosophy has been compromised by politically correct ideology. First, guided by an evolutionary account of ideology, results from social and cognitive psychology and formal philosophical methods, I expose evidence for political bias in contemporary Western academia and sketch a formalization for the contents of beliefs from the PC worldview taken to be of core importance, the theory of social oppression and the thesis of anthropological mental egalitarianism. Then, aided (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Computation in Physical Systems: A Normative Mapping Account.Paul Schweizer - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag. pp. 27-47.
    The relationship between abstract formal procedures and the activities of actual physical systems has proved to be surprisingly subtle and controversial, and there are a number of competing accounts of when a physical system can be properly said to implement a mathematical formalism and hence perform a computation. I defend an account wherein computational descriptions of physical systems are high-level normative interpretations motivated by our pragmatic concerns. Furthermore, the criteria of utility and success vary according to our diverse purposes (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  30. The normative structure of mathematization in systematic biology.Beckett Sterner & Scott Lidgard - 2014 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 46 (1):44-54.
    We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists sought (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  31. A type-theoretical approach for ontologies: The case of roles.Patrick Barlatier & Richard Dapoigny - 2012 - Applied ontology 7 (3):311-356.
    In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem.Most approaches that have addressed this problem rely on Description Logics (DLs) but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
    There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  33. Thoughts on the new international law-making: A new form of international agreement revisited from a triptyke of academic disciplines (2nd edition).Kiyoung Kim - 2023 - Chosun Law Journal 30 (2):3-55.
    From the traditionalist position on international law, a new form of compact agreement, which cannot be classified as an international treaty in terms of academic framework, had long fueled much of contention in politics, international law, and constitutional law. A growing practice of compact agreement had been natural as corresponding with the global compression of international community and rising aspiration of peace regime on the international relations. The scholars of international law believe that, regardless of whether the President of the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Clear Cases.William Conklin - 1981 - University of Toronto Law Journal 31:231-248.
    Theorists of the legal process in common law countries have, in recent years, been preoccupied with hard cases. A hard case occurs where a legal rule or legal rules cannot determine a uniquely correct result when applied to given facts. This paper examines what theorists and law practitioners alike have believed to be a very different kind of case: the clear case. Practising lawyers assure us that clear cases occupy a large percentage of their case load. Professional law teachers design (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Pragmatic Nonsense.Ricardo Peraça Cavassane, Itala M. Loffredo D'Ottaviano & Felipe Sobreira Abrahão - manuscript
    Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression will (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Global Regulatory System of Human Resources Development.Sergii Sardak - 2014 - Dissertation, Київський Національний Економічний Університет Імені Вадима Гетьмана
    ANNOTATION Sardak S.E. Global Regulatory System of Human Resources Development. – Manuscript. Thesis for the Doctor of Economic Science academic degree with major in 08.00.02 – World Economy and international economic relations. – SHEE «Kyiv National Economic University named after Vadym Hetman», Kyiv, 2014. The preconditions and factors of the global economic system with the identified relevant subjects areas and mechanisms of regulation instruments have been investigated. The crucial role of humans in the global economic system as a key factor (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Copredication in homotopy type theory.Hamidreza Bahramian - manuscript
    This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume different requirements for their arguments are asserted for one single entity, e.g., "the lunch was delicious but took forever". This paper is particularly concerned with copredication sentences with quantification, i.e., cases where the two predicates impose distinct criteria of quantification and individuation, e.g., "Fred picked up and mastered (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. A Constructive Critique of the Foundations of Philosophy.Ramesh Nath Patel - 1970 - Dissertation, The University of New Mexico
    A CONSTRUCTIVE CRITIQUE OF THE FOUNDATIONS OF PHILOSOPHY: Abstract of the Ph.D. Dissertation By Ramesh N. Patel June, 1970 -/- Philosophy pursues a rational explication of our understanding, experiences, and values in terms of objective truth and reality. Conspicuously, its view of rationality has been rigid and preconceived. Application of the preconceived reason in the explication of the essential features of our world fails and issues in a network of dialectical tangles. These artificially created tangles pose a unique intellectual challenge, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Gleiche Gerechtigkeit: Grundlagen eines liberalen Egalitarismus.Stefan Gosepath - 2004 - Frankfurt am Main: Suhrkamp.
    Equal Justice explores the role of the idea of equality in liberal theories of justice. The title indicates the book’s two-part thesis: first, I claim that justice is the central moral category in the socio-political domain; second, I argue for a specific conceptual and normative connection between the ideas of justice and equality. This pertains to the age-old question concerning the normative significance of equality in a theory of justice. The book develops an independent, systematic, and comprehensive theory of equality (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  40. Carnap and the Tractatus' Philosophy of Logic.Oskari Kuusela - 2012 - Journal for the History of Analytical Philosophy 1 (3):1-25.
    This article discusses the relation between the early Wittgenstein’s and Carnap’s philosophies of logic, arguing that Carnap’s position in The Logical Syntax of Language is in certain respects much closer to the Tractatus than has been recognized. In Carnapian terms, the Tractatus’ goal is to introduce, by means of quasi-syntactical sentences, syntactical principles and concepts to be used in philosophical clarification in the formal mode. A distinction between the material and formal mode is therefore already part of the Tractatus’ view, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  41. Why did Fermat believe he had `a truly marvellous demonstration' of FLT?Bhupinder Singh Anand - manuscript
    Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Practical reasoning and the act of naming reality.Fabrizio Macagno - 2018 - Revue Internationale de Philosophie 286:393-404.
    In the tradition stemming from Aristotle through Aquinas, rational decision making is seen as a complex structure of distinct phases in which reasoning and will are interconnected. Intention, deliberation, and decision are regarded as the fundamental steps of the decision-making process, in which an end is chosen, the means are specified, and a decision to act is made. Based on this Aristotelian theoretical background, we show how the decision-making process can be modeled as a net of several patterns of reasoning, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Άυλη Πολιτιστική Κληρονομιά (ΑΠΚ) – ο ρόλος των κοινοτήτων και της εκπαίδευσης. Intagible Cultural Heritage (ICH) – the role of communities and education.Georgia Zacharopoulou - 2018 - In Βασιλική Καραβάκου (ed.), ΠΡΑΚΤΙΚΑ 1ου Διεθνούς Επιστημονικού Συνεδρίου, Ηθική, Εκπαίδευση και Ηγεσία, 24-27 Νοεμβρίου 2017, University of Macedonia, Thessaloniki, GR. pp. 53-64.
    Η εύληπτη εκπαιδευτική προσέγγιση ότι «κληρονομιά είναι οτιδήποτε θέλεις “εσύ” να διατηρηθεί για τις επόμενες γενιές» κλονίζεται στην ερώτηση «όλα όσα μας παραδίδονται από τους προγόνους μας αποτελούν μια προς διαφύλαξη κληρονομιά, εφόσον “εσύ” το αποφασίσεις;». Εκφάνσεις «βαρβαρότητας» που διασώζονται σε προγενέστερες εθιμικές πρακτικές θα μπορούσαν άραγε να αποτελέσουν στοιχεία ΑΠΚ προς διαφύλαξη; Η παρούσα εργασία επιχειρεί μια πρώτη ανίχνευση του σύνθετου αυτού θέματος. Περιπτώσεις μελέτης από τον ελληνικό και διεθνή χώρο διερευνώνται με κριτήρια αξιολόγησης τα αναφερόμενα στη Σύμβαση για (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. The Practical and Philosophical Significance of Kant's Universality Formulations of the Categorical Imperative.Mark Timmons - 2005 - In B. Sharon Byrd & Jan C. Joerdan (eds.), Philosophica Practica Universalis: Festschrift for Joachim Hruschka, Jahrbuch fur Recht und Ethik (Annual Review of Law and Ethics). Duncker Und Humblot.
    This article begins with the claim that the Formula of Universal Law, interpreted as a test of the deontic status of actions, can't be made to work. If not, then one might wonder whether what other work it might do in the overall economy of Kant's ethics. I defend what I call the "formal constraint" interpretation of FUL, explaining how it can figure in a defense of the Formula of Humanity, and its psychological significance in moral thinking.
    Download  
     
    Export citation  
     
    Bookmark  
  45. Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal Account.Walter Carnielli, Marcelo E. Coniglio & David Fuenmayor - 2022 - Review of Symbolic Logic 15 (3):771-806.
    One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Cosmic Skepticism and the Beginning of Physical Reality (Doctoral Dissertation).Linford Dan - 2022 - Dissertation, Purdue University
    This dissertation is concerned with two of the largest questions that we can ask about the nature of physical reality: first, whether physical reality begin to exist and, second, what criteria would physical reality have to fulfill in order to have had a beginning? Philosophers of religion and theologians have previously addressed whether physical reality began to exist in the context of defending the Kal{\'a}m Cosmological Argument (KCA) for theism, that is, (P1) everything that begins to exist has a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Criteria of identity without sortals.Justin Mooney - 2023 - Noûs 57 (3):722-739.
    Many philosophers believe that the criteria of identity over time for ordinary objects entail that such objects are permanent members of certain sortal kinds. The sortal kinds in question have come to be known as substance sortal kinds. But in this article, I defend a criterion of identity that is suited to phasalism, the view that alleged substance sortals are in fact phase sortals. The criterion I defend is a sortal‐weighted version of a change‐minimizing criterion first discussed by Eli (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. 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 hand, a common view sees formal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Citizenship in Europe: The Main Stages of Development of the Idea and Institution.Krzysztof Trzcinski - 2021 - Studia Europejskie - Studies in European Affairs 25 (1).
    This paper identifies and synthetically demonstrates the most important steps and changes in the evolution of the idea and institution of citizenship in Europe over more than two thousand years. Citizenship is one of the essential categories defining human status. From a historical perspective, the idea of citizenship in Europe is in a state of constant evolution. Therefore, the essence of the institution of citizenship and its acquisition criteria are continually being transformed. Today’s comprehension of citizenship is different from (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. On the application of formal principles to life science data: A case study in the Gene Ontology.Jacob Köhler, Anand Kumar & Barry Smith - 2004 - In Köhler Jacob, Kumar Anand & Smith Barry (eds.), Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics 2994). Springer. pp. 79-94.
    Formal principles governing best practices in classification and definition have for too long been neglected in the construction of biomedical ontologies, in ways which have important negative consequences for data integration and ontology alignment. We argue that the use of such principles in ontology construction can serve as a valuable tool in error-detection and also in supporting reliable manual curation. We argue also that such principles are a prerequisite for the successful application of advanced data integration techniques such as ontology-based (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
1 — 50 / 962