Results for 'Makoto Asari'

233 found
Order:
  1. Nihongo to Nihon Shisō: Motoori Norinaga, Nishida Kitarō, Mikami Akira, Karatani Kōjin.Makoto Asari - 2008 - Fujiwara Shoten.
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  67
    Weak Vs. Strong Readings of Donkey Sentences and Monotonicity Inference in a Dynamic Setting.Makoto Kanazawa - 1994 - Linguistics and Philosophy 17 (2):109 - 158.
    In this paper, I show that the availability of what some authors have called the weak reading and the strong reading of donkey sentences with relative clauses is systematically related to monotonicity properties of the determiner. The correlation is different from what has been observed in the literature in that it concerns not only right monotonicity, but also left monotonicity (persistence/antipersistence). I claim that the reading selected by a donkey sentence with a double monotone determiner is in fact the one (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  3.  28
    The Lambek Calculus Enriched with Additional Connectives.Makoto Kanazawa - 1992 - Journal of Logic, Language and Information 1 (2):141-171.
    Some formal properties of enriched systems of Lambek calculus with analogues of conjunction and disjunction are investigated. In particular, it is proved that the class of languages recognizable by the Lambek calculus with added intersective conjunction properly includes the class of finite intersections of context-free languages.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  4.  49
    On Proofs of the Incompleteness Theorems Based on Berry's Paradox by Vopěnka, Chaitin, and Boolos.Makoto Kikuchi, Taishi Kurahashi & Hiroshi Sakai - 2012 - Mathematical Logic Quarterly 58 (4-5):307-316.
    By formalizing Berry's paradox, Vopěnka, Chaitin, Boolos and others proved the incompleteness theorems without using the diagonal argument. In this paper, we shall examine these proofs closely and show their relationships. Firstly, we shall show that we can use the diagonal argument for proofs of the incompleteness theorems based on Berry's paradox. Then, we shall show that an extension of Boolos' proof can be considered as a special case of Chaitin's proof by defining a suitable Kolmogorov complexity. We shall show (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  41
    Japanese Conceptions of Privacy: An Intercultural Perspective. [REVIEW]Makoto Nakada & Takanori Tamura - 2005 - Ethics and Information Technology 7 (1):27-36.
    This paper deals with intercultural aspects of privacy, particularly with regard to important differences between Japanese and the Western views. This paper is based on our discussions with Rafael Capurro – a dialogue now represented by two separate but closely interrelated articles. The companion paper is broadly focused on the cultural and historical backgrounds of the concepts of privacy and individualism in “Western” worlds; our main theme focuses on different concepts of privacy in Japan and their sources in related aspects (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  6.  15
    Equivalence of Bar Induction and Bar Recursion for Continuous Functions with Continuous Moduli.Makoto Fujiwara & Tatsuji Kawai - 2019 - Annals of Pure and Applied Logic 170 (8):867-890.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  2
    A Strategic Justification of the Constrained Equal Awards Rule Through a Procedurally Fair Multilateral Bargaining Game.Makoto Hagiwara & Shunsuke Hanato - forthcoming - Theory and Decision.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  53
    A Note on Boolos' Proof of the Incompleteness Theorem.Makoto Kikuchi - 1994 - Mathematical Logic Quarterly 40 (4):528-532.
    We give a proof of Gödel's first incompleteness theorem based on Berry's paradox, and from it we also derive the second incompleteness theorem model-theoretically.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  9.  56
    Singular Donkey Pronouns Are Semantically Singular.Makoto Kanazawa - 2001 - Linguistics and Philosophy 24 (3):383-403.
  10.  35
    Liar-Type Paradoxes and the Incompleteness Phenomena.Makoto Kikuchi & Taishi Kurahashi - 2016 - Journal of Philosophical Logic 45 (4):381-398.
    We define a liar-type paradox as a consistent proposition in propositional modal logic which is obtained by attaching boxes to several subformulas of an inconsistent proposition in classical propositional logic, and show several famous paradoxes are liar-type. Then we show that we can generate a liar-type paradox from any inconsistent proposition in classical propositional logic and that undecidable sentences in arithmetic can be obtained from the existence of a liar-type paradox. We extend these results to predicate logic and discuss Yablo’s (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  18
    On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
    Within a weak subsystem of second-order arithmetic , that is -conservative over , we reformulate Kreisel's proof of the Second Incompleteness Theorem and Boolos' proof of the First Incompleteness Theorem.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  12.  26
    Where Grammar and Interaction Meet: A Study of Co-Participant Completion in Japanese Conversation. [REVIEW]Makoto Hayashi - 1999 - Human Studies 22 (2-4):475-499.
    This article examines the practice of "co-participant completion" in Japanese conversation, and explores what kinds of resources are mobilized to provide the opportunity to complete another participant's utterance-in-progress. It suggests the following observations as potential characteristics of Japanese co-participant completion: (i) Syntactically-defined two-part formats (e.g. [If X] + [then Y]) may not play as prominent a role as in English; (ii) The majority of cases of co-participant completion take the form of 'terminal item completion;' (iii) Locally emergent structures like 'contrast' (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  8
    On the Recognizing Power of the Lambek Calculus with Brackets.Makoto Kanazawa - 2018 - Journal of Logic, Language and Information 27 (4):295-312.
    Every language recognized by the Lambek calculus with brackets is context-free. This is shown by combining an observation by Jäger with an entirely straightforward adaptation of the method Pentus used for the original Lambek calculus. The case of the variant of the calculus allowing sequents with empty antecedents is slightly more complicated, requiring a restricted use of the multiplicative unit.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  11
    Some Principles Weaker Than Markov’s Principle.Makoto Fujiwara, Hajime Ishihara & Takako Nemoto - 2015 - Archive for Mathematical Logic 54 (7-8):861-870.
    We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle. We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  11
    Platon Et la Question des Images.Makoto Sekimura - 2010 - Ousia.
  16.  29
    Kolmogorov Complexity and the Second Incompleteness Theorem.Makoto Kikuchi - 1997 - Archive for Mathematical Logic 36 (6):437-443.
    . We shall prove the second incompleteness theorem via Kolmogorov complexity.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  82
    Reciprocal Expressions and the Concept of Reciprocity.Mary Dalrymple, Makoto Kanazawa, Yookyung Kim, Sam McHombo & Stanley Peters - 1998 - Linguistics and Philosophy 21 (2):159-210.
  18.  12
    Universal Rosser Predicates.Makoto Kikuchi & Taishi Kurahashi - 2017 - Journal of Symbolic Logic 82 (1):292-302.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  9
    Generalizations of Gödel’s Incompleteness Theorems for ∑N-Definable Theories of Arithmetic.Makoto Kikuchi & Taishi Kurahashi - 2017 - Review of Symbolic Logic 10 (4):603-616.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  42
    Identification in the Limit of Categorial Grammars.Makoto Kanazawa - 1996 - Journal of Logic, Language and Information 5 (2):115-155.
    It is proved that for any k, the class of classical categorial grammars that assign at most k types to each symbol in the alphabet is learnable, in the Gold (1967) sense of identification in the limit from positive data. The proof crucially relies on the fact that the concept known as finite elasticity in the inductive inference literature is preserved under the inverse image of a finite-valued relation. The learning algorithm presented here incorporates Buszkowski and Penn's (1990) algorithm for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  21.  6
    Three Short Stories Around Gödel's Incompleteness Theorems.Makoto Kikuchi & Taishi Kurahashi - 2011 - Journal of the Japan Association for Philosophy of Science 38 (2):75-80.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  16
    On the Strength of Marriage Theorems and Uniformity.Makoto Fujiwara, Kojiro Higuchi & Takayuki Kihara - 2014 - Mathematical Logic Quarterly 60 (3):136-153.
  23.  17
    Collaborative Filtering by Analyzing Dynamic User Interests Modeled by Taxonomy.Makoto Nakatsuji, Yasuhiro Fujiwara, Toshio Uchiyama & Hiroyuki Toda - 2013 - Transactions of the Japanese Society for Artificial Intelligence 28 (6):457-467.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  18
    Introduction to the Philosophy of Tanabe: According to the English Translation of the Seventh Chapter of the Demonstratio of Christianity.Makoto Ozaki - 1990 - Rodopi.
    Translated text is chapt. 7, pt. 2 of Kirisutokyō no benshō.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  22
    The Development of Early Modern Onmyodo.Hayashi Makoto - 2013 - Japanese Journal of Religious Studies 40 (1):151-167.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Uniqueness of Normal Proofs of Minimal Formulas.Makoto Tatsuta - 1993 - Journal of Symbolic Logic 58 (3):789-799.
    A minimal formula is a formula which is minimal in provable formulas with respect to the substitution relation. This paper shows the following: (1) A β-normal proof of a minimal formula of depth 2 is unique in NJ. (2) There exists a minimal formula of depth 3 whose βη-normal proof is not unique in NJ. (3) There exists a minimal formula of depth 3 whose βη-normal proof is not unique in NK.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  27. Justice After Catastrophe: Responsibility and Security.Makoto Usami - 2015 - Ritsumeikan Studies in Language and Culture 26 (4):215-230.
    The issue of justice after catastrophe is an enormous challenge to contemporary theories of distributive justice. In the past three decades, the controversy over distributive justice has centered on the ideal of equality. One of intensely debated issues concerns what is often called the “equality of what,” on which there are three primary views: welfarism, resourcism, and the capabilities approach. Another major point of dispute can be termed the “equality or another,” about which three positions debate: egalitarianism, prioritarianism, and sufficientarianism. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  11
    A Note on Stationarity of Types Over Models in Simple Theories.Makoto Kobayashi & Akito Tsuboi - 2008 - Mathematical Logic Quarterly 54 (6):625-628.
    We investigate stationarity of types over models in simple theories. In particular, we show that in simple theories with finite SU-rank, any complete type over a model having Cantor-Bendixson rank is stationary.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  26
    Multi-State Real-Time Bidirectional Search.Makoto Koshino, Hiroaki Murata, Masatoshi Shirayama & Haruhiko Kimura - 2004 - Transactions of the Japanese Society for Artificial Intelligence 19:68-72.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  20
    Individuum, Society, Humankind: The Triadic Logic of Species According to Hajime Tanabe.Makoto Ozaki - 2001 - Brill.
    In this collection on the Kyoto School of Philosophy, the author offers the reader Tanabe's religious philosophy, but also, and for the first time, his ...
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  14
    Analysis and Design From a Viewpoint of Information Flow.Makoto Kikuchi - 2003 - In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences Ii. Kluwer Academic Publishers. pp. 119--122.
  32.  5
    Computing Interpolants in Implicational Logics.Makoto Kanazawa - 2006 - Annals of Pure and Applied Logic 142 (1):125-201.
    I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like Prawitz’s, works on natural deductions rather than sequent derivations, and, unlike existing methods, always finds a ‘strongest’ interpolant under a certain restricted but reasonable notion of what counts as an ‘interpolant’.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  33
    Inhabitation of Polymorphic and Existential Types.Makoto Tatsuta, Ken-Etsu Fujita, Ryu Hasegawa & Hiroshi Nakano - 2010 - Annals of Pure and Applied Logic 161 (11):1390-1399.
    This paper shows that the inhabitation problem in the lambda calculus with negation, product, polymorphic, and existential types is decidable, where the inhabitation problem asks whether there exists some term that belongs to a given type. In order to do that, this paper proves the decidability of the provability in the logical system defined from the second-order natural deduction by removing implication and disjunction. This is proved by showing the quantifier elimination theorem and reducing the problem to the provability in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  7
    A Simple Proof of Second-Order Strong Normalization with Permutative Conversions.Makoto Tatsuta & Grigori Mints - 2005 - Annals of Pure and Applied Logic 136 (1-2):134-155.
    A simple and complete proof of strong normalization for first- and second-order intuitionistic natural deduction including disjunction, first-order existence and permutative conversions is given. The paper follows the Tait–Girard approach via computability predicates and saturated sets. Strong normalization is first established for a set of conversions of a new kind, then deduced for the standard conversions. Difficulties arising for disjunction are resolved using a new logic where disjunction is restricted to atomic formulas.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  8
    Description of Thai as an Isolating Language.Makoto Minegishi - 2011 - Social Science Information 50 (1):62-80.
    The article illustrates morphosyntactic characteristics of Thai, an isolating language, in contrast to the modern European languages. Thai is characterized as a topic-prominent language, where the voluntary–spontaneous contrast rather than transitive–intransitive one plays significant roles in forming basic sentence constructions. By assuming non-hierarchical serial verb constructions as its basic sentence structures, the author claims that the modern hierarchical view of language structure is not appropriate for Thai. In Thai, verbs are serialized to denote not only successive actions or an action (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Zeami on Art: A Chapter for the History of Japanese Aesthetics.Makoto Ueda - 1961 - Journal of Aesthetics and Art Criticism 20 (1):73-79.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  66
    Bashō and the Poetics of "Haiku".Makoto Ueda - 1963 - Journal of Aesthetics and Art Criticism 21 (4):423-431.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  12
    Set-Theoretic Mereology.Joel David Hamkins & Makoto Kikuchi - 2016 - Logic and Logical Philosophy 25 (3):285-308.
    We consider a set-theoretic version of mereology based on the inclusion relation ⊆ and analyze how well it might serve as a foundation of mathematics. After establishing the non-definability of ∈ from ⊆, we identify the natural axioms for ⊆-based mereology, which constitute a finitely axiomatizable, complete, decidable theory. Ultimately, for these reasons, we conclude that this form of set-theoretic mereology cannot by itself serve as a foundation of mathematics. Meanwhile, augmented forms of set-theoretic mereology, such as that obtained by (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Corrigendum to “Strong Normalization Proof with CPS-Translation for Second Order Classical Natural Deduction”.Koji Nakazawa & Makoto Tatsuta - 2003 - Journal of Symbolic Logic 68 (4):1415-1416.
    This paper points out an error of Parigot's proof of strong normalization of second order classical natural deduction by the CPS-translation, discusses erasing-continuation of the CPS-translation, and corrects that proof by using the notion of augmentations.
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  59
    A Goal-Dependent Abstraction for Legal Reasoning by Analogy.Tokuyasu Kakuta, Makoto Haraguchi & Yoshiaki Okubo - 1997 - Artificial Intelligence and Law 5 (1-2):97-118.
    This paper presents a new algorithm to find an appropriate similarityunder which we apply legal rules analogically. Since there may exist a lotof similarities between the premises of rule and a case in inquiry, we haveto select an appropriate similarity that is relevant to both thelegal rule and a top goal of our legal reasoning. For this purpose, a newcriterion to distinguish the appropriate similarities from the others isproposed and tested. The criterion is based on Goal-DependentAbstraction (GDA) to select a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  41.  13
    Strong Normalization of Classical Natural Deduction with Disjunctions.Koji Nakazawa & Makoto Tatsuta - 2008 - Annals of Pure and Applied Logic 153 (1-3):21-37.
    This paper proves the strong normalization of classical natural deduction with disjunction and permutative conversions, by using CPS-translation and augmentations. Using them, this paper also proves the strong normalization of classical natural deduction with general elimination rules for implication and conjunction, and their permutative conversions. This paper also proves that natural deduction can be embedded into natural deduction with general elimination rules, strictly preserving proof normalization.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  4
    Makoto Itoh, La crise mondiale. Théorie et pratique. Études et Documentation Internationales, 1987.Christian Barrère - 1987 - Actuel Marx 2:95.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  17
    Classical Provability of Uniform Versions and Intuitionistic Provability.Makoto Fujiwara & Ulrich Kohlenbach - 2015 - Mathematical Logic Quarterly 61 (3):132-150.
  44.  11
    Interrelation Between Weak Fragments of Double Negation Shift and Related Principles.Makoto Fujiwara & Ulrich Kohlenbach - 2018 - Journal of Symbolic Logic 83 (3):991-1012.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  7
    Editors’ Introduction.Makoto Hayashi & Kazuo Yoshihara - 1988 - Japanese Journal of Religious Studies 15 (2-3):89-101.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Editors' Introduction: Onmyodo in Japanese History.Makoto Hayashi & Matthias Hayek - 2013 - Japanese Journal of Religious Studies 40 (1):1-18.
  47.  23
    The Adaptation of Max Weber’s Theories of Religion in Japan.Makoto Hayashi & Hiroshi Yamanaka - 1993 - Japanese Journal of Religious Studies 20 (2-3):207-228.
  48.  4
    The Dark Side of Visual Recording in the Suspect Interview: An Empirical and Experiential Study of the Unexpected Impact of Video Images.Makoto Ibusuki - 2019 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 32 (4):831-847.
    The video-recording of police interrogations of suspects has become widespread in criminal justice systems and is routinely regarded by legal professionals and lay people alike as a means of protecting the rights of suspects and reducing the likelihood of coerced or false confessions. This study, based on evidence from Japan and experiments conducted in Tokyo as well as cases and reinforced by studies from elsewhere, finds that the way visual images of suspects and their narratives are depicted on film can, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  6
    Architectural Room Planning Support System Using Methods of Generating Spatial Layout Plans and Evolutionary Multi-Objective Optimization.Makoto Inoue & Hideyuki Takagi - 2009 - Transactions of the Japanese Society for Artificial Intelligence 24:25-33.
  50.  9
    Hirano Tomoharu. Die kontradiklorische Logik. Tôkyô Buturigakkô-zassi, vol. 45 , pp. 261–264.Makoto Itô - 1938 - Journal of Symbolic Logic 3 (2):90-90.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 233