Results for 'Pierre Marquis'

(not author) ( search as author name )
1000+ found
Order:
  1.  5
    Aire 5. Fouille de la citerne 18 (NR 242).Pierre Aupert, Sandrine Marquié & Anne Destrooper-Georgiades - 2009 - Bulletin de Correspondance Hellénique 133 (2):673-682.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Stairway to Heaven: the abstract method and levels of abstraction in mathematics.Jean Pierre Marquis & Jean-Pierre Marquis - 2016 - The Mathematical Intelligencer 38 (3):41-51.
    In this paper, following the claims made by various mathematicians, I try to construct a theory of levels of abstraction. I first try to clarify the basic components of the abstract method as it developed in the first quarter of the 20th century. I then submit an explication of the notion of levels of abstraction. In the final section, I briefly explore some of main philosophical consequences of the theory.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  95
    From a Geometrical Point of view: a study in the history and philosophy of category theory.Jean-Pierre Marquis - 2009 - Springer.
    A Study of the History and Philosophy of Category Theory Jean-Pierre Marquis. to say that objects are dispensable in geometry. What is claimed is that the specific nature of the objects used is irrelevant. To use the terminology already ...
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  4. Abstract mathematical tools and machines for mathematics.Jean-Pierre Marquis - 1997 - Philosophia Mathematica 5 (3):250-272.
    In this paper, we try to establish that some mathematical theories, like K-theory, homology, cohomology, homotopy theories, spectral sequences, modern Galois theory (in its various applications), representation theory and character theory, etc., should be thought of as (abstract) machines in the same way that there are (concrete) machines in the natural sciences. If this is correct, then many epistemological and ontological issues in the philosophy of mathematics are seen in a different light. We concentrate on one problem which immediately follows (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  5.  11
    On the merging of Dung's argumentation systems.Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny, Marie-Christine Lagasquie-Schiex & Pierre Marquis - 2007 - Artificial Intelligence 171 (10-15):730-753.
  6. Mathematical Forms and Forms of Mathematics: Leaving the Shores of Extensional Mathematics.Jean-Pierre Marquis - 2013 - Synthese 190 (12):2141-2164.
    In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view. More specifically, these fields are based on criteria of identity that are not extensional. After presenting a few cases, I concentrate on homotopy theory where the situation is particularly clear. Moreover, homotopy types are arguably fundamental entities of geometry, thus of a large portion of mathematics, and potentially to all mathematics, at least according (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  7. Categorical foundations of mathematics or how to provide foundations for abstract mathematics.Jean-Pierre Marquis - 2013 - Review of Symbolic Logic 6 (1):51-75.
    Fefermans argument is indeed convincing in a certain context, it can be dissolved entirely by modifying the context appropriately.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8. Category theory and the foundations of mathematics: Philosophical excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.
    The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided into 5 (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  9. A path to the epistemology of mathematics: homotopy theory.Jean-Pierre Marquis - 2006 - In José Ferreirós Domínguez & Jeremy Gray (eds.), The Architecture of Modern Mathematics: Essays in History and Philosophy. Oxford, England: Oxford University Press. pp. 239--260.
  10. Category theory.Jean-Pierre Marquis - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  11.  53
    Approximations and truth spaces.Jean-Pierre Marquis - 1991 - Journal of Philosophical Logic 20 (4):375 - 401.
    Approximations form an essential part of scientific activity and they come in different forms: conceptual approximations (simplifications in models), mathematical approximations of various types (e.g. linear equations instead of non-linear ones, computational approximations), experimental approximations due to limitations of the instruments and so on and so forth. In this paper, we will consider one type of approximation, namely numerical approximations involved in the comparison of two results, be they experimental or theoretical. Our goal is to lay down the conceptual and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  12.  31
    Approximations and logic.Jean-Pierre Marquis - 1992 - Notre Dame Journal of Formal Logic 33 (2):184-196.
  13. Vérité partielle et réalisme scientifique: une approche bungéenne.Jean-Pierre Marquis - 2020 - Mεtascience: Discours Général Scientifique 1:293-314.
    Le réalisme scientifique occupe une place centrale dans le système philosophique de Mario Bunge. Au cœur de cette thèse, on trouve l’affirmation selon laquelle nous pouvons connaître le monde partiellement. Il s’ensuit que les théories scientifiques ne sont pas totalement vraies ou totalement fausses, mais plutôt partiellement vraies et partiellement fausses. Ces énoncés sur la connaissance scientifique, à première vue plausible pour quiconque est familier avec la pratique scientifique, demandent néanmoins à être clarifiés, précisés et, ultimement, à être inclus dans (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Categories, sets and the nature of mathematical entities.Jean-Pierre Marquis - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 181--192.
  15. Abstract logical structuralism.Jean-Pierre Marquis - 2020 - Philosophical Problems in Science 69:67-110.
    Structuralism has recently moved center stage in philosophy of mathematics. One of the issues discussed is the underlying logic of mathematical structuralism. In this paper, I want to look at the dual question, namely the underlying structures of logic. Indeed, from a mathematical structuralist standpoint, it makes perfect sense to try to identify the abstract structures underlying logic. We claim that one answer to this question is provided by categorical logic. In fact, we claim that the latter can be seen—and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. The History of Categorical Logic: 1963-1977.Jean-Pierre Marquis & Gonzalo Reyes - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the history of logic. Boston: Elsevier.
  17. The Structuralist Mathematical Style: Bourbaki as a case study.Jean-Pierre Marquis - 2022 - In Claudio Ternullo Gianluigi Oliveri (ed.), Boston Studies in the Philosophy and the History of Science. pp. 199-231.
    In this paper, we look at Bourbaki’s work as a case study for the notion of mathematical style. We argue that indeed Bourbaki exemplifies a mathematical style, namely the structuralist style.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Categories in context: Historical, foundational, and philosophical.Elaine Landry & Jean-Pierre Marquis - 2005 - Philosophia Mathematica 13 (1):1-43.
    The aim of this paper is to put into context the historical, foundational and philosophical significance of category theory. We use our historical investigation to inform the various category-theoretic foundational debates and to point to some common elements found among those who advocate adopting a foundational stance. We then use these elements to argue for the philosophical position that category theory provides a framework for an algebraic in re interpretation of mathematical structuralism. In each context, what we aim to show (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  19. Mathematical Abstraction, Conceptual Variation and Identity.Jean-Pierre Marquis - 2014 - In Peter Schroeder-Heister, Gerhard Heinzmann, Wilfred Hodges & Pierre Edouard Bour (eds.), Logic, Methodology and Philosophy of Science, Proceedings of the 14th International Congress. London, UK: pp. 299-322.
    One of the key features of modern mathematics is the adoption of the abstract method. Our goal in this paper is to propose an explication of that method that is rooted in the history of the subject.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Forms of Structuralism: Bourbaki and the Philosophers.Jean-Pierre Marquis - 2020 - Structures Meres, Semantics, Mathematics, and Cognitive Science.
    In this paper, we argue that, contrary to the view held by most philosophers of mathematics, Bourbaki’s technical conception of mathematical structuralism is relevant to philosophy of mathematics. In fact, we believe that Bourbaki has captured the core of any mathematical structuralism.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Unfolding FOLDS: A Foundational Framework for Abstract Mathematical Concepts.Jean-Pierre Marquis - 2018 - In Landry Elaine (ed.), Category for the Working Philosophers. Oxford University Press. pp. 136-162.
  22. Canonical Maps.Jean-Pierre Marquis - 2017 - In Elaine M. Landry (ed.), Categories for the Working Philosopher. Oxford, England: Oxford University Press. pp. 90-112.
    Categorical foundations and set-theoretical foundations are sometimes presented as alternative foundational schemes. So far, the literature has mostly focused on the weaknesses of the categorical foundations. We want here to concentrate on what we take to be one of its strengths: the explicit identification of so-called canonical maps and their role in mathematics. Canonical maps play a central role in contemporary mathematics and although some are easily defined by set-theoretical tools, they all appear systematically in a categorical framework. The key (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  38
    Albert Lautman, philosophe des mathématiques.Jean-Pierre Marquis - 2010 - Philosophiques 37 (1):3-7.
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. Bunge’s Mathematical Structuralism Is Not a Fiction.Jean-Pierre Marquis - 2019 - In Michael Robert Matthews (ed.), Mario Bunge: A Centenary Festschrift. Springer. pp. 587-608.
    In this paper, I explore Bunge’s fictionism in philosophy of mathematics. After an overview of Bunge’s views, in particular his mathematical structuralism, I argue that the comparison between mathematical objects and fictions ultimately fails. I then sketch a different ontology for mathematics, based on Thomasson’s metaphysical work. I conclude that mathematics deserves its own ontology, and that, in the end, much work remains to be done to clarify the various forms of dependence that are involved in mathematical knowledge, in particular (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  39
    Handling controversial arguments.Sylvie Coste-Marquis, Caroline Devred & Pierre Marquis - 2009 - Journal of Applied Non-Classical Logics 19 (3):311-369.
    We present two prudent semantics within Dung's theory of argumentation. They are based on two new notions of extension, referred to as p-extension and c-extension. Two arguments cannot belong to the same p-extension whenever one of them attacks indirectly the other one. Two arguments cannot belong to the same c-extension whenever one of them indirectly attacks a third argument while the other one indirectly defends the third. We argue that our semantics lead to a better handling of controversial arguments than (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  24
    Category Theory and Structuralism in Mathematics: Syntactical Considerations.Jean-Pierre Marquis - 1997 - In Evandro Agazzi & György Darvas (eds.), Philosophy of Mathematics Today. Kluwer Academic Publishers. pp. 123--136.
    Direct download  
     
    Export citation  
     
    Bookmark  
  27. Towards a Theory of Partial Truth.Jean-Pierre Marquis - 1988 - Dissertation, Mcgill University (Canada)
    The nature of truth has occupied philosophers since the very beginning of the field. Our goal is to clarify the notion of scientific truth, in particular the notion of partial truth of facts. Our strategy consists to brake the problem into smaller, more manageable, questions. Thus, we distinguish the truth of a scientific theory, what we call the "global" truth value of a theory, from the truth of a particular scientific proposition, what we call the "local" truth values of a (...)
     
    Export citation  
     
    Bookmark  
  28.  11
    Vie et logique d’Alfred Tarski.Jean-Pierre Marquis & Marie Martel - 2006 - Dialogue 45 (2):367-374.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. Mathematical Models of Abstract Systems: Knowing abstract geometric forms.Jean-Pierre Marquis - 2013 - Annales de la Faculté des Sciences de Toulouse 22 (5):969-1016.
    Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a central role, namely homotopy theory. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  24
    Computational Aspects of Quasi-Classical Entailment.Pierre Marquis & Nadège Porquet - 2001 - Journal of Applied Non-Classical Logics 11 (3-4):294-312.
    Quasi-classical logic is a propositional logic for reasoning under inconsistency pointed out recently in the literature [3] [21]. Compared with several other paraconsistent logics, it has the nice feature that no special attention needs to be paid to a special form of premises. However, only few is known about its computational behaviour up to now. In this paper, we fill this gap by pointing out a linear time translation that maps every instance of the quasi-classical entailment problem for CNF formulas (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  3
    Consistency restoration and explanations in dynamic CSPs—Application to configuration.Jérôme Amilhastre, Hélène Fargier & Pierre Marquis - 2002 - Artificial Intelligence 135 (1-2):199-234.
  32.  7
    Categories.Jean-Pierre Marquis - 2012 - In Sven Ove Hansson & Vincent F. Hendricks (eds.), Introduction to Formal Philosophy. Cham: Springer. pp. 251-271.
    Mathematical categories provide an abstract and general framework for logic and mathematics. As such, they could be used by philosophers in all the basic fields of the discipline: semantics, epistemology and ontology. In this paper, we present the basic definitions and notions and suggest some of the ways categories are starting to infiltrate formal philosophy.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  37
    Mathematical Conceptware: Category Theory: Critical Studies/Book Reviews.Jean-Pierre Marquis - 2010 - Philosophia Mathematica 18 (2):235-246.
    (No abstract is available for this citation).
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  34.  61
    Mathematical engineering and mathematical change.Jean-Pierre Marquis - 1999 - International Studies in the Philosophy of Science 13 (3):245 – 259.
    In this paper, I introduce and examine the notion of “mathematical engineering” and its impact on mathematical change. Mathematical engineering is an important part of contemporary mathematics and it roughly consists of the “construction” and development of various machines, probes and instruments used in numerous mathematical fields. As an example of such constructions, I briefly present the basic steps and properties of homology theory. I then try to show that this aspect of contemporary mathematics has important consequences on our conception (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  6
    Lost in translation: Language independence in propositional logic – application to belief change.Pierre Marquis & Nicolas Schwind - 2014 - Artificial Intelligence 206 (C):1-24.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Special-issue book review.Jean-Pierre Marquis - 1996 - Philosophia Mathematica 4 (2):202-205.
  37.  20
    Angèle Kremer-Marietti, La philosophie cognitive, Paris, PUF , 1994, 128 p.Jean-Pierre Marquis - 1996 - Philosophiques 23 (2):461-464.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  22
    A View from Space: The Foundations of Mathematics.Jean-Pierre Marquis - 2018 - In Wuppuluri Shyam & Francisco Antonio Dorio (eds.), The Map and the Territory: Exploring the Foundations of Science, Thought and Reality. Springer. pp. 357-375.
    Suppose we were to meet with extraterrestrials and that we were able to have a discussion about our respective cultures. At some point, they start asking questions about that something which we call “mathematics”. “What is it?”, they ask. Tough question. How should we answer them?
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  13
    Critical Notice.Jean-Pierre Marquis - 2000 - Canadian Journal of Philosophy 30 (1):161-178.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  38
    Erich Reck* and Georg Schiemer.** The Prehistory of Mathematical Structuralism.Jean-Pierre Marquis - 2020 - Philosophia Mathematica 28 (3):416-420.
    _Erich Reck* * and Georg Schiemer.** ** The Prehistory of Mathematical Structuralism. _Oxford University Press, 2020. Pp. 454. ISBN: 978-0-19-064122-1 ; 978-0-19-064123-8. doi: 10.1093/oso/9780190641221.001.0001.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. On the justification of mathematical intuitionism.Jean-Pierre Marquis - 1985 - Dissertation, Université de Montréal
     
    Export citation  
     
    Bookmark  
  42. On Tobar-Arbulu's "Quarter Truths".Jean-Pierre Marquis - 1988 - Epistemologia 11 (1):139.
     
    Export citation  
     
    Bookmark  
  43.  70
    Categorical Foundations of Mathematics.Jean-Pierre Marquis - 2012 - Review of Symbolic Logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  41
    Categories in Context: Historical, Foundational, and Philosophical &dagger.Elaine Landry & Jean-Pierre Marquis - 2005 - Philosophia Mathematica 13 (1):1-43.
    The aim of this paper is to put into context the historical, foundational and philosophical significance of category theory. We use our historical investigation to inform the various category-theoretic foundational debates and to point to some common elements found among those who advocate adopting a foundational stance. We then use these elements to argue for the philosophical position that category theory provides a framework for an algebraic _in re_ interpretation of mathematical structuralism. In each context, what we aim to show (...)
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  45.  8
    Disjunctive merging: Quota and Gmin merging operators.Patricia Everaere, Sébastien Konieczny & Pierre Marquis - 2010 - Artificial Intelligence 174 (12-13):824-849.
  46.  5
    Reasoning under inconsistency: A forgetting-based approach.Jérôme Lang & Pierre Marquis - 2010 - Artificial Intelligence 174 (12-13):799-823.
  47.  12
    Review of 'Realistic Rationalism'. [REVIEW]Jean-Pierre Marquis - 2000 - Erkenntnis 52 (3):419-423.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  18
    Conditional independence in propositional logic.Jérôme Lang, Paolo Liberatore & Pierre Marquis - 2002 - Artificial Intelligence 141 (1-2):79-121.
  49.  67
    Book Review: Colin McLarty. Elementary Categories, Elementary Toposes. [REVIEW]Jean-Pierre Marquis - 1998 - Notre Dame Journal of Formal Logic 39 (3):436-445.
  50.  41
    Removing inconsistencies in assumption-based theories through knowledge-gathering actions.Jérôme Lang & Pierre Marquis - 2001 - Studia Logica 67 (2):179-214.
    In this paper, the problem of purifying an assumption-based theory KB, i.e., identifying the right extension of KB using knowledge-gathering actions (tests), is addressed. Assumptions are just normal defaults without prerequisite. Each assumption represents all the information conveyed by an agent, and every agent is associated with a (possibly empty) set of tests. Through the execution of tests, the epistemic status of assumptions can change from "plausible" to "certainly true", "certainly false" or "irrelevant", and the KB must be revised so (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000