13 found
Order:
  1. Categorical Harmony and Paradoxes in Proof-Theoretic Semantics.Yoshihiro Maruyama - 2015 - In Peter Schroeder-Heister & Thomas Piecha (eds.), Advances in Proof-Theoretic Semantics. Cham, Switzerland: Springer Verlag.
     
    Export citation  
     
    Bookmark   4 citations  
  2. Wittgensteinian : Looking at the World From the Viewpoint of Wittgenstein’s Philosophy.A. C. Grayling, Shyam Wuppuluri, Christopher Norris, Nikolay Milkov, Oskari Kuusela, Danièle Moyal-Sharrock, Beth Savickey, Jonathan Beale, Duncan Pritchard, Annalisa Coliva, Jakub Mácha, David R. Cerbone, Paul Horwich, Michael Nedo, Gregory Landini, Pascal Zambito, Yoshihiro Maruyama, Chon Tejedor, Susan G. Sterrett, Carlo Penco, Susan Edwards-Mckie, Lars Hertzberg, Edward Witherspoon, Michel ter Hark, Paul F. Snowdon, Rupert Read, Nana Last, Ilse Somavilla & Freeman Dyson (eds.) - 2019 - Springer Verlag.
    “Tell me," Wittgenstein once asked a friend, "why do people always say, it was natural for man to assume that the sun went round the earth rather than that the earth was rotating?" His friend replied, "Well, obviously because it just looks as though the Sun is going round the Earth." Wittgenstein replied, "Well, what would it have looked like if it had looked as though the Earth was rotating?” What would it have looked like if we looked at all (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics.Yoshihiro Maruyama - 2013 - In L. Libkin, U. Kohlenbach & R. de Queiroz (eds.), Logic, Language, Information, and Computation. WoLLIC 2013. Lecture Notes in Computer Science, vol 8071. Springer. pp. 211-225.
    We pursue the idea that predicate logic is a “fibred algebra” while propositional logic is a single algebra; in the context of intuitionism, this algebraic understanding of predicate logic goes back to Lawvere, in particular his concept of hyperdoctrine. Here, we aim at demonstrating that the notion of monad-relativised hyperdoctrines, which are what we call fibred algebras, yields algebraisations of a wide variety of predicate logics. More specifically, we discuss a typed, first-order version of the non-commutative Full Lambek calculus, which (...)
     
    Export citation  
     
    Bookmark   3 citations  
  4.  35
    Duality, Intensionality, and Contextuality: Philosophy of Category Theory and the Categorical Unity of Science in Samson Abramsky.Yoshihiro Maruyama - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 41-88.
    Science does not exist in vacuum; it arises and works in context. Ground-breaking achievements transforming the scientific landscape often stem from philosophical thought, just as symbolic logic and computer science were born from the early analytic philosophy, and for the very reason they impact our global worldview as a coherent whole as well as local knowledge production in different specialised domains. Here we take first steps in elucidating rich philosophical contexts in which Samson Abramsky’s far-reaching work centring around categorical science (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  83
    Fundamental results for pointfree convex geometry.Yoshihiro Maruyama - 2010 - Annals of Pure and Applied Logic 161 (12):1486-1501.
    Inspired by locale theory, we propose “pointfree convex geometry”. We introduce the notion of convexity algebra as a pointfree convexity space. There are two notions of a point for convexity algebra: one is a chain-prime meet-complete filter and the other is a maximal meet-complete filter. In this paper we show the following: the former notion of a point induces a dual equivalence between the category of “spatial” convexity algebras and the category of “sober” convexity spaces as well as a dual (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  90
    Prior’s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism.Yoshihiro Maruyama - 2016 - Synthese 193 (11).
    There are still on-going debates on what exactly is wrong with Prior’s pathological “tonk.” In this article I argue, on the basis of categorical inferentialism, that two notions of inconsistency ought to be distinguished in an appropriate account of tonk; logic with tonk is inconsistent as the theory of propositions, and it is due to the fallacy of equivocation; in contrast to this diagnosis of the Prior’s tonk problem, nothing is actually wrong with tonk if logic is viewed as the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  19
    Fibred algebraic semantics for a variety of non-classical first-order logics and topological logical translation.Yoshihiro Maruyama - 2021 - Journal of Symbolic Logic 86 (3):1189-1213.
    Lawvere hyperdoctrines give categorical algebraic semantics for intuitionistic predicate logic. Here we extend the hyperdoctrinal semantics to a broad variety of substructural predicate logics over the Typed Full Lambek Calculus, verifying their completeness with respect to the extended hyperdoctrinal semantics. This yields uniform hyperdoctrinal completeness results for numerous logics such as different types of relevant predicate logics and beyond, which are new results on their own; i.e., we give uniform categorical semantics for a broad variety of non-classical predicate logics. And (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  38
    Foundations of Mathematics: From Hilbert and Wittgenstein to the Categorical Unity of Science.Yoshihiro Maruyama - 2019 - In Newton Da Costa & Shyam Wuppuluri (eds.), Wittgensteinian : Looking at the World From the Viewpoint of Wittgenstein's Philosophy. Springer Verlag. pp. 245-274.
    Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem and Kripkenstein’s paradox, yielding (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  41
    Foundations of Mathematics: From Hilbert and Wittgenstein to the Categorical Unity of Science.Yoshihiro Maruyama - 2019 - In A. C. Grayling, Shyam Wuppuluri, Christopher Norris, Nikolay Milkov, Oskari Kuusela, Danièle Moyal-Sharrock, Beth Savickey, Jonathan Beale, Duncan Pritchard, Annalisa Coliva, Jakub Mácha, David R. Cerbone, Paul Horwich, Michael Nedo, Gregory Landini, Pascal Zambito, Yoshihiro Maruyama, Chon Tejedor, Susan G. Sterrett, Carlo Penco, Susan Edwards-Mckie, Lars Hertzberg, Edward Witherspoon, Michel ter Hark, Paul F. Snowdon, Rupert Read, Nana Last, Ilse Somavilla & Freeman Dyson (eds.), Wittgensteinian : Looking at the World From the Viewpoint of Wittgenstein’s Philosophy. Springer Verlag. pp. 245-274.
    Wittgenstein’s philosophy of mathematics is often devalued due to its peculiar features, especially its radical departure from any of standard positions in foundations of mathematics, such as logicism, intuitionism, and formalism. We first contrast Wittgenstein’s finitism with Hilbert’s finitism, arguing that Wittgenstein’s is perspicuous or surveyable finitism whereas Hilbert’s is transcendental finitism. We then further elucidate Wittgenstein’s philosophy by explicating his natural history view of logic and mathematics, which is tightly linked with the so-called rule-following problem and Kripkenstein’s paradox, yielding (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  60
    Fuzzy Topology and Łukasiewicz Logics from the Viewpoint of Duality Theory.Yoshihiro Maruyama - 2010 - Studia Logica 94 (2):245-269.
    This paper explores relationships between many-valued logic and fuzzy topology from the viewpoint of duality theory. We first show a fuzzy topological duality for the algebras of Łukasiewicz n -valued logic with truth constants, which generalizes Stone duality for Boolean algebras to the n -valued case via fuzzy topology. Then, based on this duality, we show a fuzzy topological duality for the algebras of modal Łukasiewicz n -valued logic with truth constants, which generalizes Jónsson-Tarski duality for modal algebras to the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  11.  15
    Quantum Physics and Cognitive Science from a Wittgensteinian Perspective: Bohr’s Classicism, Chomsky’s Universalism, and Bell’s Contextualism.Yoshihiro Maruyama - 2019 - In Newton Da Costa & Shyam Wuppuluri (eds.), Wittgensteinian : Looking at the World From the Viewpoint of Wittgenstein's Philosophy. Springer Verlag. pp. 375-407.
    Although Wittgenstein’s influence on logic and foundations of mathematics is well recognized, nonetheless, his legacy concerning other sciences is much less elucidated, and in this article we aim at shedding new light on physics, artificial intelligence, and cognitive science from a Wittgensteinian perspective. We focus upon three issues amongst other things: the Chosmky versus Norvig debate on the nature of language; a Neo-Kantian parallelism between Bohr’s philosophy of physics and Hilbert’s philosophy of mathematics; the relationships between cognitive contextuality and physical (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  24
    Quantum Physics and Cognitive Science from a Wittgensteinian Perspective: Bohr’s Classicism, Chomsky’s Universalism, and Bell’s Contextualism.Yoshihiro Maruyama - 2019 - In A. C. Grayling, Shyam Wuppuluri, Christopher Norris, Nikolay Milkov, Oskari Kuusela, Danièle Moyal-Sharrock, Beth Savickey, Jonathan Beale, Duncan Pritchard, Annalisa Coliva, Jakub Mácha, David R. Cerbone, Paul Horwich, Michael Nedo, Gregory Landini, Pascal Zambito, Yoshihiro Maruyama, Chon Tejedor, Susan G. Sterrett, Carlo Penco, Susan Edwards-Mckie, Lars Hertzberg, Edward Witherspoon, Michel ter Hark, Paul F. Snowdon, Rupert Read, Nana Last, Ilse Somavilla & Freeman Dyson (eds.), Wittgensteinian : Looking at the World From the Viewpoint of Wittgenstein’s Philosophy. Springer Verlag. pp. 375-407.
    Although Wittgenstein’s influence on logic and foundations of mathematics is well recognized, nonetheless, his legacy concerning other sciences is much less elucidated, and in this article we aim at shedding new light on physics, artificial intelligence, and cognitive science from a Wittgensteinian perspective. We focus upon three issues amongst other things: the Chosmky versus Norvig debate on the nature of language; a Neo-Kantian parallelism between Bohr’s philosophy of physics and Hilbert’s philosophy of mathematics; the relationships between cognitive contextuality and physical (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13.  31
    The Frame Problem, Gödelian Incompleteness, and the Lucas-Penrose Argument: A Structural Analysis of Arguments About Limits of AI, and Its Physical and Metaphysical Consequences.Yoshihiro Maruyama - 2017 - In Vincent C. Müller (ed.), Philosophy and theory of artificial intelligence 2017. Berlin: Springer.
    The frame problem is a fundamental challenge in AI, and the Lucas-Penrose argument is supposed to show a limitation of AI if it is successful at all. Here we discuss both of them from a unified Gödelian point of view. We give an informational reformulation of the frame problem, which turns out to be tightly intertwined with the nature of Gödelian incompleteness in the sense that they both hinge upon the finitarity condition of agents or systems, without which their alleged (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark