Results for 'Kazuo Tanaka'

480 found
Order:
  1. An Introduction to Fuzzy Logic for Practical Applications.Kazuo Tanaka - 1996 - Springer.
    Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using fuzzy if-then rules which make use of human knowledge (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  1
    In-Situcharacterization of Iron Silicide Islands on Si.Miyoko Tanaka, Ming Han, Masaki Takeguchi & Kazuo Furuya - 2004 - Philosophical Magazine 84 (25-26):2699-2709.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  88
    Songs to Syntax: The Linguistics of Birdsong.Robert C. Berwick, Kazuo Okanoya, Gabriel J. L. Beckers & Johan J. Bolhuis - 2011 - Trends in Cognitive Sciences 15 (3):113-121.
  4. Culturing Community Development, Neighborhood Open Space, and Civic Agriculture: The Case of Latino Community Gardens in New York City. [REVIEW]Laura Saldivar-Tanaka & Marianne E. Krasny - 2004 - Agriculture and Human Values 21 (4):399-412.
    To determine the role Latino community gardens play in community development, open space, and civic agriculture, we conducted interviews with 32 community gardeners from 20 gardens, and with staff from 11 community gardening support non-profit organizations and government agencies. We also conducted observations in the gardens, and reviewed documents written by the gardeners and staff from 13 support organizations and agencies. In addition to being sites for production of conventional and ethnic vegetables and herbs, the gardens host numerous social, educational, (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  5. Two Kinds of Logical Impossibility.Alexander Sandgren & Koji Tanaka - 2020 - Noûs 54 (4):795-806.
    In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6. Simpson, SG, Tanaka, K. And Yamazaki, T., Some Conserva.K. Tanaka - 2002 - Annals of Pure and Applied Logic 118:249.
  7. Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  8. Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2013 - Dordrecht, Netherland: Springer.
    A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  9.  36
    Some Conservation Results on Weak König's Lemma.Stephen G. Simpson, Kazuyuki Tanaka & Takeshi Yamazaki - 2002 - Annals of Pure and Applied Logic 118 (1-2):87-114.
    By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  10.  10
    An Alignment-Based Method for Learning Coordinate Phrases in Biomedical Abstracts.Kazuo Hara, Masashi Shimbo & Yuji Matsumoto - 2007 - Transactions of the Japanese Society for Artificial Intelligence 22 (3):248-255.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  20
    Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
    Kripke completeness of some infinitary predicate modal logics is presented. More precisely, we prove that if a normal modal logic above is -persistent and universal, the infinitary and predicate extension of with BF and BF is Kripke complete, where BF and BF denote the formulas pi pi and x x, respectively. The results include the completeness of extensions of standard modal logics such as , and its extensions by the schemata T, B, 4, 5, D, and their combinations. The proof (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  12.  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 (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  13.  15
    Baby Arithmetic: One Object Plus One Tone.Tessei Kobayashi, Kazuo Hiraki, Ryoko Mugitani & Toshikazu Hasegawa - 2004 - Cognition 91 (2):B23-B34.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  14.  9
    Kripke Completeness of Strictly Positive Modal Logics Over Meet-Semilattices with Operators.Stanislav Kikot, Agi Kurucz, Yoshihito Tanaka, Frank Wolter & Michael Zakharyaschev - 2019 - Journal of Symbolic Logic 84 (2):533-588.
    Our concern is the completeness problem for spi-logics, that is, sets of implications between strictly positive formulas built from propositional variables, conjunction and modal diamond operators. Originated in logic, algebra and computer science, spi-logics have two natural semantics: meet-semilattices with monotone operators providing Birkhoff-style calculi and first-order relational structures (aka Kripke frames) often used as the intended structures in applications. Here we lay foundations for a completeness theory that aims to answer the question whether the two semantics define the same (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  8
    Review: Kazuo Matsumoto, Decision Procedure for Modal Sentential Calculus S3. [REVIEW]Richard Routley - 1975 - Journal of Symbolic Logic 40 (3):468-468.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  6
    Stable Remanence and Memory of Multi-Domain Materials with Special Reference to Magnetite.Kazuo Kobayashi & M. Fuller - 1968 - Philosophical Magazine 18 (153):601-624.
  17.  27
    Cross Cultural Differences in Unconscious Knowledge.Sachiko Kiyokawa, Zoltán Dienes, Daisuke Tanaka, Ayumi Yamada & Louise Crowe - 2012 - Cognition 124 (1):16-24.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  22
    [Image] -Determinacy, Comprehension and Induction.Medyahya Ould Medsalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452 - 462.
    We show that each of $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{3}^{1}-{\rm TI}$ proves $\Delta _{3}^{0}-{\rm Det}$ and that neither $\Sigma _{3}^{1}-{\rm IND}$ nor $\Pi _{3}^{1}-{\rm TI}$ can be dropped. We also show that neither $\Delta _{3}^{1}-{\rm CA}_{0}+\Sigma _{\infty}^{1}-{\rm IND}$ nor $\Pi _{2}^{1}-{\rm CA}_{0}+\Pi _{\infty}^{1}-{\rm TI}$ proves $\Sigma _{3}^{0}-{\rm Det}$. Moreover, we prove that none of $\Delta _{2}^{1}-{\rm CA}_{0}$, $\Sigma _{3}^{1}-{\rm IND}$ and $\Pi _{2}^{1}-{\rm TI}$ is provable in $\Delta _{1}^{1}-{\rm Det}_{0}={\rm ACA}_{0}+\Delta _{1}^{1}-{\rm Det}$.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  19.  17
    Δ 0 3 -Determinacy, Comprehension and Induction.MedYahya Ould MedSalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452-462.
    We show that each of Δ13-CA0 + Σ13-IND and Π12-CA0 + Π13-TI proves Δ03-Det and that neither Σ31-IND nor Π13-TI can be dropped. We also show that neither Δ13-CA0 + Σ1∞-IND nor Π12-CA0 + Π1∞-TI proves Σ03-Det. Moreover, we prove that none of Δ21-CA0, Σ31-IND and Π21-TI is provable in Δ11-Det0 = ACA0 + Δ11-Det.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  20.  68
    A Holistic Account of the Own-Race Effect in Face Recognition: Evidence From a Cross-Cultural Study.James W. Tanaka, Markus Kiefer & Cindy M. Bukach - 2004 - Cognition 93 (1):B1-B9.
  21.  86
    Notes on Reading Kazuo Ishiguro's "Never Let Me Go".Marvin Mirsky - 2006 - Perspectives in Biology and Medicine 49 (4):628-630.
  22.  13
    Fixed Point Theory in Weak Second-Order Arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  23.  35
    Can We Talk to Robots? Ten-Month-Old Infants Expected Interactive Humanoid Robots to Be Talked to by Persons.Akiko Arita, Kazuo Hiraki, Takayuki Kanda & Hiroshi Ishiguro - 2005 - Cognition 95 (3):B49-B57.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  7
    The Relative Importance of Spatial Versus Temporal Structure in the Perception of Biological Motion: An Event-Related Potential Study.Masahiro Hirai & Kazuo Hiraki - 2006 - Cognition 99 (1):B15-B29.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Buddhist Philosophy of Logic.Koji Tanaka - 2013 - In Steven Michael Emmanuel (ed.), Blackwell Companion to Buddhist Philosophy. Chichester: Wiley-Blackwell. pp. 320-330.
    Logic in Buddhist Philosophy concerns the systematic study of anumāna (often translated as inference) as developed by Dignāga (480-540 c.e.) and Dharmakīti (600-660 c.e.). Buddhist logicians think of inference as an instrument of knowledge (pramāṇa) and, thus, logic is considered to constitute part of epistemology in the Buddhist tradition. According to the prevalent 20th and early 21st century ‘Western’ conception of logic, however, logical study is the formal study of arguments. If we understand the nature of logic to be formal, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  26. Ethics for Mādhyamikas.Bronwyn Finnigan & Koji Tanaka - 2011 - In Georges Dreyfus, Bronwyn Finnigan, Jay Garfield, Guy Newland, Graham Priest, Mark Siderits, Koji Tanaka, Sonam Thakchoe, Tom Tillemans & Jan Westerhoff (eds.), Moonshadows. Conventional Truth in Buddhist Philosophy. Oxford University Press. pp. 221--31.
     
    Export citation  
     
    Bookmark   6 citations  
  27.  12
    Multi-Dimensional Dynamics of Human Electromagnetic Brain Activity.Tetsuo Kida, Emi Tanaka & Ryusuke Kakigi - 2015 - Frontiers in Human Neuroscience 9.
  28. Logically Impossible Worlds.Koji Tanaka - 2018 - Australasian Journal of Logic 15 (2):489.
    What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. At a logically impossible world, the laws (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  19
    What is "Special" About Face Perception?Martha J. Farah, Kevin D. Wilson, Maxwell Drain & James N. Tanaka - 1998 - Psychological Review 105 (3):482-498.
  30.  15
    Filial Piety, Modernization, and the Challenges of Raising Children for Chinese Immigrants: Quantitative and Qualitative Evidence.Eli Lieber, Kazuo Nihira & Iris Tan Mink - 2004 - Ethos: Journal of the Society for Psychological Anthropology 32 (3):324-347.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  31.  21
    Mixed Emotions: Holistic and Analytic Perception of Facial Expressions.James W. Tanaka, Martha D. Kaiser, Sean Butler & Richard Le Grand - 2012 - Cognition and Emotion 26 (6):961-977.
  32.  24
    Neural Entrainment to Auditory Imagery of Rhythms.Haruki Okawa, Kaori Suefusa & Toshihisa Tanaka - 2017 - Frontiers in Human Neuroscience 11.
  33. Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 15--25.
    Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  34.  41
    Functional Connectivity of the Precuneus in Female University Students with Long-Term Musical Training.Shoji Tanaka & Eiji Kirino - 2016 - Frontiers in Human Neuroscience 10.
  35. Abstraction of Sensory-Motor Features.Kazuo Hiraki - 1994 - In Ashwin Ram & Kurt Eiselt (eds.), Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society. Erlbaum.
     
    Export citation  
     
    Bookmark  
  36. Hō No Kaishaku to Tekiyō.Kazuo Ichien - 1958
     
    Export citation  
     
    Bookmark  
  37.  18
    Increased Functional Connectivity of the Angular Gyrus During Imagined Music Performance.Shoji Tanaka & Eiji Kirino - 2019 - Frontiers in Human Neuroscience 13.
  38. Priest’s Anti-Exceptionalism, Candrakīrti and Paraconsistency.Koji Tanaka - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Dordrecht: Springer Verlag. pp. 127-138.
    Priest holds anti-exceptionalism about logic. That is, he holds that logic, as a theory, does not have any exceptional status in relation to the theories of empirical sciences. Crucial to Priest’s anti-exceptionalism is the existence of ‘data’ that can force the revision of logical theory. He claims that classical logic is inadequate to the available data and, thus, needs to be revised. But what kind of data can overturn classical logic? Priest claims that the data is our intuitions about the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  33
    The Entry Point of Face Recognition: Evidence for Face Expertise.James W. Tanaka - 2001 - Journal of Experimental Psychology: General 130 (3):534.
  40.  43
    Eugenic World Building and Disability: The Strange World of Kazuo Ishiguro's Never Let Me Go.Rosemarie Garland-Thomson - 2017 - Journal of Medical Humanities 38 (2):133-145.
    A crucial challenge for critical disability studies is developing an argument for why disabled people should inhabit our democratic, shared public sphere. The ideological and material separation of citizens into worthy and unworthy based on physiological variations imagined as immutable differences is what I call eugenic world building. It is justified by the idea that social improvement and freedom of choice require eliminating devalued human traits in the interest of reducing human suffering, increasing life quality, and building a more desirable (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. The Role of Color in High-Level Vision.James Tanaka, Daniel Weiskopf & Pepper Williams - 2001 - Trends in Cognitive Sciences 5 (5):211-215.
  42.  73
    Features, Configuration and Holistic Face Processing.James W. Tanaka & Iris Gordon - 2011 - In Andy Calder, Gillian Rhodes, Mark Johnson & Jim Haxby (eds.), Oxford Handbook of Face Perception. Oxford University Press. pp. 177--194.
    This article explores the concept of recognizing a face holistically and examines the experimental paradigms that serve as the “gold standards” for holistic perception. It discusses the contribution of featural and configural information to the holistic process and the controversy surrounding these often misunderstood concepts. It claims that the recruitment of holistic processes is what distinguishes faces from most types of object recognition. The discussion focuses on the kind of featural and configural information that is impaired in an inverted face (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  43.  95
    The AGM Theory and Inconsistent Belief Change.Koji Tanaka - 2005 - Logique Et Analyse 48 (189-192):113-150.
    The problem of how to accommodate inconsistencies has attracted quite a number of researchers, in particular, in the area of database theory. The problem is also of concern in the study of belief change. For inconsistent beliefs are ubiquitous. However, comparatively little work has been devoted to discussing the problem in the literature of belief change. In this paper, I examine how adequate the AGM theory is as a logical framework for belief change involving inconsistencies. The technique is to apply (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  44. F24. Current Status and Ethical Concerns of Assisted Reproductive Technology in Japan.Kazuo Sato - forthcoming - Bioethics in Asia: The Proceedings of the Unesco Asian Bioethics Conference (Abc'97) and the Who-Assisted Satellite Symposium on Medical Genetics Services, 3-8 Nov, 1997 in Kobe/Fukui, Japan, 3rd Murs Japan International Symposium, 2nd Congress of the Asi.
     
    Export citation  
     
    Bookmark  
  45.  15
    A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.
  46. In Search of the Semantics of Emptiness.Koji Tanaka - 2014 - In JeeLoo Liu & Douglas Berger (eds.), Nothingness in Asian Philosophy. London: Routledge. pp. 55-63.
  47.  71
    How Did Altruism and Reciprocity Evolve in Humans? Perspectives From Experiments on Chimpanzees (Pan Troglodytes).Shinya Yamamoto & Masayuki Tanaka - 2009 - Interaction Studies 10 (2):150-182.
  48.  18
    A Critical Discussion of Arguments Against the Introduction of a Two-Tier Healthcare System in Japan.Atsushi Asai, Taketoshi Okita, Masashi Tanaka & Yasuhiro Kadooka - 2017 - Asian Bioethics Review 9 (3):171-181.
    In medical ethics, an appropriate national healthcare system that meets the requirements of justice in healthcare resource allocation is a major concern. Japan is no exception to this trend, and the pros and cons of introducing a two-tier healthcare system, which permits insured medical care services to be provided along with services not covered by social health insurance, have been the subject of debate for many years. The Supreme Court ruled in 2011 that it was valid for the government to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  7
    The Dual Landscape Model of Adaptation and Niche Construction.Mark M. Tanaka, Peter Godfrey-Smith & Benjamin Kerr - 2020 - Philosophy of Science 87 (3):478-498.
    Wright’s “adaptive landscape” has been influential in evolutionary thinking but controversial, especially because the landscape that organisms encounter is altered by the evolutionary process itsel...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  46
    Race-Specific Perceptual Discrimination Improvement Following Short Individuation Training With Faces.Rankin W. McGugin, James W. Tanaka, Sophie Lebrecht, Michael J. Tarr & Isabel Gauthier - 2011 - Cognitive Science 35 (2):330-347.
    This study explores the effect of individuation training on the acquisition of race-specific expertise. First, we investigated whether practice individuating other-race faces yields improvement in perceptual discrimination for novel faces of that race. Second, we asked whether there was similar improvement for novel faces of a different race for which participants received equal practice, but in an orthogonal task that did not require individuation. Caucasian participants were trained to individuate faces of one race (African American or Hispanic) and to make (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 480