Results for 'amodal completion'

1000+ found
Order:
  1. Amodal Completion and Knowledge.Grace Helton & Bence Nanay - 2019 - Analysis 79 (3):415-423.
    Amodal completion is the representation of occluded parts of perceived objects. We argue for the following three claims: First, at least some amodal completion-involved experiences can ground knowledge about the occluded portions of perceived objects. Second, at least some instances of amodal completion-grounded knowledge are not sensitive, that is, it is not the case that in the nearest worlds in which the relevant claim is false, that claim is not believed true. Third, at least (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  59
    Olfactory Amodal Completion.Benjamin D. Young & Bence Nanay - forthcoming - Pacific Philosophical Quarterly.
    Amodal completion is the representation of those parts of the perceived object that we get no sensory stimulation from. While amodal completion is rife and plays an essential role in all sense modalities, philosophical discussions of this phenomenon have almost entirely been limited to vision. The aim of this paper is to examine in what sense we can talk about amodal completion in olfaction. We distinguish three different senses of amodal completion (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Mental Imagery and the Varieties of Amodal Perception.Robert Briscoe - 2011 - Pacific Philosophical Quarterly 92 (2):153-173.
    The problem of amodal perception is the problem of how we represent features of perceived objects that are occluded or otherwise hidden from us. Bence Nanay (2010) has recently proposed that we amodally perceive an object's occluded features by imaginatively projecting them into the relevant regions of visual egocentric space. In this paper, I argue that amodal perception is not a single, unitary capacity. Drawing appropriate distinctions reveals amodal perception to be characterized not only by mental imagery, (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  4. Superimposed Mental Imagery: On the Uses of Make-Perceive.Robert Briscoe - 2018 - In Fiona Macpherson & Fabian Dorsch (eds.), Perceptual Imagination and Perceptual Memory. pp. 161-185.
    Human beings have the ability to ‘augment’ reality by superimposing mental imagery on the visually perceived scene. For example, when deciding how to arrange furniture in a new home, one might project the image of an armchair into an empty corner or the image of a painting onto a wall. The experience of noticing a constellation in the sky at night is also perceptual-imaginative amalgam: it involves both seeing the stars in the constellation and imagining the lines that connect them (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  5. Consciousness and Information Integration.Berit Brogaard, Bartek Chomanski & Dimitria Electra Gatzia - forthcoming - Synthese.
    Integration information theories posit that the integration of information is necessary and/or sufficient for consciousness. In this paper, we focus on three of the most prominent information integration theories: Information Integration Theory, Global Workspace Theory, and Attended Intermediate-Level Theory. We begin by explicating each theory and key concepts they utilize. We then argue that the current evidence indicates that the integration of information is neither necessary nor sufficient for consciousness. Unlike GWT and AIR, IIT maintains that conscious experience is both (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Imagination and Perception.Bence Nanay - 2016 - In Amy Kind (ed.), Routledge Handbook of the Philosophy of Imagination. Routledge.
    Look at a red apple. Now close your eyes and visualize this apple. Your perceptual state and your imagery of the apple are very similar in some respects. They are also different in some respects. The aim of this paper is to address three questions about the relation between perception and imagination: -/- (a) How similar are perception and imagination and what explains this similarity? (b) How different are perception and imagination and what explains this difference? (c) How do perception (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   19 citations  
  7. Through a Shadow, Darkly.István Aranyosi - manuscript
    The dictionary tells you that a shadow is a dark area or volume caused by an opaque object blocking some light. The definition is correct, but we need to clarify a couple of its elements: darkness and blocking. The clarification leads to the view that to see a shadow is a degree of failing to see a surface. I will also argue that seeing a silhouette (i.e. a backlit object) is a particular way of failing to see an object. Thus (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. The Attribute of Realness and the Internal Organization of Perceptual Reality.Rainer Mausfeld - 2013 - In Liliana Albertazzi (ed.), Handbook of Experimental Phenomenology. Visual Peception of Shape, Space and Appearance. Wiley.
    The chapter deals with the notion of phenomenal realness, which was first systematically explored by Albert Michotte. Phenomenal realness refers to the impression that a perceptual object is perceived to have an autonomous existence in our mind-independent world. Perceptual psychology provides an abundance of phenomena, ranging from amodal completion to picture perception, that indicate that phenomenal realness is an independent perceptual attribute that can be conferred to perceptual objects in different degrees. The chapter outlines a theoretical framework that (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  9.  32
    Material Objects as the Singular Subjects of External Perception.Mohan Matthen - forthcoming - In Sensory Individuals: Contemporary Perspectives on Modality-specific and Multimodal Perceptual Objects. Oxford University Press.
    Higher animals need to identify and track material objects because they depend on interactions with them for nutrition, reproduction, and social interaction. This paper investigates the perception of material objects. It argues, first, that material objects are tagged, in all five external senses, as bearers of the features detected by them. This happens through a perceptual process, here entitled Generalized Completion, which creates the appearance of objects that have properties that transcend the activation of sensory receptors. The paper shows, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Perception and Imagination: Amodal Perception as Mental Imagery.Bence Nanay - 2010 - Philosophical Studies 150 (2):239-254.
    When we see an object, we also represent those parts of it that are not visible. The question is how we represent them: this is the problem of amodal perception. I will consider three possible accounts: (a) we see them, (b) we have non-perceptual beliefs about them and (c) we have immediate perceptual access to them, and point out that all of these views face both empirical and conceptual objections. I suggest and defend a fourth account, according to which (...)
    Download  
     
    Export citation  
     
    Bookmark   68 citations  
  11. The Metaphysical Basis of Śāntideva's Ethics.Amod Lele - 2015 - Journal of Buddhist Ethics 22:249-283.
    Western Buddhists often believe and proclaim that metaphysical speculation is irrelevant to Buddhist ethics or practice. This view is problematic even with respect to early Buddhism, and cannot be sustained regarding later Indian Buddhists. In Śāntideva’s famous Bodhicaryāvatāra, multiple claims about the nature of reality are premises for conclusions about how human beings should act; that is, metaphysics logically entails ethics for Śāntideva, as it does for many Western philosophers. This article explores four key arguments that Śāntideva makes from metaphysics (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. The Compassionate Gift of Vice: Śāntideva on Gifts, Altruism, and Poverty.Amod Lele - 2013 - Journal of Buddhist Ethics 20:702-734.
    The Mahāyāna Buddhist thinker Śāntideva tells his audience to give out alcohol, weapons and sex for reasons of Buddhist compassion, though he repeatedly warns of the dangers of all these three. The article shows how Śāntideva resolves this issue: these gifts, and gifts in general, attract their recipients to the virtuous giver, in a way that helps the recipients to become more virtuous in the long run. As a consequence, Śāntideva does recommend the alleviation of poverty, but assigns it a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Ethical Revaluation in the Thought of Śāntideva.Amod Lele - 2007 - Dissertation, Harvard University
    This dissertation examines the idea of _ethical revaluation_ — taking things we normally see as good for our flourishing and seeing them as neutral or bad, and vice versa — in the Mahāyāna Buddhist thinker Śāntideva. It shows how Śāntideva’s thought on the matter is more coherent than it might otherwise appear, first by examining the consistency of Śāntideva’s own claims and then by applying them to contemporary ethical thought. In so doing, it makes four significant contributions. Śāntideva claims that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. Completeness of an Ancient Logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
    In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...)
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  15. Explanatory Completeness and Idealization in Large Brain Simulations: A Mechanistic Perspective.Marcin Miłkowski - 2016 - Synthese 193 (5):1457-1478.
    The claim defended in the paper is that the mechanistic account of explanation can easily embrace idealization in big-scale brain simulations, and that only causally relevant detail should be present in explanatory models. The claim is illustrated with two methodologically different models: Blue Brain, used for particular simulations of the cortical column in hybrid models, and Eliasmith’s SPAUN model that is both biologically realistic and able to explain eight different tasks. By drawing on the mechanistic theory of computational explanation, I (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  16. Artwork Completion: A Response to Gover.Kelly Trogdon & Paisley Livingston - 2015 - Journal of Aesthetics and Art Criticism 73 (4):460-462.
    Response to Gover (2015) on Trogdon and Livingston (2015) on artwork completion.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  17. Completing Rawls's Arguments for Equal Political Liberty and its Fair Value: The Argument From Self-Respect.Meena Krishnamurthy - 2013 - Canadian Journal of Philosophy 43 (2):179-205.
    Despite the vast literature on Rawls's work, few have discussed his arguments for the value of democracy. When his arguments have been discussed, they have received staunch criticism. Some critics have charged that Rawls's arguments are not deeply democratic. Others have gone further, claiming that Rawls's arguments denigrate democracy. These criticisms are unsurprising, since Rawls's arguments, as arguments that the principle of equal basic liberty needs to include democratic liberties, are incomplete. In contrast to his trenchant remarks about core civil (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  18. Completeness and Correspondence in Chellas–Segerberg Semantics.Matthias Unterhuber & Gerhard Schurz - 2014 - Studia Logica 102 (4):891-911.
    We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  19. The Complete Work.Kelly Trogdon & Paisley Livingston - 2014 - Journal of Aesthetics and Art Criticism 72 (3):225-233.
    Defense of a psychological account of what it is for an artwork to be complete.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  20. Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.
    Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  21. Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
    Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congruential modal logic can be extended to one in which the modal operator is truth-functional. As (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Laws and the Completeness of the Fundamental.Martin Glazier - 2016 - In Mark Jago (ed.), Reality Making. Oxford, UK: Oxford University Press. pp. 11-37.
    Any explanation of one fact in terms of another will appeal to some sort of connection between the two. In a causal explanation, the connection might be a causal mechanism or law. But not all explanations are causal, and neither are all explanatory connections. For example, in explaining the fact that a given barn is red in terms of the fact that it is crimson, we might appeal to a non-causal connection between things’ being crimson and their being red. Many (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  23. Completeness in the Theory of Properties, Relations, and Propositions.George Bealer - 1983 - Journal of Symbolic Logic 48 (2):415-426.
    Higher-order theories of properties, relations, and propositions are known to be essentially incomplete relative to their standard notions of validity. It turns out that the first-order theory of PRPs that results when first-order logic is supplemented with a generalized intensional abstraction operation is complete. The construction involves the development of an intensional algebraic semantic method that does not appeal to possible worlds, but rather takes PRPs as primitive entities. This allows for a satisfactory treatment of both the modalities and the (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  24. The Completeness of Kant’s Metaphysical Exposition of Space.Henny74 Blomme - 2012 - Kant-Studien 103 (2):139-162.
    : In the first edition of his book on the completeness of Kant’s table of judgments, Klaus Reich shortly indicates that the B-version of the metaphysical exposition of space in the Critique of pure reason is structured following the inverse order of the table of categories. In this paper, I develop Reich’s claim and provide further evidence for it. My argumentation is as follows: Through analysis of our actually given representation of space as some kind of object, the metaphysical exposition (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Beyond Enacted Experiences.Amod Lele - 2012 - Journal of Integral Theory and Practice 7 (2):72-87.
    Ken Wilber insists that valid knowledge must be derived from paradigms: sets of injunctions and social practices that lead to replicable experiences. In this article, I examine Wilber's claims that the theory still includes the essentials of premodern traditions, because the essentials of those traditions consist of a phenomenological core of practices leading to mystical experience. Drawing on the works of Robert Sharf and Wilhelm Halbfass and on close readings of primary texts, this article argues that mystical paradigms of replicable (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Disengaged Buddhism.Amod Lele - 2019 - Journal of Buddhist Ethics 26:240-89.
    Contemporary engaged Buddhist scholars typically claim either that Buddhism always endorsed social activism, or that its non-endorsement of such activism represented an unwitting lack of progress. This article examines several classical South Asian Buddhist texts that explicitly reject social and political activism. These texts argue for this rejection on the grounds that the most important sources of suffering are not something that activism can fix, and that political involvement interferes with the tranquility required for liberation. The article then examines the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27. Śāntideva.Amod Lele - 2009 - Internet Encyclopedia of Philosophy.
    An encyclopedia article about Śāntideva, the 8th-century Indian Mahāyāna Buddhist philosopher known for his work on ethics. The article explores his history and written corpus and classifies his work (as he does) by way of the "perfections" (pāramitā) of the bodhisattva. It addresses his views on metaphysics and their implications for ethics and practice, as well as his views on gift-giving, anger and other emotions. It also briefly discusses his relationship to virtue ethics and consequentialism.
    Download  
     
    Export citation  
     
    Bookmark  
  28. Complete Concept Molinism.Godehard Brüntrup & Ruben Schneider - 2013 - European Journal for Philosophy of Religion 5 (1):93-108.
    A theoretically rigorous approach to the key problems of Molinism leads to a clear distinction between semantic and metaphysical problems. Answers to semantic problems do not provide answers to metaphysical problems that arise from the theory of middle knowledge. The so-called ‘grounding objection’ to Molinism raises a metaphysical problem. The most promising solution to it is a revised form of the traditional ‘essence solution’. Inspired by Leibniz’s idea of a ‘notio completa’ (complete concept), we propose a mathematical model of ‘possibilistic’ (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. The Completeness of Physics.David Spurrett - 1999 - Dissertation, University of Natal, Durban
    The present work is focussed on the completeness of physics, or what is here called the Completeness Thesis: the claim that the domain of the physical is causally closed. Two major questions are tackled: How best is the Completeness Thesis to be formulated? What can be said in defence of the Completeness Thesis? My principal conclusions are that the Completeness Thesis can be coherently formulated, and that the evidence in favour if it significantly outweighs that against it. In opposition to (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Complete Enumerative Inductions.John Corcoran - 2006 - Bulletin of Symbolic Logic 12:465-6.
    Consider the following. The first is a one-premise argument; the second has two premises. The question sign marks the conclusions as such. -/- Matthew, Mark, Luke, and John wrote Greek. ? Every evangelist wrote Greek. -/- Matthew, Mark, Luke, and John wrote Greek. Every evangelist is Matthew, Mark, Luke, or John. ? Every evangelist wrote Greek. -/- The above pair of premise-conclusion arguments is of a sort familiar to logicians and philosophers of science. In each case the first premise is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Kant on Complete Determination and Infinite Judgement.Nicholas F. Stang - 2012 - British Journal for the History of Philosophy 20 (6):1117-1139.
    In the Transcendental Ideal Kant discusses the principle of complete determination: for every object and every predicate A, the object is either determinately A or not-A. He claims this principle is synthetic, but it appears to follow from the principle of excluded middle, which is analytic. He also makes a puzzling claim in support of its syntheticity: that it represents individual objects as deriving their possibility from the whole of possibility. This raises a puzzle about why Kant regarded it as (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  32. Completeness of a First-Order Temporal Logic with Time-Gaps.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - Theoretical Computer Science 160 (1-2):241-270.
    The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Continuity and Completeness of Strongly Independent Preorders.David McCarthy & Kalle Mikkola - 2018 - Mathematical Social Sciences 93:141-145.
    A strongly independent preorder on a possibly in finite dimensional convex set that satisfi es two of the following conditions must satisfy the third: (i) the Archimedean continuity condition; (ii) mixture continuity; and (iii) comparability under the preorder is an equivalence relation. In addition, if the preorder is nontrivial (has nonempty asymmetric part) and satisfi es two of the following conditions, it must satisfy the third: (i') a modest strengthening of the Archimedean condition; (ii') mixture continuity; and (iii') completeness. Applications (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. Can Physics Ever Be Complete If There is No Fundamental Level in Nature?Markus Schrenk - 2009 - Dialectica 63 (2):205-208.
    In their recent book Every Thing Must Go, Ladyman and Ross claim: (i) Physics is analytically complete since it is the only science that cannot be left incomplete. (ii) There might not be an ontologically fundamental level. (iii) We should not admit anything into our ontology unless it has explanatory and predictive utility. In this discussion note I aim to show that the ontological commitment in implies that the completeness of no science can be achieved where no fundamental level exists. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. On the Causal Completeness of Physics.Agustín Vicente - 2006 - International Studies in the Philosophy of Science 20 (2):149 – 171.
    According to an increasing number of authors, the best, if not the only, argument in favour of physicalism is the so-called 'overdetermination argument'. This argument, if sound, establishes that all the entities that enter into causal interactions with the physical world are physical. One key premise in the overdetermination argument is the principle of the causal closure of the physical world, said to be supported by contemporary physics. In this paper, I examine various ways in which physics may support the (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  36. Consistency, Completeness, and the Meaning of Sign Theories.Mihai Nadin - 1982 - American Journal of Semiotics 1 (3):79-98.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  37. Hunger for Being Born Completely. Plasticity and Desire.Guido Cusinato - 2017 - Philosophical News 14:65-77.
    The main claim of this article is that the plasticity of the human formation process does not consist in receiving passively an already-given shape, like hot wax stamped by a seal. Rather, it creates ever new shapes and makes a person overcome her own self-referential horizon. Furthermore, I argue that this formation process is directed by desire, meant as “hunger for being born completely” (Zambrano). The human being comes into the world without being born completely, and it is precisely such (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. Renormalizability, Fundamentality and a Final Theory: The Role of UV-Completion in the Search for Quantum Gravity.Karen Crowther & Niels Linnemann - 2017 - British Journal for the Philosophy of Science:axx052.
    Principles are central to physical reasoning, particularly in the search for a theory of quantum gravity (QG), where novel empirical data is lacking. One principle widely adopted in the search for QG is UV completion: the idea that a theory should (formally) hold up to all possible high energies. We argue---/contra/ standard scientific practice---that UV-completion is poorly-motivated as a guiding principle in theory-construction, and cannot be used as a criterion of theory-justification in the search for QG. For this, (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  39.  51
    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 of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. On the Possibility of Completing an Infinite Process.Charles S. Chihara - 1965 - Philosophical Review 74 (1):74-87.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  41. Two Concepts of Completing an Infinite Number of Tasks.Jeremy Gwiazda - 2013 - The Reasoner 7 (6):69-70.
    In this paper, two concepts of completing an infinite number of tasks are considered. After discussing supertasks, equisupertasks are introduced. I suggest that equisupertasks are logically possible.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Emergence, Downwards Causation and the Completeness of Physics.David Yates - 2009 - Philosophical Quarterly 59 (234):110-131.
    The 'completeness of physics' is the key premise in the causal argument for physicalism. Standard formulations of it fail to rule out emergent downwards causation. I argue that it must do this if it is tare in a valid causal argument for physicalism. Drawing on the notion of conferring causal power, I formulate a suitable principle, 'strong completeness'. I investigate the metaphysical implications of distinguishing this principle from emergent downwards causation, and I argue that categoricalist accounts of properties are better (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  43. Descartes’s Schism, Locke’s Reunion: Completing the Pragmatic Turn in Epistemology.John Turri & Wesley Buckwalter - 2017 - American Philosophical Quarterly 54 (1):25-46.
    Centuries ago, Descartes and Locke initiated a foundational debate in epistemology over the relationship between knowledge, on the one hand, and practical factors, on the other. Descartes claimed that knowledge and practice are fundamentally separate. Locke claimed that knowledge and practice are fundamentally united. After a period of dormancy, their disagreement has reignited on the contemporary scene. Latter-day Lockeans claim that knowledge itself is essentially connected to, and perhaps even constituted by, practical factors such as how much is at stake, (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  44.  72
    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  
  45. Completions, Constructions, and Corollaries.Thomas Mormann - 2009 - In H. Pulte, G. Hanna & H.-J. Jahnke (eds.), Explanation and Proof in Mathematics: Philosophical and Educational Perspectives. Springer.
    According to Kant, pure intuition is an indispensable ingredient of mathematical proofs. Kant‘s thesis has been considered as obsolete since the advent of modern relational logic at the end of 19th century. Against this logicist orthodoxy Cassirer’s “critical idealism” insisted that formal logic alone could not make sense of the conceptual co-evolution of mathematical and scientific concepts. For Cassirer, idealizations, or, more precisely, idealizing completions, played a fundamental role in the formation of the mathematical and empirical concepts. The aim of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  32
    The Completeness: From Henkin's Proposition to Quantum Computer.Vasil Penchev - 2018 - Логико-Философские Штудии 16 (1-2):134-135.
    The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite sets. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. The Fundamentality of Physics: Completeness or Maximality.Alyssa Ney - 2021 - Oxford Studies in Metaphysics 12.
    There is a standard way of interpreting physicalism. This is as a completeness thesis of some kind. Completeness physicalists believe there is or in principle could be some future physics that provides a complete explanatory or ontological basis for our universe. And this provides a sense in which physics is special among the sciences, the sense in which it is fundamental. This paper contrasts this standard completeness physicalism with what is a more plausible maximality physicalism. Maximality physicalists believe physics is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48.  80
    A Natural Negation Completion of Urquhart's Many-Valued Logic C.José M. Mendez & Francisco Salto - 1998 - Journal of Philosophical Logic 27 (1):75-84.
    Etude de l'extension par la negation semi-intuitionniste de la logique positive des propositions appelee logique C, developpee par A. Urquhart afin de definir une semantique relationnelle valable pour la logique des valeurs infinies de Lukasiewicz (Lw). Evitant les axiomes de contraction et de reduction propres a la logique classique de Dummett, l'A. propose une semantique de type Routley-Meyer pour le systeme d'Urquhart (CI) en tant que celle-la ne fournit que des theories consistantes pour la completude de celui-ci.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  53
    Preface & Complete 1st Chapter.Khuram Rafique - 2019 - In Philosophy Unscrambles Dark Matter.
    Preface thoroughly outlines the development and status of dark matter theory at the time of publishing this book. First chapter is like a combat between mathematical counterintuitive physics and human commonsense and explains that human commonsense equipped with proper philosophical approach is capable to deal with the problem of dark matter. Thus the first chapter makes a case for human commonsense and philosophical method.
    Download  
     
    Export citation  
     
    Bookmark  
  50. Complete Concept Molinism - Der Molinismus vollständiger Begriffe.Godehard Brüntrup & Ruben Schneider - 2015 - In Thomas Marschler & Thomas Schärtl (eds.), Eigenschaften Gottes: Ein Gespräch zwischen systematischer Theologie und analytischer Philosophie. Aschendorff. pp. 363-378.
    Theoretically rigorous approach to the key problems of Molinism.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000