This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related

Contents
54 found
Order:
1 — 50 / 54
  1. A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument.David Fuenmayor & Christoph Benzmueller - manuscript
    Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, computer-assisted interpretive method to an exemplary natural-language ar- gument with strong ties to metaphysics and religion: E. J. Lowe’s modern variant of St. Anselm’s ontological argument for the existence of God. Our new method, which we call computational hermeneutics, has been particularly conceived for use in interactive-automated proof assistants. It aims at shedding light on the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Criteria of empirical significance: a success story.Sebastian Lutz - manuscript
    The sheer multitude of criteria of empirical significance has been taken as evidence that the pre-analytic notion being explicated is too vague to be useful. I show instead that a significant number of these criteria—by Ayer, Popper, Przełęcki, Suppes, and David Lewis, among others—not only form a coherent whole, but also connect directly to the theory of definition, the notion of empirical content as explicated by Ramsey sentences, and the theory of measurement; two criteria by Carnap and Sober are trivial, (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3. Optimizing Political Influence: A Jury Theorem with Dynamic Competence and Dependence.Thomas Mulligan - forthcoming - Social Choice and Welfare.
    The purpose of this paper is to illustrate, formally, an ambiguity in the exercise of political influence. To wit: A voter might exert influence with an eye toward maximizing the probability that the political system (1) obtains the correct (e.g. just) outcome, or (2) obtains the outcome that he judges to be correct (just). And these are two very different things. A variant of Condorcet's Jury Theorem which incorporates the effect of influence on group competence and interdependence is developed. Analytic (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  4. Normative Formal Epistemology as Modelling.Joe Roussos - forthcoming - The British Journal for the Philosophy of Science.
    I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, are characterised (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Experimental Philosophy Meets Formal Epistemology.Jonah N. Schupbach - forthcoming - In Sytsma & Buckwalter (eds.), Blackwell Companion to Experimental Philosophy. Blackwell.
    Formal epistemology is just what it sounds like: epistemology done with formal tools. Coinciding with the general rise in popularity of experimental philosophy, formal epistemologists have begun to apply experimental methods in their own work. In this entry, I survey some of the work at the intersection of formal and experimental epistemology. I show that experimental methods have unique roles to play when epistemology is done formally, and I highlight some ways in which results from formal epistemology have been used (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Pseudosentences, Auto-Misunderstanding, and Formalization.Moritz Cordes - 2023 - In Michael Nathan Goldberg, Andreas Mauz & Christiane Tietz (eds.), Missverstehen -- Zu einer Urszene der Hermeneutik. Brill | Schöningh. pp. 45-69.
    In the early Analytic Philosophy, the concept of a pseudosentence was used as a polemical device. To try and formalize a sentence without success was a means to ›debunk‹ it as a pseudosentence. The classical example is Heidegger’s dictum of the nothing which noths. But, according to Carnap, not only did Carnap not understand what Heidegger said, but also Heidegger himself must have misunderstood his own utterances! Does Carnap's diagnosis remain intact if one admits the possibility of a misunderstanding and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. Does reflective equilibrium help us converge?Andreas Freivogel - 2023 - Synthese 202 (6):1-22.
    I address the worry that reflective equilibrium is too weak as an account of justification because it fails to let differing views converge. I take up informal aspects of convergence and operationalise them in a formal model of reflective equilibrium. This allows for exploration by the means of computer simulation. Findings show that the formal model does not yield unique outputs, but still boosts agreement. I conclude from this that reflective equilibrium is best seen as a pluralist account of justification (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8. How much do you trust me? A logico-mathematical analysis of the concept of the intensity of trust.Michele Loi, Andrea Ferrario & Eleonora Viganò - 2023 - Synthese 201 (6):1-30.
    Trust and monitoring are traditionally antithetical concepts. Describing trust as a property of a relationship of reliance, we introduce a theory of trust and monitoring, which uses mathematical models based on two classes of functions, including _q_-exponentials, and relates the levels of trust to the costs of monitoring. As opposed to several accounts of trust that attempt to identify the special ingredient of reliance and trust relationships, our theory characterizes trust as a quantitative property of certain relations of reliance that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. The competition for knowledge: Shades of gray and rules of thumb.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):50 - 62.
    All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. Sated but Thirsty: A Prolegomenon to Multidimensional Measures of Need-Based Justice.Alexander Max Bauer - 2022 - Axiomathes 32 (3):529-538.
    In attempts to compare different distributions with regards to need, so-called “measures of need-based distributive justice” have emerged in recent years. Each of the proposed measures relies on a single dimension of need that is taken into account. This is shown to be problematic since humans experience different kinds of need that appear to be incommensurable. A strategy to deal with this problem is introduced by using multidimensional measures.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Computer verification for historians of philosophy.Landon D. C. Elkind - 2022 - Synthese 200 (3):1-28.
    Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12. Ideological innocence.Daniel Rubio - 2022 - Synthese 200 (5):1-22.
    Quine taught us the difference between a theory’s ontology and its ideology. Ontology is the things a theory’s quantifiers must range over if it is true, Ideology is the primitive concepts that must be used to state the theory. This allows us to split the theoretical virtue of parsimony into two kinds: ontological parsimony and ideological parsimony. My goal is help illuminate the virtue of ideological parsimony by giving a criterion for ideological innocence—a rule for when additional ideology does not (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Computational Modeling in Philosophy.Simon Scheller, Merdes Christoph & Stephan Hartmann (eds.) - 2022
    Computational modeling should play a central role in philosophy. In this introduction to our topical collection, we propose a small topology of computational modeling in philosophy in general, and show how the various contributions to our topical collection ft into this overall picture. On this basis, we describe some of the ways in which computational models from other disciplines have found their way into philosophy, and how the principles one found here still underlie current trends in the feld. Moreover, we (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Human Symmetry Uncertainty Detected by a Self-Organizing Neural Network Map.Birgitta Dresp-Langley - 2021 - Symmetry 13:299.
    Symmetry in biological and physical systems is a product of self-organization driven by evolutionary processes, or mechanical systems under constraints. Symmetry-based feature extraction or representation by neural networks may unravel the most informative contents in large image databases. Despite significant achievements of artificial intelligence in recognition and classification of regular patterns, the problem of uncertainty remains a major challenge in ambiguous data. In this study, we present an artificial neural network that detects symmetry uncertainty states in human observers. To this (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  15. Changing use of formal methods in philosophy: late 2000s vs. late 2010s.Samuel C. Fletcher, Joshua Knobe, Gregory Wheeler & Brian Allan Woodcock - 2021 - Synthese 199 (5-6):14555-14576.
    Traditionally, logic has been the dominant formal method within philosophy. Are logical methods still dominant today, or have the types of formal methods used in philosophy changed in recent times? To address this question, we coded a sample of philosophy papers from the late 2000s and from the late 2010s for the formal methods they used. The results indicate that the proportion of papers using logical methods remained more or less constant over that time period but the proportion of papers (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16. Groundwork for a pragmatics for formalized languages.David Kashtan - 2021 - Semiotica 2021 (240):211-239.
    The use-mention distinction is elaborated into a four-way distinction between use, formal mention, material mention and pragmatic mention. The notion of pragmatic mention is motivated through the problem of monsters in Kaplanian indexical semantics. It is then formalized and applied in an account of schemata in formalized languages.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. The constituents of an explication.Moritz Cordes - 2020 - Synthese 197 (3):983-1010.
    The method of explication has been somewhat of a hot topic in the last 10 years. Despite the multifaceted research that has been directed at the issue, one may perceive a lack of step-by-step procedural or structural accounts of explication. This paper aims at providing a structural account of the method of explication in continuation of the works of Geo Siegwart. It is enhanced with a detailed terminology for the assessment and comparison of explications. The aim is to provide means (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  18. Philosophical Methods Under Scrutiny: Introduction to the Special Issue "Philosophical Methods".Anna-Maria A. Eder, Insa Lawler & Raphael van Riel - 2020 - Synthese 197 (3):915-923.
    This paper is the introduction to the Special Issue “Philosophical Methods”. The Special Issue will be published by Synthese.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19. A Case Study in Formalizing Contingent a priori Claims.Landon D. C. Elkind - 2020 - Res Philosophica 97 (4):571-591.
    Some philosophers, like Kripke, Williamson, Hawthorne, and Turri, have offered examples of claims that are allegedly contingent and a priori justifiable. If any of these examples is genuine, this would upend the traditional epistemological classification on which (a) all and only a priori justifiable claims are necessary and (b) all and only a posteriori ones are contingent. I argue here that these examples are not genuine. This conclusion is not new, but the strategy pursued here is to formalize these muchdiscussed (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. A Conversation about Modeling in Philosophy.Stephan Hartmann - 2020 - In P. Barrieu (ed.), Dialogues Around Models and Uncertainty An Interdisciplinary Perspective. Singapur: pp. 331–347.
    This is a conversation about the application of modeling methods in philosophy and how modeling helps to address philosophical issues that are otherwise difficult to solve. We also talk about the role of mathematics and language in modeling. As an illustration, we analyze the No Alternatives Argument.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. 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. Leiden: 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 (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. Introduction to Formal Philosophy, edited by Sven Ove Hansson, Vincent F. Hendricks, Esther Michelsen Kjeldahl. [REVIEW]William Peden - 2020 - Teaching Philosophy 43 (2):215-218.
  23. The General Theory of Second Best Is More General Than You Think.David Wiens - 2020 - Philosophers' Imprint 20 (5):1-26.
    Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  24. Editorial introduction to the Topical Issue “Computer Modeling in Philosophy”.Patrick Grim - 2019 - Open Philosophy 2 (1):653-656.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  25. Explication, Description and Enlightenment.Severin Schroeder & John Preston - 2019 - History of Philosophy & Logical Analysis 22 (1):106-120.
    In the first chapter of his book Logical Foundations of Probability, Rudolf Carnap introduced and endorsed a philosophical methodology which he called the method of ‘explication’. P.F. Strawson took issue with this methodology, but it is currently undergoing a revival. In a series of articles, Patrick Maher has recently argued that explication is an appropriate method for ‘formal epistemology’, has defended it against Strawson’s objection, and has himself put it to work in the philosophy of science in further clarification of (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  26. How to Do Digital Philosophy of Science.Charles H. Pence & Grant Ramsey - 2018 - Philosophy of Science 85 (5):930-941.
    Philosophy of science is expanding via the introduction of new digital data and tools for their analysis. The data comprise digitized published books and journal articles, as well as heretofore unpublished material such as images, archival text, notebooks, meeting notes, and programs. The growth in available data is matched by the extensive development of automated analysis tools. The variety of data sources and tools can be overwhelming. In this article, we survey the state of digital work in the philosophy of (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  27. Logic and Philosophy of Logic in Wittgenstein.Sebastian Sunday Grève - 2018 - Australasian Journal of Philosophy 96 (1):168-182.
    This essay discusses Wittgenstein's conception of logic, early and late, and some of the types of logical system that he constructed. The essay shows that the common view according to which Wittgenstein had stopped engaging in logic as a philosophical discipline by the time of writing Philosophical Investigations is mistaken. It is argued that, on the contrary, logic continued to figure at the very heart of later Wittgenstein's philosophy; and that Wittgenstein's mature philosophy of logic contains many interesting thoughts that (...)
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  28. What matters and how it matters: A choice-theoretic representation of moral theories.Franz Dietrich & Christian List - 2017 - Philosophical Review 126 (4):421-479.
    We present a new “reason-based” approach to the formal representation of moral theories, drawing on recent decision-theoretic work. We show that any moral theory within a very large class can be represented in terms of two parameters: a specification of which properties of the objects of moral choice matter in any given context, and a specification of how these properties matter. Reason-based representations provide a very general taxonomy of moral theories, as differences among theories can be attributed to differences in (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  29. 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 by (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Applications of Formal Philosophy: The Road Less Travelled.Gillman Payette & Rafał Urbaniak (eds.) - 2017 - Cham, Switzerland: Springer International Publishing AG.
    This book features mathematical and formal philosophers’ efforts to understand philosophical questions using mathematical techniques. It offers a collection of works from leading researchers in the area, who discuss some of the most fascinating ways formal methods are now being applied. It covers topics such as: the uses of probable and statistical reasoning, rational choice theory, reasoning in the environmental sciences, reasoning about laws and changes of rules, and reasoning about collective decision procedures as well as about action. Utilizing mathematical (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  31. Genuine Process Logic.Wolfgang Sohst - 2017 - Collected Lectures of MoMo Berlin.
    The Genuine Process Logic described here (abbreviation: GPL) places the object-bound process itself at the center of formalism. It should be suitable for everyday use, i.e. it is not primarily intended for the formalization of computer programs, but instead, as a counter-conception to the classical state logics. The new and central operator of the GPL is an action symbol replacing the classical state symbols, e.g. of equivalence or identity. The complete renunciation of object-language state expressions also results in a completely (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Can There Be a Chinese Philosophy?--A Review of Searle's Philosophy and Chinese Philosophy by Bo Mou 440p(2008).Michael Starks - 2017 - Philosophy, Human Nature and the Collapse of Civilization -- Articles and Reviews 2006-2017 3rd Ed 686p(2017).
    This book is invaluable as a synopsis of some of the work of one the greatest philosophers of recent times. There is much value in analyzing his responses to the basic confusions of philosophy, and in the generally excellent attempts to connect classical Chinese thought to modern philosophy. I take a modern Wittgensteinian view to place it in perspective. -/- Those wishing a comprehensive up to date account of Wittgenstein, Searle and their analysis of behavior from the modern two systems (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. Making Sense of Place Attachment: Towards a Holistic Understanding of People-Place Relationships and Experiences.Victor Counted - 2016 - Environment, Space, Place 8 (1):7-32.
    The article is an attempt to make sense of the different interdisciplinary perspectives associated with people’s attachment to places with a view to construct a holistic template for understanding people-place relationships and experiences. The author took note of the theoretical contributions of Jorgensen & Stedman, Scannell & Gifford, and Seamon to construct an integrative framework for understanding emotional links to places and people’s perception and experience of places. This was done with the intention of illuminating the meaning of place and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  34. Formalizing preference utilitarianism in physical world models.Caspar Oesterheld - 2016 - Synthese 193 (9).
    Most ethical work is done at a low level of formality. This makes practical moral questions inaccessible to formal and natural sciences and can lead to misunderstandings in ethical discussion. In this paper, we use Bayesian inference to introduce a formalization of preference utilitarianism in physical world models, specifically cellular automata. Even though our formalization is not immediately applicable, it is a first step in providing ethics and ultimately the question of how to “make the world better” with a formal (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Abductive Philosophy.Timothy Williamson - 2016 - Philosophical Forum 47 (3-4):263-280.
  36. Causal interpretation of Gödel's ontological proof.Srećko Kovač - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 163.201.
    Gödel's ontological argument is related to Gödel's view that causality is the fundamental concept in philosophy. This explicit philosophical intention is developed in the form of an onto-theological Gödelian system based on justification logic. An essentially richer language, so extended, offers the possibility to express new philosophical content. In particular, theorems on the existence of a universal cause on a causal "slingshot" are formulated.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Gödel's "slingshot" argument and his onto-theological system.Srećko Kovač & Kordula Świętorzecka - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 123-162.
    The paper shows that it is possible to obtain a "slingshot" result in Gödel's theory of positiveness in the presence of the theorem of the necessary existence of God. In the context of the reconstruction of Gödel's original "slingshot" argument on the suppositions of non-Fregean logic, this is a natural result. The "slingshot" result occurs in sufficiently strong non-Fregean theories accepting the necessary existence of some entities. However, this feature of a Gödelian theory may be considered not as a trivialisation, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38. The theoretical pragmatics of non-philosophy: Explicating Laruelle's suspension of the principle of sufficient philosophy with Brandom's meaning-use diagrams.Rocco Gangle - 2014 - Angelaki 19 (2):45-57.
    Brandom's method of analyzing pragmatic relations among different practices and vocabularies through meaning-use diagrams is used to specify how Laruelle's nonphilosophical suspension of the Principle of Sufficient Philosophy may be distinguished from the philosophical auto-critiques of such thinkers as Badiou and Derrida. A superposition of diagrams modeling philosophical sufficiency on the one hand and supplementation through the Other on the other provides a schematic representation of the core duality of what Laruelle calls The-Philosophy. In contrast to this self-implicating and self-reproducing (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Hermeneutics, Logic and Reconstruction.Friedrich Reinmuth - 2014 - History of Philosophy & Logical Analysis 17 (1):152–190.
    Using a short excerpt from Anselm's Responsio as an example, this paper tries to present logical reconstruction as a special type of exegetical interpretation by paraphrase that is subject to (adapted) hermeneutic maxims and presumption rules that govern exegetical interpretation in general. As such, logical reconstruction will be distinguished from the non-interpretative enterprise of formalization and from the development of theories of logical form, which provide a framework in which formalization and reconstruction take place. Yet, even though logical reconstruction is (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  40. Why so negative? Evidence aggregation and armchair philosophy.Brian Talbot - 2014 - Synthese 191 (16):3865-3896.
    This paper aims to clarify a debate on philosophical method, and to give a probabilistic argument vindicating armchair philosophy under a wide range of plausible assumptions. The use of intuitions by so-called armchair philosophers has been criticized on empirical grounds. The debate between armchair philosophers and their empirical critics would benefit from greater clarity and precision in our understanding of what it takes for intuition-based approaches to philosophy to make sense. This paper discusses a set of rigorous, probability-based tools for (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41. Modal collapse in Gödel's ontological proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--323.
    After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse of time. As (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Artificial Language Philosophy of Science.Sebastian Lutz - 2011 - European Journal for Philosophy of Science 2 (2):181–203.
    Abstract Artificial language philosophy (also called ‘ideal language philosophy’) is the position that philosophical problems are best solved or dissolved through a reform of language. Its underlying methodology—the development of languages for specific purposes—leads to a conventionalist view of language in general and of concepts in particular. I argue that many philosophical practices can be reinterpreted as applications of artificial language philosophy. In addition, many factually occurring interrelations between the sciences and philosophy of science are justified and clarified by the (...)
    Remove from this list   Direct download (10 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  43. Rekonstruktionen und Rekonstruierbarkeit. Eine Entgegnung auf Jürgen Scherbs "Nichtet das Nichts wirklich nicht?".Moritz Cordes - 2010 - Philosophisches Jahrbuch 117 (1):70-87.
    In a recent essay Jürgen Ludwig Scherb strives for a benevolent reconsideration of Heidegger's famous phrase 'the nothing noths' (,das Nichts nichtet'). In 1932 Rudolf Carnap attacked this expression for being meaningless and a pseudo-sentence. Using Stanislaw Lesniewski's ontology. Scherb reconstructs 'the nothing noths' in the tradition of Desmond Paul Henry. My text tries to show that attempts to rehabilitate Heidegger's dictum by just providing such a reconstruction must fail. Indeed, all that Scherb's and Henry's results illustrate is the trivial (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   4 citations  
  44. The cornucopia of formal-ontological relations.Barry Smith & Pierre Grenon - 2004 - Dialectica 58 (3):279–296.
    The paper presents a new method for generating typologies of formal-ontological relations. The guiding idea is that formal relations are those sorts of relations which hold between entities which are constituents of distinct ontologies. We provide examples of ontologies (in the spirit of Zemach’s classic “Four Ontologies” of 1970), and show how these can be used to give a rich typology of formal relations in a way which also throws light on the opposition between threeand four-dimensionalism.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  45. Some weakened Gödelian ontological systems.Srećko Kovač - 2003 - Journal of Philosophical Logic 32 (6):565-588.
    We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel's relation to Kant.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  46. Formal metaphilosophy in finland.Jan Woleński - 2003 - Poznan Studies in the Philosophy of the Sciences and the Humanities 80 (1):107-131.
    Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections on (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  47. Ought Does Not Imply Can.Paul Saka - 2000 - American Philosophical Quarterly 37 (2):93 - 105.
    Moral philosophers widely believe that it is a part of the MEANING of 'ought' statements that they imply 'can' statements. To this thesis I offer three challenges, and then I conclude on a broader methodological note. (1) Epistemological Modal Argument: for all we know, determinism is true; determinism contradicts “ought implies can”; therefore we don’t know that 'ought' implies 'can'. (2) Metaphysical Modal Argument: determinism is conceptually possible; determinism contradicts “ought implies can”; therefore “ought implies can” is not an analytic (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  48. Gustav Bergmann, New Foundations of Ontology. [REVIEW]Barry Smith - 1995 - Vienna Circle Institute Yearbook 3:304-306.
    The formal ontology here presented is what we might call a typed combinatorial Meinongian mereology. Its author seeks to formulate the laws, here called ‘canons’, regulating how entities can combine together in wholes of different sorts. The method, as in Bergmann’s earlier works, involves the construction of an ideal language of such a sort that the analysis of complex wholes can be achieved by transforming our natural-language representations of reality into what we might think of as artificial characteristic maps or (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Reply to an Objection to Animal Rights.Joseph S. Fulda - 1992 - Journal of Value Inquiry 26 (1):87-88.
    Notwithstanding the numerous errors in this piece, the core teaching remains unscathed: Arithmetic (or any other branch of mathematics) cannot do moral work. If it appears otherwise, that simply means some nonstandard version of the relevant area of mathematics will work. -/- Negative results can indeed sometimes be shown using mathematics, but not on such fundamental normative questions as whether something/someone has rights. Also, mathematics can put into relief, sometimes, a fundamental normative question, even though it cannot resolve it.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Formal ontology.Nino Cocchiarella - 1991 - In Hans Burkhardt & Barry Smith (eds.), Handbook of metaphysics and ontology. Munich: Philosophia Verlag. pp. 640--647.
    Remove from this list  
     
    Export citation  
     
    Bookmark   13 citations  
1 — 50 / 54