Results for 'COMPLETENESS'

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 some instances of amodal completion-grounded knowledge (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. 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  
  3. 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  
  4. Artwork Completion: A Response to Gover.Kelly Trogdon & Paisley Nathan 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  
  5. 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  
  6. 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  
  7. The Complete Work.Kelly Trogdon & Paisley Nathan 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  
  8. 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  9. 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   26 citations  
  10. 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  
  11. 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  
  12. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14. 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  
  15. 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  
  16. 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  
  17. 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. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. 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  
  19. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. 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  
  21. 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  
  22. External Goods and the Complete Exercise of Virtue in Aristotle’s Nicomachean Ethics.Sukaina Hirji - 2021 - Archiv für Geschichte der Philosophie 103 (1):29-53.
    In Nicomachean Ethics 1.8, Aristotle seems to argue that certain external goods are needed for happiness because, in the first place, they are needed for virtuous activity. This has puzzled scholars. After all, it seems possible for a virtuous agent to exercise her virtuous character even under conditions of extreme hardship or deprivation. Indeed, it is natural to think these are precisely the conditions under which one's virtue shines through most clearly. Why then does Aristotle think that a wide range (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. 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  
  24. 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, we explore (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  25. On the Possibility of Completing an Infinite Process.Charles S. Chihara - 1965 - Philosophical Review 74 (1):74-87.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  26.  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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. 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  
  28. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  29. 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  
  30.  74
    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  
  31. 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  
  32.  41
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33.  10
    Completeness, Self-Sufficiency, and Intimacy in Seneca’s Account of Friendship.Carissa Phillips-Garrett - 2021 - Ancient Philosophy Today 3 (2):200-221.
    Examining Seneca’s account of friendship produces an interpretative puzzle: if the good of the Stoic sage is already both complete and self-sufficient, how can friendship be a good? I reject the solution that friendship is simply a preferred indifferent instead of a good and argue that though Seneca’s account can consistently explain both why friendship’s nature as a good does not threaten the completeness or the self-sufficiency of the sage, Stoic friends must choose between intimate friendships that leave them (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  82
    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  
  35.  64
    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  
  36. 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  
  37.  32
    Patient Satisfaction with Complete Denture Prosthesis Made By Clinical Year Students at the Faculty of Dentistry, Al Azhar University - Gaza.Waseem Mushtaha, Haya Abu Harb, Walid Elhout & Abdelrhman Seyam - 2020 - International Journal of Academic Health and Medical Research (IJAHMR) 4 (10):1-6.
    Objective: Patients' satisfaction is one of the most important goals in complete denture therapy, and there are many factors influencing this parameter. This study aimed to determine patient satisfaction with conventional removable complete denture made by clinical year students at the Faculty of Dentistry, Al Azhar University - Gaza. Methods: A sample of 85 patient who had conventional removable complete denture made by clinical year students at the Faculty of Dentistry Al Azhar University - Gaza filled a questionnaire two months (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38.  84
    On Turing Completeness, or Why We Are So Many.Ramón Casares - manuscript
    Why are we so many? Or, in other words, Why is our species so successful? The ultimate cause of our success as species is that we, Homo sapiens, are the first and the only Turing complete species. Turing completeness is the capacity of some hardware to compute by software whatever hardware can compute. -/- To reach the answer, I propose to see evolution and computing from the problem solving point of view. Then, solving more problems is evolutionarily better, computing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. Completeness of a Hypersequent Calculus for Some First-Order Gödel Logics with Delta.Matthias Baaz, Norbert Preining & Richard Zach - 2006 - In 36th International Symposium on Multiple-valued Logic. May 2006, Singapore. Proceedings. Los Alamitos: IEEE Press.
    All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF.
    Download  
     
    Export citation  
     
    Bookmark  
  40.  29
    A Henkin-Style Completeness Proof for the Modal Logic S5.Bruno Bentzen - 2021 - In Pietro Baroni, Christoph Benzmüller & Yì N. Wáng (eds.), Logic and Argumentation: Fourth International Conference, CLAR 2021, Hangzhou, China, October 20–22. Springer. pp. 459-467.
    This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41.  72
    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 – spatial, temporal and feature-based completion – and argue (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42.  99
    The Quantum Strategy of Completeness: On the Self-Foundation of Mathematics.Vasil Penchev - 2020 - Cultural Anthropology eJournal (Elsevier: SSRN) 5 (136):1-12.
    Gentzen’s approach by transfinite induction and that of intuitionist Heyting arithmetic to completeness and the self-foundation of mathematics are compared and opposed to the Gödel incompleteness results as to Peano arithmetic. Quantum mechanics involves infinity by Hilbert space, but it is finitist as any experimental science. The absence of hidden variables in it interpretable as its completeness should resurrect Hilbert’s finitism at the cost of relevant modification of the latter already hinted by intuitionism and Gentzen’s approaches for (...). This paper investigates both conditions and philosophical background necessary for that modification. The main conclusion is that the concept of infinity as underlying contemporary mathematics cannot be reduced to a single Peano arithmetic, but to at least two ones independent of each other. Intuitionism, quantum mechanics, and Gentzen’s approaches to completeness an even Hilbert’s finitism can be unified from that viewpoint. Mathematics may found itself by a way of finitism complemented by choice. The concept of information as the quantity of choices underlies that viewpoint. Quantum mechanics interpretable in terms of information and quantum information is inseparable from mathematics and its foundation. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  43. A Proof of the Impossibility of Completing Infinitely Many Tasks.Jeremy Gwiazda - 2012 - Pacific Philosophical Quarterly 93 (1):1-7.
    In this article, I argue that it is impossible to complete infinitely many tasks in a finite time. A key premise in my argument is that the only way to get to 0 tasks remaining is from 1 task remaining, when tasks are done 1-by-1. I suggest that the only way to deny this premise is by begging the question, that is, by assuming that supertasks are possible. I go on to present one reason why this conclusion (that supertasks are (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Will, Obligatory Ends and the Completion of Practical Reason: Comments on Barbara Herman's Moral Literacy.Andrews Reath - 2011 - Kantian Review 16 (1):1-15.
    This paper discusses three inter-related themes in Barbara Herman's Moral Literacy norm-constituted power completes’ practical reason or rational agency.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Response to Mole: Subjects Can Attend to Completely Invisible Objects.C. Koch & N. Tsuchiya - 2008 - Trends in Cognitive Sciences 12 (2):44-45.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  47. Two Strategies to Infinity: Completeness and Incompleteness. The Completeness of Quantum Mechanics.Vasil Penchev - 2020 - High Performance Computing eJournal 12 (11):1-8.
    Two strategies to infinity are equally relevant for it is as universal and thus complete as open and thus incomplete. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, thеse phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48.  18
    An Argument for Completely General Facts.Landon D. C. Elkind - 2021 - Journal for the History of Analytical Philosophy 9 (7).
    In his 1918 logical atomism lectures, Russell argued that there are no molecular facts. But he posed a problem for anyone wanting to avoid molecular facts: we need truth-makers for generalizations of molecular formulas, but such truth-makers seem to be both unavoidable and to have an abominably molecular character. Call this the problem of generalized molecular formulas. I clarify the problem here by distinguishing two kinds of generalized molecular formula: incompletely generalized molecular formulas and completely generalized molecular formulas. I next (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. The Price of Insisting That Quantum Mechanics is Complete.P. D. Magnus - 2004 - British Journal for the Philosophy of Science 55 (2):257-267.
    The Bare Theory was offered by David Albert as a way of standing by the completeness of quantum mechanics in the face of the measurement problem. This paper surveys objections to the Bare Theory that recur in the literature: what will here be called the oddity objection, the coherence objection, and the context-of-the-universe objection. Critics usually take the Bare Theory to have unacceptably bizarre consequences, but to be free from internal contradiction. Bizarre consequences need not be decisive against the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  3
    Self-formation (the “complete man”).Luiz Carlos Mariano da Rosa - 2009 - Revista Filosofia Capital 4 (9):20-35.
    O artigo em questão, detendo-se nos indí­cios do ideal da autoformação, para cujas fronteiras o contexto sociocultural da atualidade converge, recuperando a noção de Paidéia, legado grego, discorre sobre o processo pedagógico que, imbrincado em uma rede de relações que envolve as formas simbólicas mediante as quais o homem constrói o mundo, estruturalizando a realidade, segundo a perspectiva de Cassirer (1874-1945), se movimenta, no decorrer da história, oscilando entre a tendência que ora prioriza a formação individual, ora absolutiza o aspecto (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000