Results for 'proof'

645 found
Order:
  1. Proof-Theoretic Semantics, a Problem with Negation and Prospects for Modality.Nils Kürbis - 2015 - Journal of Philosophical Logic 44 (6):713-727.
    This paper discusses proof-theoretic semantics, the project of specifying the meanings of the logical constants in terms of rules of inference governing them. I concentrate on Michael Dummett’s and Dag Prawitz’ philosophical motivations and give precise characterisations of the crucial notions of harmony and stability, placed in the context of proving normalisation results in systems of natural deduction. I point out a problem for defining the meaning of negation in this framework and prospects for an account of the meanings (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  2. Proof Paradoxes and Normic Support: Socializing or Relativizing?Marcello Di Bello - 2019 - Mind 129 (516):1269-1285.
    Smith argues that, unlike other forms of evidence, naked statistical evidence fails to satisfy normic support. This is his solution to the puzzles of statistical evidence in legal proof. This paper focuses on Smith’s claim that DNA evidence in cold-hit cases does not satisfy normic support. I argue that if this claim is correct, virtually no other form of evidence used at trial can satisfy normic support. This is troublesome. I discuss a few ways in which Smith can respond.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Strategy-Proof Judgment Aggregation.Franz Dietrich & Christian List - 2005 - Economics and Philosophy 23 (3):269-300.
    Which rules for aggregating judgments on logically connected propositions are manipulable and which not? In this paper, we introduce a preference-free concept of non-manipulability and contrast it with a preference-theoretic concept of strategy-proofness. We characterize all non-manipulable and all strategy-proof judgment aggregation rules and prove an impossibility theorem similar to the Gibbard--Satterthwaite theorem. We also discuss weaker forms of non-manipulability and strategy-proofness. Comparing two frequently discussed aggregation rules, we show that “conclusion-based voting” is less vulnerable to manipulation than “premise-based (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  4. Legal Burdens of Proof and Statistical Evidence.Georgi Gardiner - forthcoming - In James Chase & David Coady (eds.), The Routledge Handbook of Applied Epistemology. Routledge.
    In order to perform certain actions – such as incarcerating a person or revoking parental rights – the state must establish certain facts to a particular standard of proof. These standards – such as preponderance of evidence and beyond reasonable doubt – are often interpreted as likelihoods or epistemic confidences. Many theorists construe them numerically; beyond reasonable doubt, for example, is often construed as 90 to 95% confidence in the guilt of the defendant. -/- A family of influential cases (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  5. Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
    The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  6. Legal proof and statistical conjunctions.Lewis D. Ross - 2020 - Philosophical Studies 178 (6):2021-2041.
    A question, long discussed by legal scholars, has recently provoked a considerable amount of philosophical attention: ‘Is it ever appropriate to base a legal verdict on statistical evidence alone?’ Many philosophers who have considered this question reject legal reliance on bare statistics, even when the odds of error are extremely low. This paper develops a puzzle for the dominant theories concerning why we should eschew bare statistics. Namely, there seem to be compelling scenarios in which there are multiple sources of (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  7. Proof Phenomenon as a Function of the Phenomenology of Proving.Inês Hipólito - 2015 - Progress in Biophysics and Molecular Biology 119:360-367.
    Kurt Gödel wrote (1964, p. 272), after he had read Husserl, that the notion of objectivity raises a question: “the question of the objective existence of the objects of mathematical intuition (which, incidentally, is an exact replica of the question of the objective existence of the outer world)”. This “exact replica” brings to mind the close analogy Husserl saw between our intuition of essences in Wesensschau and of physical objects in perception. What is it like to experience a mathematical proving (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  54
    A Simple Proof of Grounding Internality.Adam Lovett - 2019 - Thought: A Journal of Philosophy 8 (3):154-166.
    Some people think that grounding is a type of identity. And some people think that grounding connections hold necessarily. I show that, under plausible assumptions, if grounding is a type of identity, then grounding connections hold necessarily.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. Recent Work on the Proof Paradox.Lewis D. Ross - 2020 - Philosophy Compass 15 (6).
    Recent years have seen fresh impetus brought to debates about the proper role of statistical evidence in the law. Recent work largely centres on a set of puzzles known as the ‘proof paradox’. While these puzzles may initially seem academic, they have important ramifications for the law: raising key conceptual questions about legal proof, and practical questions about DNA evidence. This article introduces the proof paradox, why we should care about it, and new work attempting to resolve (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Existential Inertia and the Aristotelian Proof.Joseph C. Schmid - 2021 - International Journal for Philosophy of Religion 89 (3):201-220.
    Edward Feser defends the ‘Aristotelian proof’ for the existence of God, which reasons that the only adequate explanation of the existence of change is in terms of an unchangeable, purely actual being. His argument, however, relies on the falsity of the Existential Inertia Thesis, according to which concrete objects tend to persist in existence without requiring an existential sustaining cause. In this article, I first characterize the dialectical context of Feser’s Aristotelian proof, paying special attention to EIT and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  82
    Proof Theory of Finite-Valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
    The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  12. What is Proof of Concept Research and How Does It Generate Epistemic and Ethical Categories for Future Scientific Practice?Catherine Elizabeth Kendig - 2016 - Science and Engineering Ethics 22 (3):735-753.
    Proof of concept” is a phrase frequently used in descriptions of research sought in program announcements, in experimental studies, and in the marketing of new technologies. It is often coupled with either a short definition or none at all, its meaning assumed to be fully understood. This is problematic. As a phrase with potential implications for research and technology, its assumed meaning requires some analysis to avoid it becoming a descriptive category that refers to all things scientifically exciting. I (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  13. Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics.Markus Pantsar - 2009 - Dissertation, University of Helsinki
    One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  14. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  15. A Proof-Theoretical View of Collective Rationality.Daniele Porello - 2013 - In Proceedings of the 23rd International Joint Conference of Artificial Intelligence (IJCAI 2013).
    The impossibility results in judgement aggregation show a clash between fair aggregation procedures and rational collective outcomes. In this paper, we are interested in analysing the notion of rational outcome by proposing a proof-theoretical understanding of collective rationality. In particular, we use the analysis of proofs and inferences provided by linear logic in order to define a fine-grained notion of group reasoning that allows for studying collective rationality with respect to a number of logics. We analyse the well-known paradoxes (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  99
    On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant Analysis.Seungrak Choi - 2019 - Dissertation, Korea University
    In this dissertation, we shall investigate whether Tennant's criterion for paradoxicality(TCP) can be a correct criterion for genuine paradoxes and whether the requirement of a normal derivation(RND) can be a proof-theoretic solution to the paradoxes. Tennant’s criterion has two types of counterexamples. The one is a case which raises the problem of overgeneration that TCP makes a paradoxical derivation non-paradoxical. The other is one which generates the problem of undergeneration that TCP renders a non-paradoxical derivation paradoxical. Chapter 2 deals (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Burdens of Proof and the Case for Unevenness.Imran Aijaz, Jonathan McKeown-Green & Aness Webster - 2013 - Argumentation 27 (3):259-282.
    How is the burden of proof to be distributed among individuals who are involved in resolving a particular issue? Under what conditions should the burden of proof be distributed unevenly? We distinguish attitudinal from dialectical burdens and argue that these questions should be answered differently, depending on which is in play. One has an attitudinal burden with respect to some proposition when one is required to possess sufficient evidence for it. One has a dialectical burden with respect to (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  18. Proof, Explanation, and Justification in Mathematical Practice.Moti Mizrahi - 2020 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 51 (4):551-568.
    In this paper, I propose that applying the methods of data science to “the problem of whether mathematical explanations occur within mathematics itself” (Mancosu 2018) might be a fruitful way to shed new light on the problem. By carefully selecting indicator words for explanation and justification, and then systematically searching for these indicators in databases of scholarly works in mathematics, we can get an idea of how mathematicians use these terms in mathematical practice and with what frequency. The results of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19.  88
    Slip-Proof Actions.Santiago Amaya - 2016 - In Roman Altshuler & Michael J. Sigrist (eds.), Time and the Philosophy of Action. Routledge. pp. 21-36.
    Most human actions are complex, but some of them are basic. Which are these? In this paper, I address this question by invoking slips, a common kind of mistake. The proposal is this: an action is basic if and only if it is not possible to slip in performing it. The argument discusses some well-established results from the psychology of language production in the context of a philosophical theory of action. In the end, the proposed criterion is applied to discuss (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Paratheism: A Proof That God Neither Exists nor Does Not Exist.Steven James Bartlett - 2016 - Willamette University Faculty Research Website: Http://Www.Willamette.Edu/~Sbartlet/Documents/Bartlett_Paratheism_A%20Proof%20that%20God%20neither%2 0Exists%20nor%20Does%20Not%20Exist.Pdf.
    Theism and its cousins, atheism and agnosticism, are seldom taken to task for logical-epistemological incoherence. This paper provides a condensed proof that not only theism, but atheism and agnosticism as well, are all of them conceptually self-undermining, and for the same reason: All attempt to make use of the concept of “transcendent reality,” which here is shown not only to lack meaning, but to preclude the very possibility of meaning. In doing this, the incoherence of theism, atheism, and agnosticism (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  21. The Dogmatist, Moore's Proof and Transmission Failure.Luca Moretti - 2014 - Analysis 74 (3):382-389.
    According to Jim Pryor’s dogmatism, if you have an experience as if P, you acquire immediate prima facie justification for believing P. Pryor contends that dogmatism validates Moore’s infamous proof of a material world. Against Pryor, I argue that if dogmatism is true, Moore’s proof turns out to be non-transmissive of justification according to one of the senses of non-transmissivity defined by Crispin Wright. This type of non-transmissivity doesn’t deprive dogmatism of its apparent antisceptical bite.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  79
    Takeuti's Proof Theory in the Context of the Kyoto School.Andrew Arana - 2019 - Jahrbuch Für Philosophie Das Tetsugaku-Ronso 46:1-17.
    Gaisi Takeuti (1926–2017) is one of the most distinguished logicians in proof theory after Hilbert and Gentzen. He extensively extended Hilbert's program in the sense that he formulated Gentzen's sequent calculus, conjectured that cut-elimination holds for it (Takeuti's conjecture), and obtained several stunning results in the 1950–60s towards the solution of his conjecture. Though he has been known chiefly as a great mathematician, he wrote many papers in English and Japanese where he expressed his philosophical thoughts. In particular, he (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Proof in Mathematics: An Introduction.James Franklin - 1996 - Sydney, Australia: Quakers Hill Press.
    A textbook on proof in mathematics, inspired by an Aristotelian point of view on mathematics and proof. The book expounds the traditional view of proof as deduction of theorems from evident premises via obviously valid steps. It deals with the proof of "all" statements, "some" statements, multiple quantifiers and mathematical induction.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  24. The Reasonable and the Relevant: Legal Standards of Proof.Georgi Gardiner - 2019 - Philosophy and Public Affairs 47 (3):288-318.
    According to a common conception of legal proof, satisfying a legal burden requires establishing a claim to a numerical threshold. Beyond reasonable doubt, for example, is often glossed as 90% or 95% likelihood given the evidence. Preponderance of evidence is interpreted as meaning at least 50% likelihood given the evidence. In light of problems with the common conception, I propose a new ‘relevant alternatives’ framework for legal standards of proof. Relevant alternative accounts of knowledge state that a person (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  25. Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities: Polynomial Ring Calculus for Modal Logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
    A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. The Logical Burdens of Proof. Assertion and Hypothesis.Daniele Chiffi & Fabien Schang - 2017 - Logic and Logical Philosophy 26 (4):1-22.
    The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each corresponding to a (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. An Ontological Proof of Moral Realism.Michael Huemer - 2013 - Social Philosophy and Policy 30 (1-2):259-279.
    The essay argues that while there is no general agreement on whether moral realism is true, there is general agreement on at least some of the moral obligations that we have if moral realism is true. Given that moral realism might be true, and given that we know some of the things we ought to do if it is true, we have a reason to do those things. Furthermore, this reason is itself an objective moral reason. Thus, if moral realism (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Kant's Possibility Proof.Nicholas Stang - 2010 - History of Philosophy Quarterly 27 (3):275-299.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  29.  90
    Diversity in Proof Appraisal.Matthew Inglis & Andrew Aberdein - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012--2014. Basel, Switzerland: pp. 163-179.
    We investigated whether mathematicians typically agree about the qualities of mathematical proofs. Between-mathematician consensus in proof appraisals is an implicit assumption of many arguments made by philosophers of mathematics, but to our knowledge the issue has not previously been empirically investigated. We asked a group of mathematicians to assess a specific proof on four dimensions, using the framework identified by Inglis and Aberdein (2015). We found widespread disagreement between our participants about the aesthetics, intricacy, precision and utility of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Prove It! The Burden of Proof Game in Science Vs. Pseudoscience Disputes.Massimo Pigliucci & Maarten Boudry - 2014 - Philosophia 42 (2):487-502.
    The concept of burden of proof is used in a wide range of discourses, from philosophy to law, science, skepticism, and even in everyday reasoning. This paper provides an analysis of the proper deployment of burden of proof, focusing in particular on skeptical discussions of pseudoscience and the paranormal, where burden of proof assignments are most poignant and relatively clear-cut. We argue that burden of proof is often misapplied or used as a mere rhetorical gambit, with (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  31.  68
    Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.
    This paper considers proof-theoretic semantics for necessity within Dummett's and Prawitz's framework. Inspired by a system of Pfenning's and Davies's, the language of intuitionist logic is extended by a higher order operator which captures a notion of validity. A notion of relative necessary is defined in terms of it, which expresses a necessary connection between the assumptions and the conclusion of a deduction.
    Download  
     
    Export citation  
     
    Bookmark  
  32.  75
    Proof in C17 Algebra.Brendan Larvor - 2005 - Philosophia Scientae:43-59.
    By the middle of the seventeenth century we that find that algebra is able to offer proofs in its own right. That is, by that time algebraic argument had achieved the status of proof. How did this transformation come about?
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33. 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  
  34. Cantor’s Proof in the Full Definable Universe.Laureano Luna & William Taylor - 2010 - Australasian Journal of Logic 9:10-25.
    Cantor’s proof that the powerset of the set of all natural numbers is uncountable yields a version of Richard’s paradox when restricted to the full definable universe, that is, to the universe containing all objects that can be defined not just in one formal language but by means of the full expressive power of natural language: this universe seems to be countable on one account and uncountable on another. We argue that the claim that definitional contexts impose restrictions on (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  64
    The Changing Practices of Proof in Mathematics: Gilles Dowek: Computation, Proof, Machine. Cambridge: Cambridge University Press, 2015. Translation of Les Métamorphoses du Calcul, Paris: Le Pommier, 2007. Translation From the French by Pierre Guillot and Marion Roman, $124.00HB, $40.99PB.Andrew Arana - 2017 - Metascience 26 (1):131-135.
    Review of Dowek, Gilles, Computation, Proof, Machine, Cambridge University Press, Cambridge, 2015. Translation of Les Métamorphoses du calcul, Le Pommier, Paris, 2007. Translation from the French by Pierre Guillot and Marion Roman.
    Download  
     
    Export citation  
     
    Bookmark  
  36.  28
    How to Write a Proof: Patterns of Justification in Strategic Documents for Educational Reform.Jitka Wirthová - 2019 - Teorie Vědy / Theory of Science 41 (2):307-335.
    Writing strategic documents is a major practice of many actors striving to see their educational ideas realised in the curriculum. In these documents, arguments are systematically developed to create the legitimacy of a new educational goal and competence to make claims about it. Through a qualitative analysis of the writing strategies used in these texts, I show how two of the main actors in the Czech educational discourse have developed a proof that a new educational goal is needed. I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. An Alternative Proof of the Universal Propensity to Evil.Pablo Muchnik - 2010 - In Sharon Anderson-Gold & Pablo Muchnik (eds.), Kant's Anatomy of Evil. Cambridge University Press.
    In this paper, I develop a quasi-transcendental argument to justify Kant’s infamous claim “man is evil by nature.” The cornerstone of my reconstruction lies in drawing a systematic distinction between the seemingly identical concepts of “evil disposition” (böseGesinnung) and “propensity to evil” (Hang zumBösen). The former, I argue, Kant reserves to describe the fundamental moral outlook of a single individual; the latter, the moral orientation of the whole species. Moreover, the appellative “evil” ranges over two different types of moral failure: (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  38. The Industrial Ontologies Foundry Proof-of-Concept Project.Evan Wallace, Dimitris Kiritsis, Barry Smith & Chris Will - 2018 - In Ilkyeong Moon, Gyu M. Lee, Jinwoo Park, Dimitris Kiritsis & Gregor von Cieminski (eds.), Advances in Production Management Systems. Smart Manufacturing for Industry 4.0. IFIP. pp. 402-409.
    The current industrial revolution is said to be driven by the digitization that exploits connected information across all aspects of manufacturing. Standards have been recognized as an important enabler. Ontology-based information standard may provide benefits not offered by current information standards. Although there have been ontologies developed in the industrial manufacturing domain, they have been fragmented and inconsistent, and little has received a standard status. With successes in developing coherent ontologies in the biological, biomedical, and financial domains, an effort called (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Semantic Epistemology Redux: Proof and Validity in Quantum Mechanics.Arnold Cusmariu - 2016 - Logos and Episteme 7 (3):287-303.
    Definitions I presented in a previous article as part of a semantic approach in epistemology assumed that the concept of derivability from standard logic held across all mathematical and scientific disciplines. The present article argues that this assumption is not true for quantum mechanics (QM) by showing that concepts of validity applicable to proofs in mathematics and in classical mechanics are inapplicable to proofs in QM. Because semantic epistemology must include this important theory, revision is necessary. The one I propose (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  40. Infinite Analysis, Lucky Proof, and Guaranteed Proof in Leibniz.Gonzalo Rodriguez-Pereyra & Paul Lodge - 2011 - Archiv für Geschichte der Philosophie 93 (2):222-236.
    According to one of Leibniz's theories of contingency a proposition is contingent if and only if it cannot be proved in a finite number of steps. It has been argued that this faces the Problem of Lucky Proof , namely that we could begin by analysing the concept ‘Peter’ by saying that ‘Peter is a denier of Christ and …’, thereby having proved the proposition ‘Peter denies Christ’ in a finite number of steps. It also faces a more general (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  7
    A Pre-Formal Proof of Why No Planar Map Needs More Than Four Colours.Bhupinder Singh Anand - manuscript
    Although the Four Colour Theorem is passe, we give an elementary pre-formal proof that transparently illustrates why four colours suffice to chromatically differentiate any set of contiguous, simply connected and bounded, planar spaces; by showing that there is no minimal 4-coloured planar map M. We note that such a pre-formal proof of the Four Colour Theorem highlights the significance of differentiating between: (a) Plato's knowledge as justified true belief, which seeks a formal proof in a first-order mathematical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42.  94
    A Simple Proof of Born’s Rule for Statistical Interpretation of Quantum Mechanics.Biswaranjan Dikshit - 2017 - Journal for Foundations and Applications of Physics 4 (1):24-30.
    The Born’s rule to interpret the square of wave function as the probability to get a specific value in measurement has been accepted as a postulate in foundations of quantum mechanics. Although there have been so many attempts at deriving this rule theoretically using different approaches such as frequency operator approach, many-world theory, Bayesian probability and envariance, literature shows that arguments in each of these methods are circular. In view of absence of a convincing theoretical proof, recently some researchers (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic.Matthias Baaz & Richard Zach - 2000 - In Peter G. Clote & Helmut Schwichtenberg (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Berlin: Springer. pp. 187– 201.
    Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.Tim Lyon & Kees van Berkel - 2019 - In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai & R. Zalila Wenkstern (eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems. 93413 Cham, Germany: Springer. pp. 202-218.
    This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  24
    An Elementary, Pre-Formal, Proof of FLT: Why is X^N+y^N=Z^N Solvable Only for N≪3?Bhupinder Singh Anand - manuscript
    Andrew Wiles' analytic proof of Fermat's Last Theorem FLT, which appeals to geometrical properties of real and complex numbers, leaves two questions unanswered: (i) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? (ii) Why is x^n+y^n=z^n solvable only for n<3? In this inter-disciplinary perspective, we offer insight into, and answers to, both queries; yielding a pre-formal proof of why FLT can be treated as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. Berkeley and Proof in Geometry.Richard J. Brook - 2012 - Dialogue 51 (3):419-435.
    Berkeley in his Introduction to the Principles of Human knowledge uses geometrical examples to illustrate a way of generating “universal ideas,” which allegedly account for the existence of general terms. In doing proofs we might, for example, selectively attend to the triangular shape of a diagram. Presumably what we prove using just that property applies to all triangles.I contend, rather, that given Berkeley’s view of extension, no Euclidean triangles exist to attend to. Rather proof, as Berkeley would normally assume, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Descartes’ Ontological Proof: An Interpretation and Defense.Stanisław Judycki - 2012 - European Journal for Philosophy of Religion 4 (2):187--195.
    It is widely assumed among contemporary philosophers that Descartes’ version of ontological proof, among other weaknesses, makes an impossible and unjustified move from the mental world of concepts to the real world of things. Contrary to this opinion I will try to show that Descartes’ famous principle of clear and distinct perception suffices to find an adequate inferential connection between the contents of the human mind and extra-mental reality. In a clear and distinct way we cognitively grasp the concept (...)
    Download  
     
    Export citation  
     
    Bookmark  
  48.  71
    Proof of Concept Research.Steve Elliott - 2021 - Philosophy of Science 88 (2):258-280.
    Researchers often pursue proof of concept research, but criteria for evaluating such research remain poorly specified. This article proposes a general framework for proof of concept research that k...
    Download  
     
    Export citation  
     
    Bookmark  
  49. Questions About Proof Theory Vis-À-Vis Natural Language Semantics (2007).Anna Szabolcsi - manuscript
    Semantics plays a role in grammar in at least three guises. (A) Linguists seek to account for speakers‘ knowledge of what linguistic expressions mean. This goal is typically achieved by assigning a model theoretic interpretation2 in a compositional fashion. For example, No whale flies is true if and only if the intersection of the sets of whales and fliers is empty in the model. (B) Linguists seek to account for the ability of speakers to make various inferences based on semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  80
    Proof-of-Loss.Mirelo Deugh Ausgam Valis - unknown
    An alternative consensus algorithm to both proof-of-work and proof-of-stake, proof-of-loss addresses all their deficiencies, including the lack of an organic block size limit, the risks of mining centralization, and the "nothing at stake" problem.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 645