Results for 'Formalisation'

91 found
Order:
  1. Formalising trade-offs beyond algorithmic fairness: lessons from ethical philosophy and welfare economics.Michelle Seng Ah Lee, Luciano Floridi & Jatinder Singh - 2021 - AI and Ethics 3.
    There is growing concern that decision-making informed by machine learning (ML) algorithms may unfairly discriminate based on personal demographic attributes, such as race and gender. Scholars have responded by introducing numerous mathematical definitions of fairness to test the algorithm, many of which are in conflict with one another. However, these reductionist representations of fairness often bear little resemblance to real-life fairness considerations, which in practice are highly contextual. Moreover, fairness metrics tend to be implemented in narrow and targeted toolkits that (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  2. The Formalisation of Husserl’s Theory of Wholes and Parts.Peter Simons - 1982 - In Barry Smith (ed.), Parts and Moments. Studies in Logic and Formal Ontology. Philosophia Verlag. pp. 111-159.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  3. Formalising the 'No Information Without Data-Representation' Principle.Patrick Allo - 2008 - In P. Brey, A. Briggle & K. Waelbers (eds.), Current Issues in Computing and Philosophy. IOS Press.
    One of the basic principles of the general definition of information is its rejection of dataless information, which is reflected in its endorsement of an ontological neutrality. In general, this principles states that “there can be no information without physical implementation” (Floridi (2005)). Though this is standardly considered a commonsensical assumption, many questions arise with regard to its generalised application. In this paper a combined logic for data and information is elaborated, and specifically used to investigate the consequences of restricted (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Knowing Opposites and Formalising Antonymy.Keith Begley - 2022 - Epistemology and Philosophy of Science 59 (2):85–101.
    This paper discusses knowledge of opposites. In particular, attention is given to the linguistic notion of antonymy and how it represents oppositional relations that are commonly found in perception. The paper draws upon the long history of work on the formalisation of antonymy in linguistics and formal semantics, and also upon work on the perception of opposites in psychology, and an assessment is made of the main approaches. Treatments of these phenomena in linguistics and psychology posit that the principles (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Traits essentiels d'une formalisation adéquate.Gheorghe-Ilie Farte - 2020 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 18 (1):163-174.
    In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of formalization seems to depend (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. À distances raisonnables des structuralismes : logique, langage, formalisation et sciences de l’homme. Une dispute du 20e siècle finissant.Sébastien Plutniak - 2019 - Zilsel. Science, Technique, Société 6:70-115.
    1. Une dispute épistémologique 1.1 Quatre itinéraires à proximité puis à distance des structuralismes 1.2 Un différend sur les « usages réglés du rationalisme » en sciences de l’homme 2. Les mots et les descriptions en sciences de l’homme 2.1 Une commune limitation du déterminisme linguistique 2.2 Un problème philosophique implicite : descriptions définies et noms propres 2.3 L’usage des descriptions définies en sciences de l’homme 2.4 Les (semi-)noms propres des sciences historiques 2.5 Le degré de généralité des concepts employés (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Axiomatics and Problematics as Two Modes of Formalisation: Deleuze's Epistemology of Mathematics'.Daniel W. Smith - 2006 - In Simon Duffy (ed.), Virtual Mathematics: the logic of difference. Clinamen. pp. 145--168.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  8. Remarks on the origin and foundations of formalisation.Srećko Kovač - 2020 - In Marcin Będkowski, Anna Brożek, Alicja Chybińska, Stepan Ivanyk & Dominik Traczykowski (eds.), Formal and Informal Methods in Philosophy. Boston: Brill | Rodopi. pp. 163-179..
    The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal terms in describing syllogisms. The precision and exactness of a formalism, based on the projection of logical forms into perceptive signs, is contrasted with foundational, abstract concepts, independent of any formalism, which are presupposed for the understanding of a formal language. The definition of a formal system by means of a Turing machine is put in the context of Wittgenstein's general considerations of a machine understood as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Computing, Modelling, and Scientific Practice: Foundational Analyses and Limitations.Philippos Papayannopoulos - 2018 - Dissertation,
    This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.
    This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  11. Normalisation and subformula property for a system of classical logic with Tarski’s rule.Nils Kürbis - 2021 - Archive for Mathematical Logic 61 (1):105-129.
    This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. Repairing Socially Aggregated Ontologies Using Axiom Weakening.Daniele Porello, Nicolas Triquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz & Rafael Penaloza - 2017 - In Daniele Porello, Nicolas Triquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz & Rafael Penaloza (eds.), {PRIMA} 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings. Lecture Notes in Computer Science 10621,. pp. 441-449.
    Ontologies represent principled, formalised descriptions of agents’ conceptualisations of a domain. For a community of agents, these descriptions may differ among agents. We propose an aggregative view of the integration of ontologies based on Judgement Aggregation (JA). Agents may vote on statements of the ontologies, and we aim at constructing a collective, integrated ontology, that reflects the individual conceptualisations as much as possible. As several results in JA show, many attractive and widely used aggregation procedures are prone to return inconsistent (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  77
    An Operational Definition of Institutional Beliefs.Cuizhu Wang, Simon Graf & Konrad Werner - forthcoming - In Adam Dyrda, Maciej Juzaszek, Bartosz Biskup & Cuizhu Wang (eds.), Ethics of Institutional Beliefs: From Theoretical to Empirical. Edward Elgar.
    Some of our beliefs are institutional; that is, beliefs whose content is to a large extent shaped by institutions, such as beliefs about intellectual property, trade policy, or traffic rules. In this chapter, we propose a novel account of institutional beliefs, as we call them. In particular, we argue that institutional beliefs are primarily attributable to social entities, such as groups or collectives, and only secondarily to individual agents. This is because institutional beliefs respond to specific problems that, in principle, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Cessation states: Computer simulations, phenomenological assessments, and EMF theories.Chris Percy, Andrés Gómez-Emilsson & Bijan Fakhri - manuscript
    The stream of human consciousness appears to be interruptible, in that we can experience a sensation of ‘returning to ourselves after an absence of content’ (e.g. sleep, anaesthesia, full-absorption meditation). Prima facie, such evidence poses a challenge to simple applications of theories of consciousness based on electromagnetic or neural activity in the brain, because some of this activity persists during periods of interruption. This paper elaborates one of several possible responses to the challenge. We build on a previous theory in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Normalisation for Negative Free Logics Without and with Definite Descriptions.Nils Kürbis - forthcoming - Review of Symbolic Logic.
    This paper proves normalisation theorems for intuitionist and classical negative free logic, without and with the $\invertediota$ operator for definite descriptions. Rules specific to free logic give rise to new kinds of maximal formulas additional to those familiar from standard intuitionist and classical logic. When $\invertediota$ is added it must be ensured that reduction procedures involving replacements of parameters by terms do not introduce new maximal formulas of higher degree than the ones removed. The problem is solved by a rule (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. Contesti in intelligenza artificiale: una fugace rassegna (Context in artificial intelligence: a fleeting overview).Varol Akman - 2002 - In Carlo Penco (ed.), La svolta contestuale. New York: McGraw-Hill.
    The notion of context arises in assorted areas of artificial intelligence (AI), including knowledge representation, natural language processing, intelligent information retrieval, etc. Although the term ‘context’ is frequently employed in descriptions, explanations, and analyses of computer programs in these areas, its meaning is frequently left to the reader’s understanding. -/- My aim in this paper is to offer a swift review of context in AI. I will first identify the role of context in various fields of AI. I will then (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. The Symbolic-Consequences Argument in the Sex Robot Debate.John Danaher - 2017 - In John Danaher & Neil McArthur (eds.), Robot Sex: Social and Ethical Implications. MIT Press.
    This chapter examines a common objection to sex robots: the symbolic-consequences argument. According to this argument sex robots are problematic because they symbolise something disturbing about our attitude to sex-related norms such as consent and the status of our sex partners, and because of the potential consequences of this symbolism. After formalising this objection and considering several real-world uses of it, the chapter subjects it to critical scrutiny. It argues that while there are grounds for thinking that sex robots could (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  18. The logic of being informed.Luciano Floridi - 2006 - Logique Et Analyse 49 (196):433-460.
    One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistemic (EL) and doxastic logic (DL), which formalises the relation “a is informed that p” (Iap) satisfactorily. In this paper, the problem is solved by arguing that the axiom schemata of the normal modal logic (NML) KTB (also known as B or Br or Brouwer’s system) are well suited to formalise the relation of “being informed”. After having shown that IL (...)
    Download  
     
    Export citation  
     
    Bookmark   40 citations  
  19. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). pp. 1-16.
    We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  20. El falsacionismo revisado.Luis Felipe Bartolo Alegre - 2021 - Analítica 11 (11):85-102.
    In this paper I formalise the falsificationist proposal omitting Popper’s requirement of consistency. This omission results in (i) trivial theories being falsifiable in an inappropriate sense of the term, but also in (ii) some inconsistent non-trivial theories being so in an appropriate one. This justifies a slight alteration of the definition of falsifiability that excludes (i) but allows (ii). Instead of requiring that a falsifiable theory be consistent, my proposal only requires that the intersection of its classes of potential corroborators (...)
    Download  
     
    Export citation  
     
    Bookmark  
  21. Stalnaker’s thesis in context.Andrew Bacon - 2015 - Review of Symbolic Logic 8 (1):131-163.
    In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  22. Levels of abstraction and the Turing test.Luciano Floridi - 2010 - Kybernetes 39 (3):423-440.
    An important lesson that philosophy can learn from the Turing Test and computer science more generally concerns the careful use of the method of Levels of Abstraction (LoA). In this paper, the method is first briefly summarised. The constituents of the method are “observables”, collected together and moderated by predicates restraining their “behaviour”. The resulting collection of sets of observables is called a “gradient of abstractions” and it formalises the minimum consistency conditions that the chosen abstractions must satisfy. Two useful (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  23. Miracles, pessimism and scientific realism.John Worrall - unknown
    Worrall argued that structural realism provides a ‘synthesis’ of the main pro-realist argument – the ‘No Miracles Argument’, and the main anti-realist argument – the ‘Pessimistic Induction’. More recently, however, it has been claimed that each of these arguments is an instance of the same probabilistic fallacy – sometimes called the ‘base-rate fallacy’. If correct, this clearly seems to undermine structural realism and Magnus and Callender have indeed claimed that both arguments are fallacious and ‘without [them] we lose the rationale (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  24. Revision Without Revision Sequences: Self-Referential Truth.Edoardo Rivello - 2019 - Journal of Philosophical Logic 48 (3):523-551.
    The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. I want to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  25. Modal logic and philosophy.Sten Lindström & Krister Segerberg - 2006 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 1149-1214.
    Modal logic is one of philosophy’s many children. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. But the ties are still there: philosophy is important to modal logic, modal logic is important for philosophy. Or, at least, this is a thesis we try to defend in this chapter. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field—a (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  26. Towards a Computational History of Ideas.Arianna Betti & Hein Van Den Berg - 2016 - Proceedings of the Third Conference on Digital Humanities in Luxembourg with a Special Focus on Reading Historical Sources in the Digital Age: Luxembourg. Ceur Workshop Proceedings, 1681.
    The History of Ideas is presently enjoying a certain renaissance after a long period of disrepute. Increasing quantities of digitally available historical texts and the availability of computational tools for the exploration of such masses of sources, it is suggested, can be of invaluable help to historians of ideas. The question is: how exactly? In this paper, we argue that a computational history of ideas is possible if the following two conditions are satisfied: (i) Sound Method . A computational history (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  27. Some Comments on Ian Rumfitt’s Bilateralism.Nils Kürbis - 2016 - Journal of Philosophical Logic 45 (6):623-644.
    Ian Rumfitt has proposed systems of bilateral logic for primitive speech acts of assertion and denial, with the purpose of ‘exploring the possibility of specifying the classically intended senses for the connectives in terms of their deductive use’ : 810f). Rumfitt formalises two systems of bilateral logic and gives two arguments for their classical nature. I assess both arguments and conclude that only one system satisfies the meaning-theoretical requirements Rumfitt imposes in his arguments. I then formalise an intuitionist system of (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  28. Self-referential probability.Catrin Campbell-Moore - 2016 - Dissertation, Ludwig-Maximilians-Universität München
    This thesis focuses on expressively rich languages that can formalise talk about probability. These languages have sentences that say something about probabilities of probabilities, but also sentences that say something about the probability of themselves. For example: (π): “The probability of the sentence labelled π is not greater than 1/2.” Such sentences lead to philosophical and technical challenges; but can be useful. For example they bear a close connection to situations where ones confidence in something can affect whether it is (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  29. How to understand the knowledge norm of assertion: Reply to Schlöder.Jonny McIntosh - 2020 - Thought: A Journal of Philosophy 9 (3):207-214.
    Julian Schlöder (2018) examines Timothy Williamson's proposal that knowledge is the norm of assertion within the context of deontic logic. He argues for two claims, one concerning the formalisation of the thesis that knowledge is a norm of assertion and another concerning the formalisation of the thesis that knowledge is the only norm of assertion. On the basis of these claims, Schlöder goes on to raise a series of problems for Williamson's proposal. In response, I argue that both (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  30. What is an animal personality?Marie I. Kaiser & Caroline Müller - 2021 - Biology and Philosophy 36 (1):1-25.
    Individuals of many animal species are said to have a personality. It has been shown that some individuals are bolder than other individuals of the same species, or more sociable or more aggressive. In this paper, we analyse what it means to say that an animal has a personality. We clarify what an animal personality is, that is, its ontology, and how different personality concepts relate to each other, and we examine how personality traits are identified in biological practice. Our (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  31. Arrow's theorem, ultrafilters, and reverse mathematics.Benedict Eastaugh - forthcoming - Review of Symbolic Logic.
    This paper initiates the reverse mathematics of social choice theory, studying Arrow's impossibility theorem and related results including Fishburn's possibility theorem and the Kirman–Sondermann theorem within the framework of reverse mathematics. We formalise fundamental notions of social choice theory in second-order arithmetic, yielding a definition of countable society which is tractable in RCA0. We then show that the Kirman–Sondermann analysis of social welfare functions can be carried out in RCA0. This approach yields a proof of Arrow's theorem in RCA0, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Metaphysical and Postmetaphysical Relationships of Humans with Nature and Life.Guenther Witzany - 2010 - In Witzany Guenther (ed.), Biocommunication and Natural Genome Editing. Dordrecht: Springer. pp. 01-26.
    First, I offer a short overview on the classical occidental philosophy as propounded by the ancient Greeks and the natural philosophies of the last 2000 years until the dawn of the empiricist logic of science in the twentieth century, which wanted to delimitate classical metaphysics from empirical sciences. In contrast to metaphysical concepts which didn’t reflect on the language with which they tried to explain the whole realm of entities empiricist logic of science initiated the end of metaphysical theories by (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  33. La structure absente: introduction à la recherche sémiotique.Umberto Eco - 1984 - Mercure de France.
    A mesure qu'ils avancent dans leur œuvre de prospection, les sémioticiens s'aperçoivent que tout est communication, la langue bien sûr, mais aussi les images, les sons, les objets, les gestes, et que tous ces phénomènes constituent des systèmes de signes qui doivent être étudiés en ramenant chaque message aux codes qui en régissent l'émission et la compréhension. Comprendre les systèmes de signes impose toutefois d'envisager les codes comme des structures, puis de recouvrir à des structures toujours plus vastes, dans un (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  34. The Environment Ontology: Contextualising biological and biomedical entities.Pier Luigi Buttigieg, Norman Morrison, Barry Smith, Christopher J. Mungall & Suzanna E. Lewis - 2013 - Journal of Biomedical Semantics 4 (43):1-9.
    As biological and biomedical research increasingly reference the environmental context of the biological entities under study, the need for formalisation and standardisation of environment descriptors is growing. The Environment Ontology (ENVO) is a community-led, open project which seeks to provide an ontology for specifying a wide range of environments relevant to multiple life science disciplines and, through an open participation model, to accommodate the terminological requirements of all those needing to annotate data using ontology classes. This paper summarises ENVO’s (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  35.  52
    Les descriptions définies ont-elles une logique?Hady Ba - 2024 - le Cahier Philosophique D’Afrique. Revue Internationale de Philosophie 1 (1):25-51.
    La logique peut-elle se détacher des facteurs environnementaux et opérer indépendamment des états mentaux des locuteurs ? Dans cette article, nous montrons comment on est passé d’une réponse positive à une réponse négative à cette question. La critique de la formalisation logique des descriptions définies amorcée par Strawson, a été critiquée et étendue par Donnellan, qui distingue les usage référentiels et attributifs du langage et montre que la formalisation des énoncés en langue naturelle est inextricable de facteurs pragmatiques (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. Taste Fragmentalism.Giuseppe Spolaore, Samuele Iaquinto & Giuliano Torrengo - forthcoming - Erkenntnis:1-19.
    This paper explores taste fragmentalism, a novel approach to matters of taste and faultless disagreement. The view is inspired by Kit Fine’s fragmentalism about time, according to which the temporal dimension can be constituted—in an absolute manner—by states that are pairwise incompatible, provided that they do not obtain together. In the present paper, we will apply this metaphysical framework to taste states. In our proposal, two incompatible taste states (such as the state of rhubarb’s being tasty and the state of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (2):81-97.
    This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  38. Eliminating the ordinals from proofs. An analysis of transfinite recursion.Edoardo Rivello - 2014 - In Proceedings of the Conference "Philosophy, Mathematics, Linguistics. Aspects of Interaction", St. Petersburg, April 21-25, 2014. pp. 174-184.
    Transfinite ordinal numbers enter mathematical practice mainly via the method of definition by transfinite recursion. Outside of axiomatic set theory, there is a significant mathematical tradition in works recasting proofs by transfinite recursion in other terms, mostly with the intention of eliminating the ordinals from the proofs. Leaving aside the different motivations which lead each specific case, we investigate the mathematics of this action of proof transforming and we address the problem of formalising the philosophical notion of elimination which characterises (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Make It So: Imperatival Foundations for Mathematics.Neil Barton, Ethan Russo & Chris Scambler - manuscript
    This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.
    Download  
     
    Export citation  
     
    Bookmark  
  40. Sind Menschenrechte moralische oder juridische Rechte? Are Human Rights Moral or Juridical Rights?Lorenz Engi - 2012 - Ancilla Iuris 1:135 - 175.
    Human rights have a legal and a moral side. In the context of this contribution and from the legal‐philosophical aspect, two characteristics are particularly important in the distinction between law and morals. Law is enacted and set forth in a formalised manner, while morals take effect in an informal way; and law is backed by an institutional system that guarantees sufficient dependability of enforcement (while morals are enforced by means of spontaneous social processes). As regards the classification of human rights, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  42. Towards an Ontological Modelling of Preference Relations.Daniele Porello & Giancarlo Guizzardi - 2018 - In C. Ghidini, B. Magnini, A. Passerini & P. Traverso (eds.), AI*IA 2018 - Advances in Artificial Intelligence - XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings. Springer. pp. 152--165.
    Preference relations are intensively studied in Economics, but they are also approached in AI, Knowledge Representation, and Conceptual Modelling, as they provide a key concept in a variety of domains of application. In this paper, we propose an ontological foundation of preference relations to formalise their essential aspects across domains. Firstly, we shall discuss what is the ontological status of the relata of a preference relation. Secondly, we investigate the place of preference relations within a rich taxonomy of relations (e.g. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  43. Epistemic virtues of harnessing rigorous machine learning systems in ethically sensitive domains.Thomas F. Burns - 2023 - Journal of Medical Ethics 49 (8):547-548.
    Some physicians, in their care of patients at risk of misusing opioids, use machine learning (ML)-based prediction drug monitoring programmes (PDMPs) to guide their decision making in the prescription of opioids. This can cause a conflict: a PDMP Score can indicate a patient is at a high risk of opioid abuse while a patient expressly reports oppositely. The prescriber is then left to balance the credibility and trust of the patient with the PDMP Score. Pozzi1 argues that a prescriber who (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Fragmenting Modal Logic.Samuele Iaquinto, Ciro De Florio & Aldo Frigerio - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Fragmentalism allows incompatible facts to constitute reality in an absolute manner, provided that they fail to obtain together. In recent years, the view has been extensively discussed, with a focus on its formalisation in model-theoretic terms. This paper focuses on three formalisations: Lipman’s approach, the subvaluationist interpretation, and a novel view that has been so far overlooked. The aim of the paper is to explore the application of these formalisations to the alethic modal case. This logical exploration will allow (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Reasoning with reasons: Lewis on common knowledge.Huub Vromen - 2024 - Economics and Philosophy 40 (2):397-418.
    David Lewis is widely regarded as the philosopher who introduced the concept of common knowledge. His account of common knowledge differs greatly from most later accounts in philosophy and economy, with the central notion of his theory being ‘having reason to believe’ rather than ‘knowledge’. Unfortunately, Lewis’s account is rather informal, and the argument has a few gaps. This paper assesses two major attempts to formalise Lewis’s account and argues that these formalisations are missing a crucial aspect of this account. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Transcendental Paralogisms as Formal Fallacies - Kant’s Refutation of Pure Rational Psychology.Toni Kannisto - 2018 - Kant Studien 109 (2):195-227.
    : According to Kant, the arguments of rational psychology are formal fallacies that he calls transcendental paralogisms. It remains heavily debated whether there actually is any formal error in the inferences Kant presents: according to Grier and Allison, they are deductively invalid syllogisms, whereas Bennett, Ameriks, and Van Cleve deny that they are formal fallacies. I advance an interpretation that reconciles these extremes: transcendental paralogisms are sound in general logic but constitute formal fallacies in transcendental logic. By formalising the paralogistic (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Symbolic Conscious Experience.Venkata Rayudu Posina - 2017 - Tattva - Journal of Philosophy 9 (1):1-12.
    Inspired by the eminently successful physical theories and informed by commonplace experiences such as seeing a cat upon looking at a cat, conscious experience is thought of as a measurement or photocopy of given stimulus. Conscious experience, unlike a photocopy, is symbolic—like language—in that the relation between conscious experience and physical stimulus is analogous to that of the word "cat" and its meaning, i.e., arbitrary and yet systematic. We present arguments against the photocopy model and arguments for a symbolic conception (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. A Defence of Falsificationism against Feyerabend's Epistemological Anarchism using the Example of Galilei's Observations with the Telescope.Mario Günther - manuscript
    I confront Feyerabend's position and critical rationalism in order to have a foundation or starting point for my (historical) investigation. The main difference of his position towards falsificationism is the belief that different theories cannot be discussed rationally. Feyerabend is convinced that Galilei's observations with the telescope in the historical context of the Copernican revolution supports his criticism. In particular, he argues that the Copernican theory was supported by deficient hypotheses, and falsifications were disposed by ad hoc hypotheses and propaganda. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. Standards and the distribution of cognitive labour: A model of the dynamics of scientific activity.Langhe Rogieder & Greiff Matthias - 2010 - Logic Journal of the IGPL 18 (2):278-294.
    We present a model of the distribution of labour in science. Such models tend to rely on the mechanism of the invisible hand . Our analysis starts from the necessity of standards in distributed processes and the possibility of multiple standards in science. Invisible hand models turn out to have only limited scope because they are restricted to describing the atypical single-standard case. Our model is a generalisation of these models to J standards; single-standard models such as Kitcher are a (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  50. Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.
    This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 91