Search results for 'ProfPeter Milne' (try it on Scholar)

231 found
Sort by:
  1. ProfPeter Milne, Peter.Milne@Stir.Ac.Uk.score: 540.0
    In natural deduction classical logic is commonly formulated by adding a rule such as Double Negation Elimination (DNE) or Classical Reductio ad Absurdum (CRA) to a set of introduction and elimination rules sufficient for intuitionist first-order logic with conjunction, disjunction, implication, negation and the universal and existential quantifiers all taken as primitive. The natural deduction formulation of intuitionist logic, coming from Gentzen, has nice properties:— (i) the separation property: an intuitionistically valid inference is derivable using only the introduction and elimination (...)
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  2. E. A. Milne (1942). Professor Milne's Reply. Philosophy 17 (65):78-.score: 180.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Peter Milne (1994). Classical Harmony: Rules of Inference and the Meaning of the Logical Constants. Synthese 100 (1):49 - 94.score: 30.0
    The thesis that, in a system of natural deduction, the meaning of a logical constant is given by some or all of its introduction and elimination rules has been developed recently in the work of Dummett, Prawitz, Tennant, and others, by the addition of harmony constraints. Introduction and elimination rules for a logical constant must be in harmony. By deploying harmony constraints, these authors have arrived at logics no stronger than intuitionist propositional logic. Classical logic, they maintain, cannot be justified (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  4. Peter Milne (2009). What is the Normative Role of Logic? Aristotelian Society Supplementary Volume 83 (1):269-298.score: 30.0
    In making assertions one takes on commitments to the consistency of what one asserts and to the logical consequences of what one asserts. Although there is no quick link between belief and assertion, the dialectical requirements on assertion feed back into normative constraints on those beliefs that constitute one's evidence. But if we are not certain of many of our beliefs and that uncertainty is modelled in terms of probabilities, then there is at least prima facie incoherence between the normative (...)
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  5. Peter Milne (1999). Tarski on Truth and its Definition. Proceedings of the Aristotelian Society 99:141-167.score: 30.0
    Of his numerous investigations ... Tarski was most proud of two: his work on truth and his design of an algorithm in 1930 to decide the truth or falsity of any sentence of the elementary theory of the high school Euclidean geometry. [...] His mathematical treatment of the semantics of languages and the concept of truth has had revolutionary consequences for mathematics, linguistics, and philosophy, and Tarski is widely thought of as the man who "defined truth". The seeming simplicity of (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Peter Milne (2007). On Gödel Sentences and What They Say. Philosophia Mathematica 15 (2):193-226.score: 30.0
    Proofs of Gödel's First Incompleteness Theorem are often accompanied by claims such as that the gödel sentence constructed in the course of the proof says of itself that it is unprovable and that it is true. The validity of such claims depends closely on how the sentence is constructed. Only by tightly constraining the means of construction can one obtain gödel sentences of which it is correct, without further ado, to say that they say of themselves that they are unprovable (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  7. Peter Milne (1999). Tarski, Truth and Model Theory. Proceedings of the Aristotelian Society 99 (2):141–167.score: 30.0
    As Wilfrid Hodges has observed, there is no mention of the notion truth-in-a-model in Tarski's article 'The Concept of Truth in Formalized Languages'; nor does truth make many appearances in his papers on model theory from the early 1950s. In later papers from the same decade, however, this reticence is cast aside. Why should Tarski, who defined truth for formalized languages and pretty much founded model theory, have been so reluctant to speak of truth in a model? What might explain (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  8. Peter Milne (2005). Not Every Truth has a Truthmaker. Analysis 65 (3):221–224.score: 30.0
    First paragraph: Truthmaker theory maintains that for every truth there is something, some thing, some entity, that makes it true. Balking at the prospect that logical truths are made true by any particular thing, a consequence that may in fact be hard to avoid (see Restall 1996, Read 2000), this principle of truthmaking is sometimes restricted to (logically) contingent truths. I aim to show that even in its restricted form, the principle is provably false.
    Direct download (12 more)  
     
    My bibliography  
     
    Export citation  
  9. E. A. Milne (1947). Time and Thermodynamics. By A. R. Ubbelohde. (Oxford University Press. Pp. 105. Price 6s. Net.). Philosophy 22 (82):187-.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Graham Oddie & Peter Milne (1991). Act and Value: Expectation and the Representability of Moral Theories. Theoria 57 (1-2):42-76.score: 30.0
    According to the axiologist the value concepts are basic and the deontic concepts are derivative. This paper addresses two fundamental problems that arise for the axiologist. Firstly, what ought the axiologist o understand by the value of an act? Second, what are the prospects in principle for an axiological representation of moral theories. Can the deontic concepts of any coherent moral theory be represented by an agent-netural axiology: (1) whatever structure those concepts have and (2) whatever the causal structure of (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  11. Peter Milne (2007). Omniscient Beings Are Dialetheists. Analysis 67 (295):250–251.score: 30.0
  12. Peter Milne (2013). Not Every Truth has a Truthmaker II. Analysis 73 (3):473-481.score: 30.0
    A proof employing no semantic terms is offered in support of the claim that there can be truths without truthmakers. The logical resources used in the proof are weak but do include the structural rule Contraction.
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  13. Rachel Batchelor, Ania Bobrowicz, Robin Mackenzie & Alisoun Milne (2012). Challenges of Ethical and Legal Responsibilities When Technologies' Uses and Users Change: Social Networking Sites, Decision-Making Capacity and Dementia. [REVIEW] Ethics and Information Technology 14 (2):99-108.score: 30.0
    Successful technologies’ ubiquity changes uses, users and ethicolegal responsibilities and duties of care. We focus on dementia to review critically ethicolegal implications of increasing use of social networking sites (SNS) by those with compromised decision-making capacity, assessing concerned parties’ responsibilities. Although SNS contracts assume ongoing decision-making capacity, many users’ may be compromised or declining. Resulting ethicolegal issues include capacity to give informed consent to contracts, protection of online privacy including sharing and controlling data, data leaks between different digital platforms, and (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  14. Peter Milne (2012). Indicative Conditionals, Conditional Probabilities, and the “Defective Truth-Table”: A Request for More Experiments. Thinking and Reasoning 18 (2):196 - 224.score: 30.0
    While there is now considerable experimental evidence that, on the one hand, participants assign to the indicative conditional as probability the conditional probability of consequent given antecedent and, on the other, they assign to the indicative conditional the ?defective truth-table? in which a conditional with false antecedent is deemed neither true nor false, these findings do not in themselves establish which multi-premise inferences involving conditionals participants endorse. A natural extension of the truth-table semantics pronounces as valid numerous inference patterns that (...)
    Translate to English
    | Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Peter Milne (2010). Subformula and Separation Properties in Natural Deduction Via Small Kripke Models. Review of Symbolic Logic 3 (2):175-227.score: 30.0
    Various natural deduction formulations of classical, minimal, intuitionist, and intermediate propositional and first-order logics are presented and investigated with respect to satisfaction of the separation and subformula properties. The technique employed is, for the most part, semantic, based on general versions of the Lindenbaum and Lindenbaumlmarck.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  16. Peter Milne (2007). Existence and Identity in Free Logic: Two Comments. Mind 116 (464):1079-1082.score: 30.0
    Professor Tennant and I agree on much regarding the proof-theoretic semantics of free logic. Here I point to two issues, one on which we disagree, the other on which I find it hard to say how closely we may agree. The first concerns the exact content of Tennant's Rule of Atomic Denotation. The second concerns the nature of assumptions whose formal counterparts contain parametric occurrences of names.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  17. Peter Milne (1990). Scotching the Dutch Book Argument. Erkenntnis 32 (1):105--26.score: 30.0
    Consistent application of coherece arguments shows that fair betting quotients are subject to constraints that are too stringent to allow their identification with either degrees of belief or probabilities. The pivotal role of fair betting quotients in the Dutch Book Argument, which is said to demonstrate that a rational agent's degrees of belief are probabilities, is thus undermined from both sides.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  18. Peter Milne (2008). Russell's Completeness Proof. History and Philosophy of Logic 29 (1):31-62.score: 30.0
    Bertrand Russell’s 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an exposition of the proof and investigate Russell’s view of what he was about, whether he could have appreciated the proof for what it is, and why there is no parallel of the proof in Principia Mathematica.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  19. Peter Milne (2004). Algebras of Intervals and a Logic of Conditional Assertions. Journal of Philosophical Logic 33 (5):497-548.score: 30.0
    Intervals in boolean algebras enter into the study of conditional assertions (or events) in two ways: directly, either from intuitive arguments or from Goodman, Nguyen and Walker's representation theorem, as suitable mathematical entities to bear conditional probabilities, or indirectly, via a representation theorem for the family of algebras associated with de Finetti's three-valued logic of conditional assertions/events. Further representation theorems forge a connection with rough sets. The representation theorems and an equivalent of the boolean prime ideal theorem yield an algebraic (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  20. Peter Milne (2007). Existence, Freedom, Identity, and the Logic of Abstractionist Realism. Mind 116 (461):23-53.score: 30.0
    From the point of view of proof-theoretic semantics, we examine the logical background invoked by Neil Tennant's abstractionist realist account of mathematical existence. To prepare the way, we must first look closely at the rule of existential elimination familiar from classical and intuitionist logics and at rules governing identity. We then examine how well free logics meet the harmony and uniqueness constraints familiar from the proof-theoretic semantics project. Tennant assigns a special role to atomic formulas containing singular terms. This, we (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Peter Milne (2012). Probability as a Measure of Information Added. Journal of Logic, Language and Information 21 (2):163-188.score: 30.0
    Some propositions add more information to bodies of propositions than do others. We start with intuitive considerations on qualitative comparisons of information added . Central to these are considerations bearing on conjunctions and on negations. We find that we can discern two distinct, incompatible, notions of information added. From the comparative notions we pass to quantitative measurement of information added. In this we borrow heavily from the literature on quantitative representations of qualitative, comparative conditional probability. We look at two ways (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  22. Heather Milne (1986). Desert, Effort and Equality. Journal of Applied Philosophy 3 (2):235-243.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  23. Peter Milne (1997). Bruno de Finetti and the Logic of Conditional Events. British Journal for the Philosophy of Science 48 (2):195-232.score: 30.0
    This article begins by outlining some of the history—beginning with brief remarks of Quine's—of work on conditional assertions and conditional events. The upshot of the historical narrative is that diverse works from various starting points have circled around a nexus of ideas without convincingly tying them together. Section 3 shows how ideas contained in a neglected article of de Finetti's lead to a unified treatment of the topics based on the identification of conditional events as the objects of conditional bets. (...)
    Direct download (10 more)  
     
    My bibliography  
     
    Export citation  
  24. Peter Milne (1991). Verification, Falsification, and the Logic of Enquiry. Erkenntnis 34 (1):23 - 54.score: 30.0
    Our starting point is Michael Luntley's falsificationist semantics for the logical connectives and quantifiers: the details of his account are criticised but we provide an alternative falsificationist semantics that yields intuitionist logic, as Luntley surmises such a semantics ought. Next an account of the logical connectives and quantifiers that combines verificationist and falsificationist perspectives is proposed and evaluated. While the logic is again intuitionist there is, somewhat surprisingly, an unavoidable asymmetry between the verification and falsification conditions for negation, the conditional, (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. Peter Milne (2003). Bayesianism V. Scientific Realism. Analysis 63 (4):281–288.score: 30.0
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  26. Peter Milne (1986). Can There Be a Realist Single-Case Interpretation of Probability? Erkenntnis 25 (2):129 - 132.score: 30.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  27. Peter Milne (2000). Is There a Logic of Confirmation Transfer? Erkenntnis 53 (3):309-335.score: 30.0
    This article begins by exploring a lost topic in the philosophy of science:the properties of the relations evidence confirming h confirmsh'' and, more generally, evidence confirming each ofh1, h2, ..., hm confirms at least one of h1, h2,ldots;, hn''.The Bayesian understanding of confirmation as positive evidential relevanceis employed throughout. The resulting formal system is, to say the least, oddlybehaved. Some aspects of this odd behaviour the system has in common withsome of the non-classical logics developed in the twentieth century. Oneaspect (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  28. Peter Milne (1993). The Foundations of Probability and Quantum Mechanics. Journal of Philosophical Logic 22 (2):129 - 168.score: 30.0
    Taking as starting point two familiar interpretations of probability, we develop these in a perhaps unfamiliar way to arrive ultimately at an improbable claim concerning the proper axiomatization of probability theory: the domain of definition of a point-valued probability distribution is an orthomodular partially ordered set. Similar claims have been made in the light of quantum mechanics but here the motivation is intrinsically probabilistic. This being so the main task is to investigate what light, if any, this sheds on quantum (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  29. Peter Milne (2003). The Simplest Lewis-Style Triviality Proof Yet? Analysis 63 (4):300–303.score: 30.0
    No categories
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  30. Peter Milne (1985). A Note on Popper, Propensities, and the Two-Slit Experiment. British Journal for the Philosophy of Science 36 (1):66-70.score: 30.0
  31. Peter Milne (1998). Disjunction and Disjunctive Syllogism. Canadian Journal of Philosophy 28 (1):21 - 32.score: 30.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Peter Milne (1997). Quick Triviality Proofs for Probabilities of Conditionals. Analysis 57 (1):75–80.score: 30.0
  33. Peter Milne (1994). Review: The Physicalization of Mathematics. [REVIEW] British Journal for the Philosophy of Science 45 (1):305 - 340.score: 30.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  34. A. J. M. Milne (1997). John Charvet, The Idea of an Ethical Community, Ithaca, Cornell University Press, 1995, Pp. 221. Utilitas 9 (01):155-.score: 30.0
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  35. Peter Milne (1991). Conditionalisation and Quantum Probabilities. Australasian Journal of Philosophy 69 (2):214 – 218.score: 30.0
  36. Peter Milne (1986). Frege's Context Principle. Mind 95 (380):491-495.score: 30.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  37. Peter Milne, Tractatus 5.4611: 'Signs for Logical Operations Are Punctuation Marks'.score: 30.0
    I examine the ideas leading up to Wittgenstein's pronouncement at Tractatus 5.4611 that signs for logical operations are punctuation marks.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  38. Peter Milne (1995). On the Completeness of Non-Philonian Stoic Logic. History and Philosophy of Logic 16 (1):39-64.score: 30.0
  39. Peter Milne (2008). Bets and Boundaries: Assigning Probabilities to Imprecisely Specified Events. Studia Logica 90 (3):425 - 453.score: 30.0
    Uncertainty and vagueness/imprecision are not the same: one can be certain about events described using vague predicates and about imprecisely specified events, just as one can be uncertain about precisely specified events. Exactly because of this, a question arises about how one ought to assign probabilities to imprecisely specified events in the case when no possible available evidence will eradicate the imprecision (because, say, of the limits of accuracy of a measuring device). Modelling imprecision by rough sets over an approximation (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  40. Peter Milne (1996). Log[P(H/Eb)/P(H/B)] is the One True Measure of Confirmation. Philosophy of Science 63 (1):21-26.score: 30.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. David Milne, Catherine Legg, Medelyan Olena & Witten Ian (2009). Mining Meaning From Wikipedia. International Journal of Human-Computer Interactions 67 (9):716-754.score: 30.0
    Wikipedia is a goldmine of information; not just for its many readers, but also for the growing community of researchers who recognize it as a resource of exceptional scale and utility. It represents a vast investment of manual effort and judgment: a huge, constantly evolving tapestry of concepts and relations that is being applied to a host of tasks. This article provides a comprehensive description of this work. It focuses on research that extracts and makes use of the concepts, relations, (...)
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Peter Milne (2011). Sensibility and the Law: On Rancière's Reading of Lyotard. Symposium: The Canadian Journal of Continental Philosophy 15 (2):95-119.score: 30.0
    This paper responds to Rancière’s reading of Lyotard’s analysis of the sublime by attempting to articulate what Lyotard would call a “differend” between the two. Sketching out Rancière’s criticisms, I show that Lyotard’s analysis of the Kantian sublime is more defensible than Rancière claims. I then provide an alternative reading, one that frees Lyotard’s sublime from Rancière’s central accusation that it signals nothing more than the mind’s perpetual enslavement to the lawof the Other. Reading the sublime through the figure of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  43. E. A. Milne (1934). Some Points in the Philosophy of Physics: Time, Evolution and Creation. Philosophy 9 (33):19 - 38.score: 30.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. Peter Milne (1991). A Dilemma for Subjective Bayesians — and How to Resolve It. Philosophical Studies 62 (3):307 - 314.score: 30.0
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  45. J. G. Milne (1951). A. R. Bellinger: Excavations at Dura-Europos. Final Report Vi, I: The Coins. Pp. Ix + 214; 42 Plates, Map. New Haven: Yale University Press (London: Oxford University Press), 1949. Cloth, 27s. 6d. Net. [REVIEW] The Classical Review 1 (02):121-122.score: 30.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  46. Peter Milne (2001). Book Review. The Taming of the True Neil Tennant. [REVIEW] Mind 110 (438):569-577.score: 30.0
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  47. J. G. Milne (1927). Cyrenaic Coins A Catalogue of the Greek Coins in the British Museum. (Catalogue of the Greek Coins of Cyrenaica.) By E. S. G. Robinson, B.A. Pp. Cclxxv + 154; 47 Collotype Plates. London: British Museum, 1927. £2. [REVIEW] The Classical Review 41 (06):233-234.score: 30.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. Peter Milne (1987). Physical Probabilities. Synthese 73 (2):329 - 359.score: 30.0
    A conception of probability as an irreducible feature of the physical world is outlined. Propensity analyses of probability are examined and rejected as both formally and conceptually inadequate. It is argued that probability is a non-dispositional property of trial-types; probabilities are attributed to outcomes as event-types. Brier's Rule in an objectivist guise is used to forge a connection between physical and subjective probabilities. In the light of this connection there are grounds for supposing physical probability to obey some standard set (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  49. Michael C. Appleby, Neil Cutler, John Gazzard, Peter Goddard, John A. Milne, Colin Morgan & Andrew Redfern (2003). What Price Cheap Food? Journal of Agricultural and Environmental Ethics 16 (4):395-408.score: 30.0
    This paper is the report of a meetingthat gathered many of the UK's most senioranimal scientists with representatives of thefarming industry, consumer groups, animalwelfare groups, and environmentalists. Therewas strong consensus that the current economicstructure of agriculture cannot adequatelyaddress major issues of concern to society:farm incomes, food security and safety, theneeds of developing countries, animal welfare,and the environment. This economic structure isbased primarily on competition betweenproducers and between retailers, driving foodprices down, combined with externalization ofmany costs. These issues must be addressed (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 231