Results for 'Algorithmic correspondence theory'

1000+ found
Order:
  1.  39
    Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  56
    Algorithmic Correspondence and Completeness in Modal Logic. V. Recursive Extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.
    The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. A Correspondence Theory of Truth.Jay Newhard - 2002 - Dissertation, Brown University
    The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Inter-Theory Relations in Quantum Gravity: Correspondence, Reduction, and Emergence.Karen Crowther - 2017 - Studies in History and Philosophy of Modern Physics.
    Relationships between current theories, and relationships between current theories and the sought theory of quantum gravity (QG), play an essential role in motivating the need for QG, aiding the search for QG, and defining what would count as QG. Correspondence is the broad class of inter-theory relationships intended to demonstrate the necessary compatibility of two theories whose domains of validity overlap, in the overlap regions. The variety of roles that correspondence plays in the search for QG (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Review of Joshua Rasmussen's Defending the Correspondence Theory of Truth. [REVIEW]Joseph Ulatowski - 2015 - Polish Journal of Philosophy 9 (2):83-89.
    Download  
     
    Export citation  
     
    Bookmark  
  6.  86
    The Correspondence Principle in Quantum Field Theory and Quantum Gravity.Damiano Anselmi - manuscript
    We discuss the fate of the correspondence principle beyond quantum mechanics, specifically in quantum field theory and quantum gravity, in connection with the intrinsic limitations of the human ability to observe the external world. We conclude that the best correspondence principle is made of unitarity, locality, proper renormalizability (a refinement of strict renormalizability), combined with fundamental local symmetries and the requirement of having a finite number of fields. Quantum gravity is identified in an essentially unique way. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. A Correspondence Theory of Objects? On Kant's Notions of Truth, Object, and Actuality.Alberto Vanzo - 2008 - History of Philosophy Quarterly 25 (3):259-275.
    Ernst Cassirer claimed that Kant's notion of actual object presupposes the notion of truth. Therefore, Kant cannot define truth as the correspondence of a judgement with an actual object. In this paper, I discuss the relations between Kant's notions of truth, object, and actuality. I argue that's notion of actual object does not presuppose the notion of truth. I conclude that Kant can define truth as the correspondence of a judgement with an actual object.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Matthew McGrath, Between Deflationism & Correspondence Theory[REVIEW]Jay Newhard - 2002 - Philosophy in Review 22 (1):53-54.
    Download  
     
    Export citation  
     
    Bookmark  
  9. Algorithmic Information Theory and Undecidability.Panu Raatikainen - 2000 - Synthese 123 (2):217-225.
    Chaitin’s incompleteness result related to random reals and the halting probability has been advertised as the ultimate and the strongest possible version of the incompleteness and undecidability theorems. It is argued that such claims are exaggerations.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  78
    Quantum Mechanics and Consciousness: Thoughts on a Causal Correspondence Theory.Ian J. Thompson - 2017 - In S. Gosh (ed.), Quantum Physics & Consciousness - Thoughts of Founding Fathers of Quantum Physics and other Renowned Scholars. Kolkata, India: Bhaktivedanta Institute. pp. 173-185.
    Which way does causation proceed? The pattern in the material world seems to be upward: particles to molecules to organisms to brains to mental processes. In contrast, the principles of quantum mechanics allow us to see a pattern of downward causation. These new ideas describe sets of multiple levels in which each level influences the levels below it through generation and selection. Top-down causation makes exciting sense of the world: we can find analogies in psychology, in the formation of our (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11.  37
    Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 2005 - In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 5. Kings College London Publ.. pp. 17-51.
    In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Action Guidance is Not Enough, Representations Need Correspondence Too: A Plea for a Two-Factor Theory of Representation.Paweł Gładziejewski - 2015 - New Ideas in Psychology:doi:10.1016/j.newideapsych.2015..
    The aim of this article is to critically examine what I call Action-Centric Theories of Representation (ACToRs). I include in this category theories of representation that (1) reject construing representation in terms of a relation that holds between representation itself (the representational vehicle) and what is represented, and instead (2) try to bring the function that representations play for cognitive systems to the center stage. Roughly speaking, according to proponents of ACToRs, what makes a representation (that is, what is constitutive (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Toward an Algorithmic Metaphysics.Steve Petersen - 2013 - In David Dowe (ed.), Algorithmic Probability and Friends: Bayesian Prediction and Artificial Intelligence. Springer. pp. 306-317.
    There are writers in both metaphysics and algorithmic information theory (AIT) who seem to think that the latter could provide a formal theory of the former. This paper is intended as a step in that direction. It demonstrates how AIT might be used to define basic metaphysical notions such as *object* and *property* for a simple, idealized world. The extent to which these definitions capture intuitions about the metaphysics of the simple world, times the extent to which (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Brentano's Criticism of the Correspondence Conception of Truth and Tarski's Semantic Theory.Jan Woleński - 1989 - Topoi 8 (2):105-110.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  67
    Introduction and Commentary on Jennifer Hornsby's "Truth: The Identity Theory".Gila Sher - 2013 - Aristotelian Society 1:204-213.
    Jennifer Hornsby’s 1997 paper, ‘Truth: The Identity Theory’, has been highly influential in making the identity theory of truth a viable option in contemporary philosophy. In this introduction and commentary I focus on what distinguishes her theory and its methodology from the correspondence theory and the ‘substantivist’ methodology, and on other issues that have not been widely discussed in earlier commentaries yet are central to the current debate on truth.
    Download  
     
    Export citation  
     
    Bookmark  
  16. Marxism and Materialism: A Study in Marxist Theory of Knowledge.David-Hillel Ruben - 1979 - Humanities Press.
    Argument that Marx has a realist ontology and a correspondence theory of truth. His views are compared to both Hegel's and Kant's. This interpretation departs from more Hegelian, 'idealist' interpretations that often rely on misunderstanding some of the work of the early Marx. There is also a discussion and partial defence of Lenin's Materialism and Empirio-Criticism.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Is Evolution Algorithmic?Marcin Miłkowski - 2009 - Minds and Machines 19 (4):465-475.
    In Darwin’s Dangerous Idea, Daniel Dennett claims that evolution is algorithmic. On Dennett’s analysis, evolutionary processes are trivially algorithmic because he assumes that all natural processes are algorithmic. I will argue that there are more robust ways to understand algorithmic processes that make the claim that evolution is algorithmic empirical and not conceptual. While laws of nature can be seen as compression algorithms of information about the world, it does not follow logically that they are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18.  82
    Algorithmic Fairness From a Non-Ideal Perspective.Sina Fazelpour & Zachary C. Lipton - manuscript
    Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Truth, Correspondence, Models, and Tarski.Panu Raatikainen - 2007 - In Approaching Truth: Essays in Honour of Ilkka Niiniluoto. London: College Press. pp. 99-112.
    In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Truth, Pluralism, Monism, Correspondence.Cory Wright & Nikolaj Jang Lee Linding Pedersen - 2010 - In Cory D. Wright & Nikolaj J. L. L. Pedersen (eds.), New Waves in Truth. Palgrave-Macmillan.
    When talking about truth, we ordinarily take ourselves to be talking about one-and-the-same thing. Alethic monists suggest that theorizing about truth ought to begin with this default or pre-reflective stance, and, subsequently, parlay it into a set of theoretical principles that are aptly summarized by the thesis that truth is one. Foremost among them is the invariance principle.
    Download  
     
    Export citation  
     
    Bookmark  
  21. On the Solvability of the Mind-Body Problem.Jan Scheffel - manuscript
    The mind-body problem is analyzed in a physicalist perspective. By combining the concepts of emergence and algorithmic information theory in a thought experiment employing a basic nonlinear process, it is shown that epistemically strongly emergent properties may develop in a physical system. Turning to the significantly more complex neural network of the brain it is subsequently argued that consciousness is epistemically emergent. Thus reductionist understanding of consciousness appears not possible; the mind-body problem does not have a reductionist solution. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. A Compromise Between Reductionism and Non-Reductionism.Eray Özkural - 2007 - In Carlos Gershenson, Diederik Aerts & Bruce Edmonds (eds.), Worldviews, Science, and Us: Philosophy and Complexity. World Scientific. pp. 285.
    This paper investigates the seeming incompatibility of reductionism and non-reductionism in the context of complexity sciences. I review algorithmic information theory for this purpose. I offer two physical metaphors to form a better understanding of algorithmic complexity, and I briefly discuss its advantages, shortcomings and applications. Then, I revisit the non-reductionist approaches in philosophy of mind which are often arguments from ignorance to counter physicalism. A new approach called mild non-reductionism is proposed which reconciliates the necessities of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. The Unsolvability of the Mind-Body Problem Liberates the Will.Scheffel Jan - manuscript
    The mind-body problem is analyzed in a physicalist perspective. By combining the concepts of emergence and algorithmic information theory in a thought experiment employing a basic nonlinear process, it is argued that epistemically strongly emergent properties may develop in a physical system. A comparison with the significantly more complex neural network of the brain shows that also consciousness is epistemically emergent in a strong sense. Thus reductionist understanding of consciousness appears not possible; the mind-body problem does not have (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24.  46
    Modal Definability in Enriched Languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.
    The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  25. Re-Formulating The Generalized Correspondence Principle.Michael Shaffer - 2008 - Polish Journal of Philosophy 2 (1):99-115.
    This paper presents a more clear formulation of the correspondence principle and explores its justification.
    Download  
     
    Export citation  
     
    Bookmark  
  26. Character and Theory of Mind: An Integrative Approach.Evan Westra - 2018 - Philosophical Studies 175 (5):1217-1241.
    Traditionally, theories of mindreading have focused on the representation of beliefs and desires. However, decades of social psychology and social neuroscience have shown that, in addition to reasoning about beliefs and desires, human beings also use representations of character traits to predict and interpret behavior. While a few recent accounts have attempted to accommodate these findings, they have not succeeded in explaining the relation between trait attribution and belief-desire reasoning. On my account, character-trait attribution is part of a hierarchical system (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  27.  99
    Some Formal Moments of Truth.Barry Smith - 1982 - In Werner Leinfellner (ed.), Language and Ontology. Vienna: Hölder-Pichler-Tempsky / Reidel. pp. 186-90.
    A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  28.  77
    Epistemic Friction: An Essay on Knowledge, Truth, and Logic.Gila Sher - 2016 - Oxford: Oxford University Press UK.
    Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  29. Truthmakers Against Correspondence.Jamin Asay - 2020 - Grazer Philosophische Studien 97 (2):271-293.
    Many philosophers think truthmaker theory offers a correspondence theory of truth. Despite the similarities, however, this identification cannot be correct. Truthmaker theory offers no theory of truth, nor can it be employed to offer an acceptable substantive theory of truth. Instead, truthmaker theory takes truth for granted. Though truthmaker theory is not a correspondence theory, it shares with it the same motivational basis—that truth is worldly—and better accounts for what is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Nietzsche's Conception of Truth: Correspondence, Coherence, or Pragmatist? Remhof - 2015 - Journal of Nietzsche Studies 46 (2):239-248.
    Nearly every common theory of truth has been attributed to Nietzsche, while some commentators have argued that he simply has no theory of truth. This essay argues that Nietzsche's remarks on truth are best situated within either the coherence or pragmatist theories of truth rather than the correspondence theory. Nietzsche's thoughts on truth conflict with the correspondence framework because he believes that the truth conditions of propositions are constitutively dependent on our actions.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  46
    Fakeons, Quantum Gravity and the Correspondence Principle.Damiano Anselmi - manuscript
    The correspondence principle made of unitarity, locality and renormalizability has been very successful in quantum field theory. Among the other things, it helped us build the standard model. However, it also showed important limitations. For example, it failed to restrict the gauge group and the matter sector in a powerful way. After discussing its effectiveness, we upgrade it to make room for quantum gravity. The unitarity assumption is better understood, since it allows for the presence of physical particles (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Defining a Crisis: The Roles of Principles in the Search for a Theory of Quantum Gravity.Karen Crowther - forthcoming - Synthese:1-28.
    In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required---physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  74
    A Critique of the Causal Theory of Memory.Marina Trakas - 2010 - Dissertation,
    In this Master's dissertation, I try to show that the causal theory of memory, which is the only theory developed so far that at first view seems more plausible and that could be integrated with psychological explanations and investigations of memory, shows some conceptual and ontological problems that go beyond the internal inconsistencies that each version can present. On one hand, the memory phenomenon analyzed is very limited: in general it is reduced to the conscious act of remembering (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Against Truth.Jamin Asay - 2014 - Erkenntnis 79 (1):147-164.
    I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse property, regardless of how one understands the nature of sparse properties. I (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  35. Composition as Pattern.Steve Petersen - 2019 - Philosophical Studies 176 (5):1119-1139.
    I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. One Decade of Universal Artificial Intelligence.Marcus Hutter - 2012 - In Pei Wang & Ben Goertzel (eds.), Theoretical Foundations of Artificial General Intelligence. Springer. pp. 67--88.
    The first decade of this century has seen the nascency of the first mathematical theory of general artificial intelligence. This theory of Universal Artificial Intelligence (UAI) has made significant contributions to many theoretical, philosophical, and practical AI questions. In a series of papers culminating in book (Hutter, 2005), an exciting sound and complete mathematical model for a super intelligent agent (AIXI) has been developed and rigorously analyzed. While nowadays most AI researchers avoid discussing intelligence, the award-winning PhD thesis (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. Logic, Logical Form and the Disunity of Truth.Will Gamester - 2019 - Analysis 79 (1):34-43.
    Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on a metaphysics of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. On Interpreting Chaitin's Incompleteness Theorem.Panu Raatikainen - 1998 - Journal of Philosophical Logic 27 (6):569-586.
    The aim of this paper is to comprehensively question the validity of the standard way of interpreting Chaitin's famous incompleteness theorem, which says that for every formalized theory of arithmetic there is a finite constant c such that the theory in question cannot prove any particular number to have Kolmogorov complexity larger than c. The received interpretation of theorem claims that the limiting constant is determined by the complexity of the theory itself, which is assumed to be (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  39. Logic and the Sachverhalt.Barry Smith - 1989 - The Monist 72 (1):52-69.
    Those who conceive logic as a science have generally favoured one of two alternative conceptions as to what the subject-matter of this science ought to be. On the one hand is the nowadays somewhat old-fashioned-seeming view of logic as the science of judgment, or of thinking or reasoning activities in general. On the other hand is the view of logic as a science of ideal meanings, 'thoughts', or 'propositions in themselves'. There is, however, a third alternative conception, which enjoyed only (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  40. Pluralism and the Absence of Truth.Jeremy Wyatt - 2014 - Dissertation, University of Connecticut
    In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the suspicion (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Duality and Ontology.Baptiste Le Bihan & James Read - 2018 - Philosophy Compass 13 (12):e12555.
    A ‘duality’ is a formal mapping between the spaces of solutions of two empirically equivalent theories. In recent times, dualities have been found to be pervasive in string theory and quantum field theory. Naïvely interpreted, duality-related theories appear to make very different ontological claims about the world—differing in e.g. space-time structure, fundamental ontology, and mereological structure. In light of this, duality-related theories raise questions familiar from discussions of underdetermination in the philosophy of science: in the presence of dual (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  42. The Nature of Truth.Jeremiah Joven Joaquin, Robert James M. Boyles, Mark Anthony Dacela & Victorino Raymundo Lualhati - 2013 - In Leni Garcia (ed.), Exploring the Philosophical Terrain. C&E Publishing. pp. 38–50.
    This article surveys different philosophical theories about the nature of truth. We give much importance to truth; some demand to know it, some fear it, and others would even die for it. But what exactly is truth? What is its nature? Does it even have a nature in the first place? When do we say that some truth-bearers are true? Philosophers offer varying answers to these questions. In this article, some of these answers are explored and some of the problems (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Truthmaking, Truth, and Realism: New Work for a Theory of Truthmakers.Jamin Asay - 2011 - Dissertation, University of North Carolina at Chapel Hill
    Truthmaker theory begins with the idea that truth depends upon reality. When a truth-bearer is true, that is because something or other in the world makes it true. My dissertation offers a theory of truthmakers that shows how we should flesh out this thought while avoiding the contentious metaphysical commitments that are built into other truthmaker theories. Because of these commitments, many philosophers have come to view truthmaker theory as being essentially tied to correspondence theories of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  44. Constraints on Correspondence.Barry Smith - 1989 - In H. Rutte, W. Sauer & W. Gombocz (eds.), Traditionen und Perspektiven der analytischen Philosophie: Festschrift für Rudolf Haller. Vienna: Hölder/Pichler/Tempsky. pp. 415-430.
    My aim is to lay down some constraints on a correspondence theory of truth for empirical sentences of a natural language on the basis of a theory according to which that to which a true empirical sentence of such a language corresponds is a part of the natural world. The problem is to find some means of delineating those portions of the world which serve as correspondents, portions of reality otherwise called ‘truthmakers’.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  45.  66
    Elementary Canonical Formulae: Extending Sahlqvist’s Theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  46. Mind-Body problemets olösbarhet frigör viljan.Jan Scheffel - manuscript
    Mind-body problemet analyseras i ett reduktionistiskt perspektiv. Genom att kombinera emergensbegreppet med algoritmisk informationsteori visas i ett tankeexperiment att ett starkt epistemiskt emergent system kan konstrueras utifrån en relativt enkel, ickelinjär process. En jämförelse med hjärnans avsevärt mer komplexa neurala nätverk visar att även medvetandet kan karakteriseras som starkt epistemiskt emergent. Därmed är reduktionistisk förståelse av medvetandet inte möjlig; mind-body problemet har alltså inte en reduktionistisk lösning. Medvetandets ontologiskt emergenta karaktär kan därefter konstateras utifrån en kombinatorisk analys; det är därmed (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  47.  77
    Les attitudes russelliennes.Fabien Schang - 2017 - Cahiers de Philosophie de L’Université de Caen 54:149-168.
    Russell prétend qu’un examen des croyances est indispensable pour définir nos raisonnements quotidiens et comprendre ce que les philosophes entendent par la notion de vérité. Cela étant, l’auteur considère qu’une étude de ces croyances n’a aucun rapport avec la logique, laquelle concerne uniquement le vrai et le faux. En d’autres termes, Russell associe croyance et psychologie tout en réservant le domaine de la logique au thème de la proposition, vraie ou fausse par définition. Une certaine théorie de la vérité sous-tend (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  72
    Referent Tracking: The Problem of Negative Findings.Werner Ceusters, Peter Elkin & Barry Smith - 2006 - Studies in Health Technology and Informatics 124:741-46.
    The paradigm of referent tracking is based on a realist presupposition which rejects so-called negative entities (congenital absent nipple, and the like) as spurious. How, then, can a referent tracking-based Electronic Health Record deal with what are standardly called ‘negative findings’? To answer this question we carried out an analysis of some 748 sentences drawn from patient charts and containing some form of negation. Our analysis shows that to deal with these sentences we need to introduce a new ontological relationship (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  49. Can Beliefs Correspond to Reality?Howard Darmstadter - 1974 - Journal of Philosophy 71 (10):302-314.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Exploring Randomness.Panu Raatikainen - 2001 - Notices of the AMS 48 (9):992-6.
    Review of "Exploring Randomness" (200) and "The Unknowable" (1999) by Gregory Chaitin.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000