Results for ' completeness'

999 found
Order:
  1.  82
    Complete Artworks without Authors.Kelly Trogdon - forthcoming - Canadian Journal of Philosophy.
    Investigation of a puzzle concerning complete yet authorless artworks.
    Download  
     
    Export citation  
     
    Bookmark  
  2. Verified completeness in Henkin-style for intuitionistic propositional logic.Huayu Guo, Dongheng Chen & Bruno Bentzen - 2023 - In Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.), Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou. College Publications. pp. 36-48.
    This paper presents a formalization of the classical proof of completeness in Henkin-style developed by Troelstra and van Dalen for intuitionistic logic with respect to Kripke models. The completeness proof incorporates their insights in a fresh and elegant manner that is better suited for mechanization. We discuss details of our implementation in the Lean theorem prover with emphasis on the prime extension lemma and construction of the canonical model. Our implementation is restricted to a system of intuitionistic propositional (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Gödel Incompleteness and Turing Completeness.Ramón Casares - manuscript
    Following Post program, we will propose a linguistic and empirical interpretation of Gödel’s incompleteness theorem and related ones on unsolvability by Church and Turing. All these theorems use the diagonal argument by Cantor in order to find limitations in finitary systems, as human language, which can make “infinite use of finite means”. The linguistic version of the incompleteness theorem says that every Turing complete language is Gödel incomplete. We conclude that the incompleteness and unsolvability theorems find limitations in our finitary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. 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   11 citations  
  5. Amodal completion and relationalism.Bence Nanay - 2022 - Philosophical Studies 179 (8):2537-2551.
    Amodal completion is usually characterized as the representation of those parts of the perceived object that we get no sensory stimulation from. In the case of the visual sense modality, for example, amodal completion is the representation of occluded parts of objects we see. I argue that relationalism about perception, the view that perceptual experience is constituted by the relation to the perceived object, cannot give a coherent account of amodal completion. The relationalist has two options: construe the perceptual relation (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  6. Polyhedral Completeness of Intermediate Logics: The Nerve Criterion.Sam Adam-day, Nick Bezhanishvili, David Gabelaia & Vincenzo Marra - 2024 - Journal of Symbolic Logic 89 (1):342-382.
    We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a purely (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. 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   77 citations  
  8. Complete Life in the Eudemian Ethics.Hilde Vinje - 2023 - Apeiron: A Journal for Ancient Philosophy and Science 53 (2):299–323.
    In the Eudemian Ethics II 1, 1219a34–b8, Aristotle defines happiness as ‘the activity of a complete life in accordance with complete virtue’. Most scholars interpret a complete life as a whole lifetime, which means that happiness involves virtuous activity over an entire life. This article argues against this common reading by using Aristotle’s notion of ‘activity’ (energeia) as a touchstone. It argues that happiness, according to the Eudemian Ethics, must be a complete activity that reaches its end at any and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. 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  
  10. 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   17 citations  
  11. 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   17 citations  
  12. 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  
  13. Completeness and Doxastic Plurality for Topological Operators of Knowledge and Belief.Thomas Mormann - 2023 - Erkenntnis: 1 - 34, ONLINE.
    The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. 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   6 citations  
  15. Early completion of occluded objects.Ronald A. Rensink & James T. Enns - 1998 - Vision Research 38:2489-2505.
    We show that early vision can use monocular cues to rapidly complete partially-occluded objects. Visual search for easily detected fragments becomes difficult when the completed shape is similar to others in the display; conversely, search for fragments that are difficult to detect becomes easy when the completed shape is distinctive. Results indicate that completion occurs via the occlusion-triggered removal of occlusion edges and linking of associated regions. We fail to find evidence for a visible filling-in of contours or surfaces, but (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  16. 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   35 citations  
  17. Complete Transcript of the Class (Dr. of 6-L Dg).Maxson J. McDowell, Joenine E. Roberts & Rachel McRoberts - manuscript
    (NOTE: This is a transcript of the class. FOR THE FULL PAPER, please click on "Maxson J. McDowell".) A complete transcript of an experiment performed within a class on dream interpretation. Knowing only the dreamers age and gender, we interpreted his dream from its text. Our interpretation included predictions about the dreamer's psychological issues, and about his defenses. It also identified a series of jokes within the dream which would tend to penetrate the dreamer's defenses. When we had finished our (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. AI-Completeness: Using Deep Learning to Eliminate the Human Factor.Kristina Šekrst - 2020 - In Sandro Skansi (ed.), Guide to Deep Learning Basics. Springer. pp. 117-130.
    Computational complexity is a discipline of computer science and mathematics which classifies computational problems depending on their inherent difficulty, i.e. categorizes algorithms according to their performance, and relates these classes to each other. P problems are a class of computational problems that can be solved in polynomial time using a deterministic Turing machine while solutions to NP problems can be verified in polynomial time, but we still do not know whether they can be solved in polynomial time as well. A (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. The completeness of Kant’s metaphysical exposition of space.Henny 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   2 citations  
  20. 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   10 citations  
  21. Causally Complete Science for the Reason-Based Society.Andrei P. Kirilyuk - 2023 - Fqxi Essay Contest - Spring, 2023: How Could Science Be Different?.
    Modern fundamental science tends to avoid the principle of physical causality and realism, replacing it with heuristically postulated and separated mathematical constructions that impose their own rules before being adjusted to measurement results. While it is officially accepted as the single possible kind of rigorous knowledge, we argue that another, explicitly extended kind of science can provide the causally complete picture of reality avoiding the glaring gaps, growing problems and persisting stagnation of the artificially reduced knowledge paradigm. The logic of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
    The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  23. Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2008 - Journal of Logic, Language and Information 17 (1):69-87.
    Propositional dynamic logic is complete but not compact. As a consequence, strong completeness requires an infinitary proof system. In this paper, we present a short proof for strong completeness of $$\mathsf{PDL}$$ relative to an infinitary proof system containing the rule from [α; β n ]φ for all $$n \in {\mathbb{N}}$$, conclude $$[\alpha;\beta^*] \varphi$$. The proof uses a universal canonical model, and it is generalized to other modal logics with infinitary proof rules, such as epistemic knowledge with common knowledge. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  24. 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  
  25. 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   11 citations  
  26. Self-Completing Skepticism: On Hegel's Sublation of Pyrrhonism.Miles Hentrup - 2018 - Epoché: A Journal for the History of Philosophy 23 (1):105-123.
    In his 1802 article for the Critical Journal, “Relationship of Skepticism to Philosophy,” Hegel attempts to articulate a form of skepticism that is “at one with every true philosophy.” Focusing on the priority that Hegel gives to ancient skepticism over its modern counterpart, Michael Forster and other commentators suggest that it is Pyrrhonism that Hegel views as one with philosophy. Since Hegel calls attention to the persistence of dogmatism even in the work of Sextus Empiricus, however, I argue that it (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. 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  
  28. 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  
  29. Olfactory Amodal Completion.Benjamin D. Young & Bence Nanay - 2021 - Pacific Philosophical Quarterly 103 (2):372-388.
    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   3 citations  
  30. The Complete Works. Translated by Burton Watson.Burton Chuang-tzu & Watson - 1968 - Columbia University Press.
    Download  
     
    Export citation  
     
    Bookmark  
  31. 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  
  32. Complete Virtue and the Definition of Happiness in Aristotle.Xinkai Hu - 2020 - Frontiers of Philosophy in China 15 (2):293-314.
    In this paper, I challenge the standard reading of complete virtue (ἀρετή τελεία) in those disputed passages of Nicomachean Ethics and Eudemian Ethics. I argue that, for Aristotle, complete virtue is neither (i) wisdom nor (ii) a whole set of all virtues. Rather, it is a term used by Aristotle to denote any virtue that is in its complete or perfect form. In light of this reading, I offer a pluralist interpretation of Aristotelian happiness. I argue that for Aristotle, the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. 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. A recipe for complete non-wellfounded explanations.Alexandre Billon - forthcoming - Dialectica.
    In a previous article on cosmological arguments, I have put forward a few examples of complete infinite and circular explanations, and argued that complete non-wellfounded explanations such as these might explain the present state of the world better than their well-founded theistic counterparts (Billon, 2021). Although my aim was broader, the examples I gave there implied merely causal explanations. In this article, I would like to do three things: • Specify some general informative conditions for complete and incomplete non-wellfounded causal (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. A Completness Theorem in Modal Logic / Teorem kompletnosti u modalnoj logici (Bosnian translation by Nijaz Ibrulj).Nijaz Ibrulj & Saul A. Kripke - 2021 - Sophos 1 (14):213-232.
    Download  
     
    Export citation  
     
    Bookmark  
  36. 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  
     
    Export citation  
     
    Bookmark  
  37. 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  
  38. 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  
  39. 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   34 citations  
  40. 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  
  41. 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   1 citation  
  42. Healthspan extension, completeness of life and justice.Michal Masny - 2023 - Bioethics 37 (3):239-245.
    Recent progress in geroscience holds the promise of significantly slowing down or even reversing ageing and age-related diseases, and thus increasing our healthspans. In this paper, I offer a novel argument in favour of developing such technology and making it unconditionally available to everyone. In particular, I argue that justice requires that each person be provided with sufficient opportunities to have a ‘complete life’, that many people currently lack such opportunities, and that we would substantially improve the status quo by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. 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  
  44. 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   3 citations  
  45. 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   15 citations  
  46. 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  
     
    Export citation  
     
    Bookmark  
  47. Strong Completeness and Limited Canonicity for PDL.Gerard Renardel de Lavalette, Barteld Kooi & Rineke Verbrugge - 2009 - Journal of Logic, Language and Information 18 (2):291-292.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  48. On Turing Completeness, or Why We Are So Many (7th edition).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 is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49.  51
    5-MeO-DMT in the complete resolution of the consequences of chronic, severe sexual abuse in early childhood—a retrospective case study.Mika Turkia - manuscript
    5-MeO-DMT is a psychedelic substance with a short duration of action and intensive effects. Its therapeutic efficacy and practicality may significantly surpass those of classical psychedelics such as ayahuasca and LSD. -/- This retrospective ethnographic inquiry features a woman in her mid-thirties who witnessed her mother's violent suicide and its bloody aftermath at the age of three. Before and after that, her childhood was characterized by domestic violence and sexual abuse perpetrated by several members of her family and extended family. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. 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  
1 — 50 / 999