"Logical Inference and Proofs" FrancoJapanese Workshop
"論理推論と証明"学際ワークショップ
 2015年1月12日(月)13:00〜18:00 / 13日(火) 10:00〜16:00 (*開始時間変更の可能性あり．)
 January 12th (13:0018:00) / 13th (10:0017:00), 2015
 慶應義塾大学三田キャンパス 東館6階GSec Lab (最寄駅:JR 田町、地下鉄三田又は赤羽橋) (キャンパスマップ) なお月曜日は祝日のため東門は閉門しています．東館の入口扉は開錠しているはずですが，万が一閉まっている場合は，お手数ですが正門にお回りください．
 GSec Lab, 6th Floor of East Research Building, Mita campus of Keio University. (Campus Map) *Notice: The first day is the national holiday and the east gate should be closed for the day. So if the entrance of the first floor of East Building is closed, please come through the main gate of the campus to reach the East Building.
(* 開始時間変更の可能性あり．ゲスト講演者リストやプログラムは随時このページにアップデートいたします．)
論理推論および証明に関する哲学、情報科学、認知神経科学的学際研究の研究会です。
参加方法:
参加方法：参加費無料．会場準備のため氏名、所属を明記して「Logical Inference and Proofs 集会参加希望」と件名を記したメールを事務局 logic[AT]abelard.flet.keio.ac.jp 宛に 1/9 までにお送りください。(※12日セッション終了後のレセプションも参加自由です。)
主な講演者:
Speakers:
フランス側:
 Pierre Wagner (University of Paris I and Institute of History and Philosophy of Science) 論理哲学
 JeanBaptiste Joinet (University of Lyon III and Centre Cavaillès, ENSParis) 線形論理
 Gilles Dowek (INRIA) タイプ理論・定理自動証明
 Jérôme Prado (University of Lyon I  CNRS, LanguageBrainCognition Lab) 推論の認知神経科学
 Alberto Naibo (University of Paris I and Institute of History and Philosophy of Science) 証明と計算の論理
 Philippe Codognet (CNRSTokyo Joint Lab Director, University of Paris VI)
日本側:
 Shigeru Watanabe (Keio University)
 Kazushige Terui (Mathematical Science Institute, Kyoto University) 情報論理
 Koji Mineshima (Center for Simulation Science, Ochanomizu University) 自然言語意味論
その他ゲスト講演者はこちらにアップデートされます
Program (tentative):
Jan.12  
13:00 Opening Remark  
13:0018:00 

 

18:30 Reception  
Jan.13  
10:00  
10:00 

 

12:3014:00 Lunch Break  
14:00 

Concluding Discussion  
17:30 Closing  
Abstracts:
 Speaker:
 JeanBaptiste Joinet
 Title:
 The computational basis of semantics
 Abstract:
In this talk, I will focus on the abstract minimal conditions under which computational processes are in order to generate meaning: I will then stress in which way such an approach of the semantical question, combined with the FormulasasTypes approach (ProofsasPrograms paradigm), permits to overcome the two major obstacles that the standard prooftheoretical approach of meaning theory encounters.
 Speaker:
 Kazushige Terui
 Title:
 Algebraic aspects of proof theory in nonclassical logics
 Abstract:
Hypersequent calculus, introduced by Arnon Avron, is an extension of the ordinary sequent calculus that deals with disjunctions of sequents. Historically it has been a tool for studying intermediate logics and manyvalued logics (socalled fuzzy logics), but it is interesting in its own right as proof system with a wellbehaved cutelimination procedure. In this talk, I will discuss some aspects of hypersequents in the context of substructural logics (axiomatic extensions of full Lambek calculus), that could be meaningful to those who are not interested in fuzziness at all. The topics include: * Brouwer's fixed point theorem and cutelimination: a potential link. * Algebraic cutelimination a la Maehara and Okada: success and limitation. * Cutelimination and Herbrand's theorem: an algebraic perspective.
 Speaker:
 Gilles Dowek
 Title:
 Creation and automation in proofs
 Abstract:
In many intellectual activities, we can distinguish a creative part and an less creative one, where a known method is automatically applied. We shall discuss how this distinction can be reflected in proofs and how this simplifies proofsearch algorithms.
 Speaker:
 Pierre Wagner
 Title:
 Logic and normativity
 Abstract:
Logic is often regarded as a normative science, as opposed to a descriptive science, and the philosophical discussions about the normativity of logic have often focused on the traditional idea of logic as providing the laws of thought. However, logic is now regarded as concerned in an essential way with proofs and computations. The question may then be raised of the normative content of logic in this new context. In this talk, I shall examine the sense in which logic may be said to be normative and raise the issue of the relevance of contemporary philosophical discussions about the normativity of logic from this viewpoint.
 Speaker:
 Alberto Naibo
 Title:
 Typed vs. untyped proof theory
 Abstract:
Two different ways of understanding the notion of proof are investigated. The first considers proofs as linguistic typed entities and tries to build an inferential theory of meaning on them. The second studies proofs with respect to their computational features and aims at the development of a theory of ``pure'', or untyped, constructions. It is argued that some very recent developments in proof theory, as J.Y. Girard's geometry of interaction, can be seen as part of the latter conception, generalizing a programme initiated by G. Kreisel and N.D. Goodman in the seventies.
 Speaker:
 Koji Mineshima
 Title:
 Types in natural language semantics
 Abstract:
Type theories have provided powerful tools and concepts for the study of natural language semantics. The recent advances show that the notion of types not only provides general principles underlying the compositional derivation of sentence meanings, but can also play a role in the analysis of natural language inferences under the paradigm of propositionsastypes. In particular, dependent types provide rich type structures that can be applied to a variety of dynamic phenomena in natural language. In this talk, I will present some recent developments, focusing on topics such as anaphora and presupposition, and discuss prospects for applying these results to the study of textual inferences in the context of computational linguistics.
 Speaker:
 Shigeru Watanabe
 Title:
 Divergence of logics in animal
 Abstract:
Logic is formalization of human way of thinking in its origin. Humans and nonhuman animals display rational behavior but they sometime show irrational behavior also. These rational/irrational behaviors are products of phylogenetic contingency (evolution) and recent development in comparative cognition study provides evidences suggesting divergence of logics in animal kingdom. I will present similarity and dissimilarity of human logic and animal logic and criticize an idea that “logic” is human unique ability.
 Speaker:
 Jérôme Prado
 Title:
 The brain network for deductive reasoning
 Abstract:
Deductive reasoning is the process of drawing conclusions that are guaranteed to follow from given premises. Perhaps because deductions are an essential element of human thinking, the study of deductive reasoning has been central to the cognitive literature for over 50 years. The emergence of neuroimaging techniques two decades ago held the promise of using information about the neural basis of deductive reasoning to inform cognitive theories of deductive reasoning. In this talk, I will review findings from neuroimaging studies in healthy adults and discuss how they relate to theories of deductive reasoning. I will also present a recent study examining the neural development of deductive reasoning in schoolage children. Finally, I will discuss the implications of this research for improving our understanding of learning disabilities in children.
 Speaker:
 Kiyomi Yatabe
 Title:
 Maturational cerebral hemodynamic changes in the prefrontoparietal regions used in relational reasoning among participants from late childhood to young adulthood
 Abstract:
Relational reasoning, i.e. categorization of newly experienced objects according to past experience and recognition of the relations between them, is fundamental to human cognition and intelligence, and requires keeping objects in memory and finding higher order relations between them. In this talk, we will report on experiments concerning maturational changes in relational reasoning among young participants aged 8 to 21 years old, which used behavioral and brainfunction measurements involving nearinfrared spectroscopy (NIRS).
 Speaker:
 Yuri Sato
 Title:
 Counterexample construction in human diagrammatic reasoning
 Abstract:
In this talk, I will explore the question whether people really reason by counterexample construction. To clarify the cognitive potentials of logical inference, my approach focuses on "diagrammatic reasoning". I introduce a method of asking reasoners to directly manipulate diagrammatic objects as a component of inferential processes, and observe how reasoners move diagrams to check the (in)validity of inference.
後援：慶應義塾大学「論理と感性」のグローバルリサーチセンター
後援：慶應義塾大学次世代研究プロジェクト 論理思考の次世代型研究と論理的思考力発達支援への応用研究
後援：新学術領域「予測・判断・意思決定の論理と計算」
公開日時: December 25, 2014 12:38