157 found
Sort by:
Disambiguations:
David Boucher [53]Andrew Boucher [29]Geoff Boucher [16]Jill Boucher [7]
D. Boucher [4]Pol Boucher [4]Douglas H. Boucher [3]Caroline Boucher [3]

Not all matches are shown. Search with initial or firstname to single out others.

See also:
Profile: Andrew Boucher
Profile: Geoff Boucher (Deakin University)
Profile: Wayne I. Boucher (University of Southern California)
Profile: Sandy Cameron Boucher (University of Melbourne)
Profile: Jean-Philippe Boucher
Profile: Philip Boucher
Profile: Wayne I. Boucher
  1. Andrew Boucher, Proving Bertrand's Postulate.
    Bertand's Postulate is proved in Peano Arithmetic minus the Successor Axiom.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Andrew Boucher, Against Angles and the Fregean-Cantorian Theory of Number.
    How-many numbers, such as 2 and 1000, relate or are capable of expressing the size of a group or set. Both Cantor and Frege analyzed how-many number in terms of one-to-one correspondence between two sets. That is to say, one arrived at numbers by either abstracting from the concept of correspondence, in the case of Cantor, or by using it to provide an out-and-out definition, in the case of Frege.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Andrew Boucher, A A.... G.
    These notes are meant to continue from the paper on Consistency, in proving number-theoretic theorems from the second-order arithmetical system called FFFF. Its ultimate target is Quadratic Reciprocity, although it introduces and proves some facts about the least common multiple at the start.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. Andrew Boucher, A Note On the Berry Paradox.
    For those who have understood the solution to the Liarʼs Paradox and the Paradoxes of Predication, presented in A Comprehensive Solution to the Paradoxes and The Solution to the Liarʼs Paradox1, it will come as no surprise how the Berry Paradox should be solved. Nonetheless, the solution will be presented here in a short note, for completenessʼ sake.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Andrew Boucher, Arithmetic Without the Successor Axiom.
    Second-order Peano Arithmetic minus the Successor Axiom is developed from first principles through Quadratic Reciprocity and a proof of self-consistency. This paper combines 4 other papers of the author in a self-contained exposition.
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Andrew Boucher, Equivalence of F with a Sub-Theory of Peano Arithmetic.
    In a short, technical note, the system of arithmetic, F, introduced in Systems for a Foundation of Arithmetic and "True" Arithmetic Can Prove Its Own Consistency and Proving Quadratic Reciprocity, is demonstrated to be equivalent to a sub-theory of Peano Arithmetic; the sub-theory is missing, most notably, the Successor Axiom.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Andrew Boucher, Logical Philosophy.
    Note to the reader: To avoid confusion and possible misinterpretations of the author's intentions, whenever a paragraph contains a definition or explication of how the author means the meaning of a word, asterisks have been placed after the paragraph number and before the word or words in question. The reader is warned that some words may be meant idiosyncratically.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  8. Andrew Boucher, Proving Quadratic Reciprocity.
    The system of arithmetic considered in Consistency, which is essentially second-order Peano Arithmetic without the Successor Axiom, is used to prove more theorems of arithmetic, up to Quadratic Reciprocity.
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Andrew Boucher, Sub-Theory of Peano Arithmetic.
    The system called F is essentially a sub-theory of Frege Arithmetic without the ad infinitum assumption that there is always a next number. In a series of papers (Systems for a Foundation of Arithmetic, True” Arithmetic Can Prove Its Own Consistency and Proving Quadratic Reciprocity) it was shown that F proves a large number of basic arithmetic truths, such as the Euclidean Algorithm, Unique Prime Factorization (i.e. the Fundamental Law of Arithmetic), and Quadratic Reciprocity, indeed a sizable amount of arithmetic. (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  10. Andrew Boucher, "True" Arithmetic Can Prove its Own Consistency.
    Using an axiomatization of second-order arithmetic (essentially second-order Peano Arithmetic without the Successor Axiom), arithmetic's basic operations are defined and its fundamental laws, up to unique prime factorization, are proven. Two manners of expressing a system's consistency are presented - the "Godel" consistency, where a wff is represented by a natural number, and the "real" consistency, where a wff is represented as a second-order sequence, which is a stronger notion. It is shown that the system can prove at least its (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Andrew Boucher, Who Needs (to Assume) Hume's Principle?
    Neo-logicism uses definitions and Hume's Principle to derive arithmetic in second-order logic. This paper investigates how much arithmetic can be derived using definitions alone, without any additional principle such as Hume's.
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. David Boucher (unknown). The Scottish Idealists: Selected Philosophical Writings.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  13. Andrew Boucher, A Comprehensive Solution to the Paradoxes.
    A solution to the paradoxes has two sides: the philosophical and the technical. The paradoxes are, first and foremost, a philosophical problem. A philosophical solution must pinpoint the exact step where the reasoning that leads to contradiction is fallacious, and then explain why it is so.
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Andrew Boucher, A Natural First-Order System of Arithmetic Which Proves Its Own Consistency.
    Herein is presented a natural first-order arithmetic system which can prove its own consistency, both in the weaker Godelian sense using traditional Godel numbering and, more importantly, in a more robust and direct sense; yet it is strong enough to prove many arithmetic theorems, including the Euclidean Algorithm, Quadratic Reciprocity, and Bertrand’s Postulate.
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  15. Andrew Boucher, A Philosophical Introduction to the Foundations of Elementary Arithmetic by V1.03 Last Updated: 1 Jan 2001 Created: 1 Sept 2000 Please Send Your Comments to Abo. [REVIEW]
    As it is currently used, "foundations of arithmetic" can be a misleading expression. It is not always, as the name might indicate, being used as a plural term meaning X = {x : x is a foundation of arithmetic}. Instead it has come to stand for a philosophico-logical domain of knowledge, concerned with axiom systems, structures, and analyses of arithmetic concepts. It is a bit as if "rock" had come to mean "geology." The conflation of subject matter and its study (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Andrew Boucher, A Theory of Meaning.
    What an individual means by a word sometimes, if not always, is dependent on the individual, on what he believes, and on his memories; and so on what kind of life he has lived and what kind of experiences he has had, the manner in which he learned the word, and so forth. For instance, someone who lives in a hot climate will surely mean the word ʻcoldʼ in a different way than someone who comes from a cold one. Indeed (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  17. Andrew Boucher, Consistency and Existence by V1.00 Last Updated: 1 Oct 2000 Please Send Your Comments to Abo.
    On the one hand, first-order theories are able to assert the existence of objects. For instance, ZF set theory asserts the existence of objects called the power set, while Peano Arithmetic asserts the existence of zero. On the other hand, a first-order theory may or not be consistent: it is if and only if no contradiction is a theorem. Let us ask, What is the connection between consistency and existence?
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  18. Andrew Boucher, Created: 9 June 2003 12 November 2003 Version 1.1 Www.Andrewboucher.Com/Papers/Quadratic_reciprocity.Pdf.
    These notes are meant to continue from the paper on Consistency, in proving number-theoretic theorems from the second-order arithmetical system called FFFF. Its ultimate target is Quadratic Reciprocity, although it introduces and proves some facts about the least common multiple at the start.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Andrew Boucher, Comments on Naming and Necessity.
    I recently had the occasion to reread Naming and Necessity by Saul Kripke. NaN struck me this time, as it always has, as breathtakingly clear and lucid. It also struck me this time, as it always has, as wrong-headed in several major ways, both in its methodology and its content. Herein is a brief explanation why.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Andrew Boucher, Depression in a One-Good Barter Economy.
    Consider a one-good economy where money is not used and only barter holds. As is traditional, the unique good can be exchanged for labor, which itself is used to produce the good; and there are capitalists, who own the means of production, who contract for the labor and keep whatever of the good is left from production after paying the workers. The only unusual feature of the economy is that the various economic agents can also make promises of future delivery (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  21. Andrew Boucher, Dedekind's Proof by V2.0 Last Updated: 10 Dec 2001 Created: 1 Sept 2000 Please Send Your Comments to Abo.
    In "The Nature and Meaning of Numbers," Dedekind produces an original, quite remarkable proof for the holy grail in the foundations of elementary arithmetic, that there are an infinite number of things. It goes like this. [p, 64 in the Dover edition.] Consider the set S of things which can be objects of my thought. Define the function phi(s), which maps an element s of S to the thought that s can be an object of my thought. Then phi is (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. Andrew Boucher, General Arithmetic.
    General Arithmetic is the theory consisting of induction on a successor function. Normal arithmetic, say in the system called Peano Arithmetic, makes certain additional demands on the successor function. First, that it be total. Secondly, that it be one-to-one. And thirdly, that there be a first element which is not in its image. General Arithmetic abandons all of these further assumptions, yet is still able to prove many meaningful arithmetic truths, such as, most basically, Commutativity and Associativity of Addition and (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  23. Andrew Boucher, Introduction.
    The Successor Axiom asserts that every number has a successor, or in other words, that the number series goes on and on ad infinitum. The present work investigates a particular subsystem of Frege Arithmetic, called F, which turns out to be equivalent to second-order Peano Arithmetic minus the Successor Axiom, and shows how this system can develop arithmetic up through Gauss' Quadratic Reciprocity Law. It then goes on to represent questions of provability in F, and shows that F can prove (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  24. Andrew Boucher, On Descriptive Ethics.
    In its descriptive sense ethical language allows one to make assertions, which like other assertions may be true or not. “One should not torture,” descriptively, makes an assertion about torture - that it is an act that one should not do. While the peculiar force of ethical language comes from its overloading of different types of uses - descriptive, imperative, and emotive -, our concern here will be with the descriptive. Many of our assertions will focus on the English word (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  25. Andrew Boucher, Systems for a Foundation of Arithmetic.
    A new second-order axiomatization of arithmetic, with Frege's definition of successor replaced, is presented and compared to other systems in the field of Frege Arithmetic. The key in proving the Peano Axioms turns out to be a proposition about infinity, which a reduced subset of the axioms proves.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Andrew Boucher, The Existence of Numbers (Or: What is the Status of Arithmetic?) By V2.00 Created: 11 Oct 2001 Modified: 3 June 2002 Please Send Your Comments to Abo. [REVIEW]
    I begin with a personal confession. Philosophical discussions of existence have always bored me. When they occur, my eyes glaze over and my attention falters. Basically ontological questions often seem best decided by banging on the table--rocks exist, fairies do not. Argument can appear long-winded and miss the point. Sometimes a quick distinction resolves any apparent difficulty. Does a falling tree in an earless forest make noise, ie does the noise exist? Well, if noise means that an ear must be (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  27. Andrew Boucher, The Solution to the Liar's Paradox.
    A solution to the Liar must do two things. First, it should say exactly which step in the Liar reasoning - the reasoning which leads to a contradiction - is invalid. Secondly, it should explains why this step is invalid.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Andrew Boucher, Three Theorems of Godel.
    It might seem that three of Godel’s results - the Completeness and the First and Second Incompleteness Theorems - assume so little that they are reasonably indisputable. A version of the Completeness Theorem, for instance, can be proven in RCA0, which is the weakest system studied extensively in Simpson’s encyclopaedic Subsystems of Second Order Arithmetic. And it often seems that the minimum requirements for a system just to express the Incompleteness Theorems are sufficient to prove them. However, it will be (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Andrew Boucher, Who Needs (to Assume) Hume's Principle? July 2006.
    In the Foundations of Arithmetic, Frege famously developed a theory which today goes by the name of logicism - that it is possible to prove the truths of arithmetic using only logical principles and definitions. Logicism fell out of favor for various reasons, most spectacular of which was that the system, which Frege thought would definitively prove his thesis, turned out to be inconsistent. In the early 1980s a movement called neo-logicism was begun by Crispin Wright. Neo-logicism holds that Frege (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. David Boucher (forthcoming). British Idealism, the State, and International Relations. Journal of the History of Ideas.
    Direct download  
     
    My bibliography  
     
    Export citation  
  31. David Boucher (forthcoming). Practical Hegelianism: Henry Jones's Lecture Tour of Australia. Journal of the History of Ideas.
     
    My bibliography  
     
    Export citation  
  32. François Boucher (forthcoming). Exemptions to the Law, Freedom of Religion and Freedom of Conscience in Postsecular Societies. Philosophy and Public Issues - Filosofia E Questioni Pubbliche.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Sandy C. Boucher (forthcoming). Functionalism and Structuralism as Philosophical Stances: Van Fraassen Meets the Philosophy of Biology. Biology and Philosophy:1-21.
    I consider the broad perspectives in biology known as ‘functionalism’ and ‘structuralism’, as well as a modern version of functionalism, ‘adaptationism’. I do not take a position on which of these perspectives is preferable; my concern is with the prior question, how should they be understood? Adapting van Fraassen’s argument for treating materialism as a stance, rather than a factual belief with propositional content, in the first part of the paper I offer an argument for construing functionalism and structuralism as (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  34. Sandy C. Boucher (2014). What is a Philosophical Stance? Paradigms, Policies and Perspectives. Synthese 191 (10):2315-2332.
    Since van Fraassen first put forward the suggestive idea that many philosophical positions should be construed as ‘stances’ rather than factual beliefs, there have been various attempts to spell out precisely what a philosophical stance might be, and on what basis one should be adopted. In this paper I defend a particular account of stances, the view that they are pragmatically justified perspectives or ways of seeing the world, and compare it to some other accounts that have been offered. In (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  35. Annie C. Gilbert, Victor J. Boucher & Boutheina Jemel (2014). Perceptual Chunking and its Effect on Memory in Speech Processing: ERP and Behavioral Evidence. Frontiers in Psychology 5.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  36. David Boucher & Teresa Smith (eds.) (2013). R. G. Collingwood: An Autobiography and Other Writings: With Essays on Collingwood's Life and Work. Oup Oxford.
    This volume presents a many-faceted view of the great Oxford philosopher R. G. Collingwood. At its centre is his Autobiography of 1939, a cult classic for its compelling 'story of his thought'. That work is accompanied here by previously unpublished writings by Collingwood and eleven specially written essays on aspects of his life and work.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  37. Patrick Boucher (2013). Le cri de la hyène : trans, cybermedia et post-pornographie. Rue Descartes 3 (3):16-28.
    No categories
    Translate to English
    | Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  38. Andrew Benjamin, Of Jews, David Boucher, Andrew Vincent, British Idealism, G. de Callatay, B. Halflants & N. El-Bizri (2012). BADER Ralf M. And John MEADOWCROFT (Eds): The Cambridge. British Journal for the History of Philosophy 20 (1):213-216.
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Caroline Boucher & Genevieve Dumas (2012). Medical Translations and Practical Compilations: A Necessary Coincidence? Early Science and Medicine 17 (3):273-308.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  40. D. Boucher (2012). The Just War Tradition and its Modern Legacy: Jus Ad Bellum and Jus in Bello. European Journal of Political Theory 11 (2):92-111.
    The relationship between jus ad bellum and jus in bello has been characterized differently throughout European history. There have been three main positions exemplified by Hugo Grotius, Samuel von Pufendorf and Emer de Vattel. They are, first, both the cause and the conduct of warfare must be just; second, the cause must be just, but the conduct of the war is unconstrained in order to achieve the goal of peace; and, third, we must assume justice on both sides, and concentrate (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  41. David Boucher, Oakeshott in the Context of British Idealism?
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  42. Geoff Boucher (2012). Adorno Reframed: Interpreting Key Thinkers for the Arts. I.B. Tauris.
    Dismissed as a miserable elitist who condemned popular culture in the name of 'high art', Theodor W. Adorno (1903–1969) is one of the most provocative and important yet least understood of contemporary thinkers. This book challenges this popular image and re-examines Adorno as a utopian philosopher who believed authentic art could save the world. Adorno Reframed is not only a comprehensive introduction to the reader coming to Adorno for the first time, but also an important re-evaluation of this founder of (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Geoff Boucher (2012). Book Review: Mari Ruti, a World of Fragile Things: Psychoanalysis and the Art of Living. [REVIEW] Critical Horizons 11 (2):315-321.
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Geoff Boucher (2012). Understanding Marxism. Durhamacumen Publishing Ltd.
     
    My bibliography  
     
    Export citation  
  45. Philip Boucher & Clair Gough (2012). Mapping the Ethical Landscape of Carbon Capture and Storage. Poiesis and Praxis 9 (3-4):249-270.
    This article describes a method of scoping for potential ethical contentions within a resource constrained research environment where actor participation and bottom–up analysis is precluded. Instead of reverting to a top–down analytical structure, a data-led process is devised. This imitates a bottom–up analytic structure in the absence of the direct participation of actors, culminating in the construction of a map of the ethical landscape; a high-resolution ethical matrix of coded interpretations of various actors’ ethical framings of the technology. Despite its (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. Geneviève Dumas & Caroline Boucher (2012). Medical Translations and Practical Compilations: A Necessary Coincidence? Early Science and Medicine 17 (3):273-308.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  47. Camilla Boison & David Boucher, Hobbes and the Subjection of International Relations to Law and Morality.
  48. François Boucher (2011). Les fondements égalitaristes des pratiques d'accommodement de la diversité religieuse. Revue Philosophique de Louvain 109 (4):671-695.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  49. Geoff Boucher (2011). The Compositor of the Farce of Dustiny : Lacan Reading, and Being Read by, Joyce. Analysis 16:99-118.
    "We have learnt to see Joyce as Lacan's own symptom," writes Jean-Michel Rabate, "and as the sinthome par excellence" (2006, 26). This duality of Joyce as an unreadable text permeated with enjoyment and at the same time as an enigma that Lacan wants to decipher supplies the key to an understanding of Seminar XXIII. Lacan's addition to the triad of the Real, the Symbolic and the Imaginary of a fourth term, the Sigma (or sinthome) firms up his late shift from (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  50. Geoff Boucher (2011). The Politics of Aesthetic Affect - a Reconstruction of Habermas' Art Theory. Parrhesia 13:62-78.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 157