Results for 'Sakae Yaegasi'

139 found
Order:
  1.  22
    Tennenbaum's Theorem and Unary Functions.Sakae Yaegasi - 2008 - Notre Dame Journal of Formal Logic 49 (2):177-183.
    It is well known that in any nonstandard model of $\mathsf{PA}$ (Peano arithmetic) neither addition nor multiplication is recursive. In this paper we focus on the recursiveness of unary functions and find several pairs of unary functions which cannot be both recursive in the same nonstandard model of $\mathsf{PA}$ (e.g., $\{2x,2x+1\}$, $\{x^2,2x^2\}$, and $\{2^x,3^x\}$). Furthermore, we prove that for any computable injection $f(x)$, there is a nonstandard model of $\mathsf{PA}$ in which $f(x)$ is recursive.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  2. Kōsaka Masaaki chosaku shū.Masaaki Kōsaka - 1964
     
    Export citation  
     
    Bookmark  
  3.  17
    How to Think about Meaning.Paul Saka - 2007 - Dordrecht: Springer.
    According to truth-conditional semantics, to explain the meaning of a statement is to specify the conditions necessary and sufficient for its truth. This book develops a more radical mentalist semantics by shifting the object of semantic inquiry. Classical semantics analyzes an abstract sentence or utterance such as "Grass is green"; in attitudinal semantics the object of inquiry is a propositional attitude such as "Speaker so-and-so thinks grass is green".
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  4. Rarely pure and never simple: Tensions in the theory of truth.Paul Saka - 2010 - Topoi 29 (2):125-135.
    Section 1 discerns ambiguity in the word “truth”, observing that the term is used most naturally in reference to truth-bearers rather than truth-makers. Focusing on truths-as-truth-bearers, then, it would appear that alethic realism conflicts with metaphysical realism as naturalistically construed. Section 2 discerns ambiguity in the purporting of truth (as in assertion), conjecturing that all expressions, not just those found in traditionally recognized opaque contexts, can be read intensionally (as well, perhaps, as extensionally). For instance, we would not generally want (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Quotation.Paul Saka - 2013 - Philosophy Compass 8 (10):935-949.
    Understanding quotation is fundamental to understanding the nature of truth and meaning. Quotation, however, is a remarkably complicated phenomenon, and a vigorous literature on the topic has been growing at an increasing rate.§1 To give you a sense of this work, §1 enlarges upon the significance of studying quotation; §2 presents a rudimentary taxonomy of quotation; and §3 critically surveys theories of how quotation works.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  6. Quotation and the use-mention distinction.Paul Saka - 1998 - Mind 107 (425):113-135.
    Quote marks, I claim, serve to select from the multiple ostensions that are produced whenever any expression is uttered; they act to constrain pragmatic ambiguity or indeterminacy. My argument proceeds by showing that the proffered account fares better than its rivals-the Name, Description, Demonstrative, and Identity Theories. Along the way I shall need to explain and emphasize that quoting is not simply the same thing as mentioning. Quoting, but not mentioning, relies on the use of conventional devices.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   47 citations  
  7. Ought Does Not Imply Can.Paul Saka - 2000 - American Philosophical Quarterly 37 (2):93 - 105.
    Moral philosophers widely believe that it is a part of the MEANING of 'ought' statements that they imply 'can' statements. To this thesis I offer three challenges, and then I conclude on a broader methodological note. (1) Epistemological Modal Argument: for all we know, determinism is true; determinism contradicts “ought implies can”; therefore we don’t know that 'ought' implies 'can'. (2) Metaphysical Modal Argument: determinism is conceptually possible; determinism contradicts “ought implies can”; therefore “ought implies can” is not an analytic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  8.  13
    Mathematics and Set Theory:数学と集合論.Sakaé Fuchino - 2018 - Journal of the Japan Association for Philosophy of Science 46 (1):33-47.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  23
    Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum.Sakaé Fuchino, André Ottenbreit Maschio Rodrigues & Hiroshi Sakai - 2021 - Archive for Mathematical Logic 60 (3):495-523.
    Continuing, we study the Strong Downward Löwenheim–Skolem Theorems of the stationary logic and their variations. In Fuchino et al. it has been shown that the SDLS for the ordinary stationary logic with weak second-order parameters \. This SDLS is shown to be equivalent to an internal version of the Diagonal Reflection Principle down to an internally stationary set of size \. We also consider a version of the stationary logic and show that the SDLS for this logic in internal interpretation (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Aku no mondai: gendai o shisakusuru tame ni.Shirō Kōsaka (ed.) - 1990 - Kyōto-shi: Shōwadō.
    No categories
     
    Export citation  
     
    Bookmark  
  11. Kierukegōru kara Sarutoru e.Masaaki Kōsaka - 1949
     
    Export citation  
     
    Bookmark  
  12. Seiyō tetsugaku shi.Masaaki Kōsaka - 1971
     
    Export citation  
     
    Bookmark  
  13. Tetsugaku nyūmon.Masaaki Kōsaka - 1952
    No categories
     
    Export citation  
     
    Bookmark  
  14. Independent and autonomous peasantry beside the great Carolingian domain.Sakae Tange - 2012 - Revue Belge de Philologie Et D’Histoire 90 (2).
    No categories
     
    Export citation  
     
    Bookmark  
  15. Tōya risōgaku.Sakae Yamada - 1936
     
    Export citation  
     
    Bookmark  
  16. Spurning charity.Paul Saka - 2007 - Axiomathes 17 (2):197-208.
    The principle of charity (“Charity”), in one form or other, is held by many and for various reasons. After cataloging discernible kinds of Charity, I focus on the most familiar versions as found in Davidson, Dennett, Devitt, Lewis, Putnam, Quine, Stich, and others. To begin with, I argue that such versions of Charity are untenable because beliefs cannot be counted, and even if they could be counted there is reason to believe that true beliefs need not outnumber false beliefs. Next (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17.  16
    On< i> L_< sub>∞ κ-free Boolean algebras.Sakaé Fuchino, Sabine Koppelberg & Makoto Takahashi - 1992 - Annals of Pure and Applied Logic 55 (3):265-284.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  24
    On potential embedding and versions of Martin's axiom.Sakaé Fuchino - 1992 - Notre Dame Journal of Formal Logic 33 (4):481-492.
  19.  18
    Strong downward Löwenheim–Skolem theorems for stationary logics, I.Sakaé Fuchino, André Ottenbreit Maschio Rodrigues & Hiroshi Sakai - 2020 - Archive for Mathematical Logic 60 (1-2):17-47.
    This note concerns the model theoretic properties of logics extending the first-order logic with monadic second-order variables equipped with the stationarity quantifier. The eight variations of the strong downward Löwenheim–Skolem Theorem down to <ℵ2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$<\aleph _2$$\end{document} for this logic with the interpretation of second-order variables as countable subsets of the structures are classified into four principles. The strongest of these four is shown to be equivalent to the conjunction of CH and the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Some remarks on openly generated Boolean algebras.Sakaé Fuchino - 1994 - Journal of Symbolic Logic 59 (1):302-310.
    A Boolean algebra B is said to be openly generated if {A: A ≤rc B, |A| = ℵ0} includes a club subset of [ B]ℵ0 . We show: (V = L). For any cardinal κ there exists an L∞κ-free Boolean algebra which is not openly generated (Proposition 4.1). (MA+(σ-closed)). Every L∞ℵa -free Boolean algebra is openly generated (Theorem 4.2). The last assertion follows from a characterization of openly generated Boolean algebras under MA+(σ-closed) (Theorem 3.1). Using this characterization we also prove (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  45
    The Argument from Ignorance against Truth-Conditional Semantics.Paul Saka - 2007 - American Philosophical Quarterly 44 (2):157 - 169.
    According to orthodox semantics, to know the meaning of a sentence is to know its truth-conditions. Against this view I observe that we typically do not know the truth-conditions of the sentences we understand. We do not know the truth-conditions, for instance, of empty definite descriptions, non-declaratives, subjunctive conditionals, causal ascriptions, belief ascriptions, probability statements, figurative language, category mistakes, normative judgments, or vague statements. Appealing to tacit knowledge does not help, for the problem goes beyond our inability to articulate complete (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  53
    The Demonstrative and Identity Theories of Quotation.Paul Saka - 2006 - Journal of Philosophy 103 (9):452-471.
    The Demonstrative Theory holds that quoted matter is logically external to the quoting sentence, that quotation marks are (demonstratively) referential, and that quotation marks are grammatically required for autonomous mentioning. In contrast, the Identity Theory holds that quoted matter is integral to its quoting sentence, that quotation marks serve merely as disambiguating punctuation, and that mentionings need not be quotation-marked. I support the Identity Theory by pointing out fallacies in the arguments for demonstrative theories and by considering empty quotation, ordinary (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  23. Quotational Constructions.Paul Saka - 2003 - Belgian Journal of Linguistics 17:187-212.
     
    Export citation  
     
    Bookmark   11 citations  
  24.  28
    On the weak Freese-Nation property of complete Boolean algebras.Sakaé Fuchino, Stefan Geschke, Saharon Shelah & Lajos Soukup - 2001 - Annals of Pure and Applied Logic 110 (1-3):89-105.
    The following results are proved: In a model obtained by adding ℵ 2 Cohen reals , there is always a c.c.c. complete Boolean algebra without the weak Freese-Nation property. Modulo the consistency strength of a supercompact cardinal , the existence of a c.c.c. complete Boolean algebra without the weak Freese-Nation property is consistent with GCH. If a weak form of □ μ and cof =μ + hold for each μ >cf= ω , then the weak Freese-Nation property of 〈 P (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Quotational Constructions.Paul Saka - 2005 - In Philippe de Brabanter (ed.), Hybrid Quotations. John Benjamins.
    The utterance of any expression x ostends or makes manifest the customary referent of x, x itself, and related matter. If x appears in quotation marks then the presumed intention behind the utterance is to pick out something other than the customary referent (either instead of it or in addition to it). The consequences of these ideas, taken from my 1998 work, are here drawn out in application to a variety of quotations: metalinguistic citation, reported speech, scare-quoting, echo-quoting, loan words, (...)
     
    Export citation  
     
    Bookmark   9 citations  
  26. Tetsugaku no tankyū.Sakae Akaiwa & Sumio Takakuwa (eds.) - 1948
    No categories
     
    Export citation  
     
    Bookmark  
  27.  55
    Destructibility of stationary subsets of Pκλ.Sakaé Fuchino & Greg Piper - 2005 - Mathematical Logic Quarterly 51 (6):560-569.
    For a regular cardinal κ with κ<κ = κ and κ ≤ λ , we construct generically a subset S of {x ∈ Pκλ : x ∩ κ is a singular ordinal} such that S is stationary in a strong sense but the stationarity of S can be destroyed by a κ+-c. c. forcing ℙ* which does not add any new element of Pκλ . Actually ℙ* can be chosen so that ℙ* is κ-strategically closed. However we show that such (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  20
    Models of real-valued measurability.Sakae Fuchino, Noam Greenberg & Saharon Shelah - 2006 - Annals of Pure and Applied Logic 142 (1):380-397.
    Solovay’s random-real forcing [R.M. Solovay, Real-valued measurable cardinals, in: Axiomatic Set Theory , Amer. Math. Soc., Providence, R.I., 1971, pp. 397–428] is the standard way of producing real-valued measurable cardinals. Following questions of Fremlin, by giving a new construction, we show that there are combinatorial, measure-theoretic properties of Solovay’s model that do not follow from the existence of real-valued measurability.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Ningenzō no bunretsu to sono kaifuku.Masaaki Kōsaka - 1963
    No categories
     
    Export citation  
     
    Bookmark  
  30. Minshu shisō to Nihon minzoku no shōrai.Sakae Masuda - 1950
     
    Export citation  
     
    Bookmark  
  31. Nihon kokumin no sho.Sakae Masuda - 1938 - Tōkyō: Ōurisabakijo Uedaya.
     
    Export citation  
     
    Bookmark  
  32.  3
    al-Insān al-ākhar... falsafat al-ākhar: al-tashakkul al-siyāsī.Ṣāliḥ ibn Ibrāhīm Sakākir - 2018 - al-Riyāḍ: Dār Madārik lil-Nashr.
    إن هذا المبحث ما هو إلا دراسة لذلك الشيء الغامض الذي دائما ما يناقشنا ويجادلنا ويحاورنا بل أحيانا يخاصمنا, هذا الشعور المتولد في داخلنا هو ما نسميه الإنسان الآخر.. هل ذلك الشعور هو حقيقة ثابتة أم جزء من الخيال نصنعه في محيطنا الذاتي لنجد صيقا نثق به, فنحاوره ونجادله, أعني هل هذا المتكون داخلنا هو جزء من الذات أم جزء من الخيال الذي نخترعه لنجد الصديق الحقيقي الذي كثيرا ما نحتاجه, فلن يوجد أحد صادق كصدق ذلك الآخر المتولد والمتشكل داخلنا (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  20
    HVEMin-situobservation of anomalous slip in molybdenum.H. Saka, K. Noda, T. Imura, H. Matsui & H. Kimura - 1976 - Philosophical Magazine 34 (1):33-48.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  17
    In-situTEM observation of transformation of dislocations from shuffle to glide sets in Si under supersaturation of interstitials.H. Saka, K. Yamamoto, S. Arai & K. Kuroda - 2006 - Philosophical Magazine 86 (29-31):4841-4850.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Setting the first few syntactic parameters: A computational analysis.William G. Sakas & Janet Dean Fodor - 1998 - In Morton Ann Gernsbacher & Sharon J. Derry (eds.), Proceedings of the 20th Annual Conference of the Cognitive Science Society. Lawerence Erlbaum.
     
    Export citation  
     
    Bookmark  
  36.  24
    John Bishop: Believing by Faith: An Essay in the Epistemology and Ethics of Religious Belief: Oxford University Press, Oxford, 2007, xii + 250 pp, $65.00. [REVIEW]Paul Saka - 2007 - International Journal for Philosophy of Religion 64 (2):107-109.
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  37.  18
    The Semantics and Pragmatics of Quotation.Paul Saka & Michael Johnson (eds.) - 2017 - Cham: Springer.
    The chapters in this volume address a variety of issues surrounding quotation, such as whether it is a pragmatic or semantic phenomenon, what varieties of quotation exist, and what speech acts are involved in quoting. Quotation poses problems for many prevailing theories of language. One fundamental principle is that for a language to be learnable, speakers must be able to derive the truth-conditions of sentences from the meanings of their parts. Another popular view is that indexical expressions like "I" display (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. The Act of Quotation.Paul Saka - 2011 - In Elke Brendel, Jörg Meibauer & Markus Steinbach (eds.), Understanding Quotation. De Gruyter Mouton.
    I focus on one approach to understanding quotation, the identity theory; I delineate varieties thereof; and I cite some considerations for favoring a speech-act version. Along the way we shall see how the study of quotation can illuminate the general conflict between speech-act semantics and formal semantics, and we shall see fresh arguments for insisting that the mechanism of quotation is referentially indeterminate.
     
    Export citation  
     
    Bookmark   3 citations  
  39.  93
    Quotation: A reply to Cappelen and Lepore.P. Saka - 1999 - Mind 108 (432):751-754.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  40. Quotation and Conceptions of Language.Paul Saka - 2011 - Dialectica 65 (2):205-220.
    This paper discusses empty quotation (‘’ is an empty string) and lexical quotation (his praise was, quote, fulsome, unquote), it challenges the minimal theory of quotation (‘ “x” ’ quotes ‘x’) and it defends the identity theory of quotation. In the process it illuminates disciplinary differences between the science of language and the philosophy of language. First, most philosophers assume, without argument, that language includes writing, whereas linguists have reason to identify language with speech (plus sign language). Second, philosophers tend (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41.  35
    Sticks and clubs.Sakaé Fuchino, Saharon Shelah & Lajos Soukup - 1997 - Annals of Pure and Applied Logic 90 (1-3):57-77.
    We study combinatorial principles known as stick and club. Several variants of these principles and cardinal invariants connected to them are also considered. We introduce a new kind of side by-side product of partial orderings which we call pseudo-product. Using such products, we give several generic extensions where some of these principles hold together with ¬CH and Martin's axiom for countable p.o.-sets. An iterative version of the pseudo-product is used under an inaccessible cardinal to show the consistency of the club (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  42.  19
    The Set-theoretic Multiverse as a Mathematical Plenitudinous Platonism Viewpoint( Infinity in Philosophy and Mathematics).Sakaé Fuchino - 2012 - Annals of the Japan Association for Philosophy of Science 20:49-54.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  34
    On the simplicity of the automorphism group ofP(ω)/fin.Sakaé Fuchino - 1992 - Archive for Mathematical Logic 31 (5):319-330.
    We prove that the automorphism group ofP(ω)/fin remains simple if ℵ2 Cohen reals are added to a model of ZFC+CH.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. Gendai tetsugaku.Masaaki Kōsaka - 1950
     
    Export citation  
     
    Bookmark  
  45. Kinsei Nihon no ningen sonchō shisō.Masaaki Kōsaka (ed.) - 1968 - Fukumura.
     
    Export citation  
     
    Bookmark  
  46.  6
    Nishida Kitarō Sensei no tsuioku.Masaaki Kōsaka - 1948 - Kyōto-shi: Ittōen Tōeisha.
  47. Nishida Sensei no shōgai to shisō.Masaaki Kōsaka - 1947
     
    Export citation  
     
    Bookmark  
  48. Tomasu Akuinasu no shizenhō kenkyū: sono kōzō to Kenpō e no tenkai.Naoyuki Kōsaka - 1971 - Tōkyō: Nihon Sōbunsha.
     
    Export citation  
     
    Bookmark  
  49. A Reader's Greek-English Lexicon of the New Testament.Sakae Kubo - 1971
    No categories
     
    Export citation  
     
    Bookmark  
  50. Lexical Decomposition in Cognitive Semantics.Paul Saka - 1991 - Dissertation, The University of Arizona
    This dissertation formulates, defends, and exemplifies a semantic approach that I call Cognitive Decompositionism. Cognitive Decompositionism is one version of lexical decompositionism, which holds that the meaning of lexical items are decomposable into component parts. Decompositionism comes in different varieties that can be characterized in terms of four binary parameters. First, Natural Decompositionism contrasts with Artful Decompositionism. The former views components as word-like, the latter views components more abstractly. Second, Convenient Decompositionism claims that components are merely convenient fictions, while Real (...)
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 139