Workshop on Philosophy of Logic “Around Norm, Rule and Disagreement”
The 5th Annual French-Japanese workshop on Philosophy of Logic

次のようなワークショップを予定しています。参加自由、事前登録無しです。パリ第1大学哲学科及び同大学IHPST論理の哲学グループと共同企画し、毎年1月に開催しているワークショップシリーズの5回目に当たります。

The following Workshop is organized as the 5th one of the workshop series co-organized with the philosophy of logic group of University of Paris-1 (of Department of Philosophy and of IHPST).

日時・会場 / Date,Venue
日時 / Date
Jan. 11th. Fri., 2019, 10:00-17:00
場所 / Venue
6th Floor, G-Lab, East Building (Higashi-Kan), Mita Campus of Keio University
Number 3 of the Campus Map
プログラム / Program
  • 10:00 introductory remark
  • 10:10 Pierre Wagner (Department of Philosophy and IHPST, University of Paris-1)
    "How to disagree in logic and mathematics?"
  • 11:10 Presentations from the collaborative project members, on philosophy of mathematics and logic.
    1. Yuta Takahashi(Nagoya University)
    2. Ryota Akiyoshi(Waseda University)
  • 11:40-13:00 Lunch Break
  • 13:00-13:40 Florencia Di Rocco (Keio University and University of Paris-1)
    "Disagreement" and "language games"
  • 13:40-14:00 Discussion and Pause
  • 14:00-14:40 Yuichiro Hosokawa (Tokyo Metropolitan University)
    "Belief, Knowledge and Possibility - Through Analysis of Gettier Problem by Modal Logic for Multiple Regions"
  • 14:40-15:00 Discussion Pause
  • 15:00-15:40 Fleur Jongepier (Department of Ethics, Faculty of Philosophy, Theology and Religious Studies, Radboud University Nijmegen, the neitherlands)
    "Algorithmic authority versus First-person authority"
  • 15:40-16:00 Discussion and Pause
  • 16:00-16:40 Mitsuhiro Okada (Department of Philosophy, Keio University)
    Discussion on Norm. Rule and Disagreement,
    with a remark toward proof formation of algorithmic ethics
  • 16:40 Closing Remarks
  • 17:00 Closing
アブストラクト / Abstracts

Abstracts

  • Pierre Wagner (University of Paris-1)
  • “How to disagree in logic and mathematics?”

    Logic and mathematics are commonly thought as domains in which disagreement is hardly possible. Indeed, on the one hand, if logic provides the norms of thought, it seems that one has to follows the rules of logic if one is to think at all. And on the other hand, the existence of a proof seems to be a universal criterion for truth in mathematics. In this talk, it will be argued that disagreement is nonetheless possible, both in logic and in mathematics, but for different reasons. Examples of disagreement will be provided and discussed in both fields. It will also be shown how such analysis help us deepen our understanding of the very notion of disagreement.

  • Florencia Di Rocco, Keio University (and University of Paris-1)
  • "Disagreement" and "language games"Playing a language game" is often defined by Wittgenstein simply as "following a rule" : "disagreement" between speakers should consist of a misunderstanding of or a refusal to follow a rule. But whereas Wittgenstein often understands "disagreement" as the point at which two speakers stop playing a same language game, he nevertheless reckons that to disagree implies not only the existence of a highly codified protocol of interaction (arguments, proofs), but also that speakers share -at least, and more fundamentally- the grammar of the question discussed. Challenging thus an axiomatic approach and all throughout exemples from his Lectures on the Foundations of Mathematics (where such an approach could have been expected), we would try to inquiry if the raising of a problem, as well as its resolution -or dissolution- signs the abandon of a particular game or if it is, on the contrary, a necessary step in any language game "match".

    Kind regards

  • Yuichiro Hosokawa (Tokyo Metropolitan University)
  • “Belief, Knowledge and Possibility-Through Analysis of Gettier Problem by Modal Logic for Multiple Region”

    In this presentation we formalize the Gettier problem by an extended modal logic. As a result, we can give modal formalization to one of the post-Gettier proposals on definition of knowledge: o No Defeat Proposal (Lehrer and Paxson, 1969). On the result, we present a new interpretation on the Gettier’s scenario: Smith, the protagonist of the story, believes that he knows the proposition at issue. Then we suggest that ‘belief’ is not one of constituents that constitute definiens of ‘knowledge’. Rather, in at least certain cases like the Gettier ones, notion of ‘belief’ depends on that of ‘knowledge’. Accordingly, the role of material from which ‘knowledge’ is to be refined is undertaken not by ‘belief’, but by “might possibility”, or, “hypothetical possibility”, which is, in turn, generated by abduction.

  • Fleur Jongepier (Faculty of Philosophy, Theology and Religious Studies, Radboud University Nijmegen)
  • “Algorithmic authority versus First-person authority”

    We normally think individuals are authoritative when it comes to their own preferences, beliefs and values. In recent years, however, this principle of ‘first-person authority’ seems to have come under threat. Data-driven algorithms are increasingly relied on to make decisions about individuals in contexts ranging from various recommendation systems, employment, education to criminal justice. The assumption that justifies such deference to algorithms is that that the latter are equally or more authoritative about what drives individuals than these individuals themselves. But is this assumption true? In this paper, I address the question of what type of authority algorithms might have, and how it differs from the type of authority individuals have about themselves. I suggest that the main difference concerns the grounds of authority: predictions based on behaviour on the one hand, in the case of algorithms, versus agential commitments, which are often not based on evidence at all, on the other. I end by suggesting how this new conceptualization can help to detect and diagnose potential clashes between 'algorithmic authority' and first-person authority, and clarify what is at stake, normatively speaking. I end by suggesting that algorithmic authority can cause a conservative bias, as algorithmic predictions are based on individuals' earlier behaviour and scores. It therefore potentially jeopardises individuals’ spontaneity, which in itself is importantly connected to freedom.

  • Mitsuhiro Okada (Keio University)
  • “Discussion on Norm. Rule and Disagreement,
    with a remark toward proof formation of algorithmic ethics”

    We first discuss how the traditional “universal” logical grammars could be understood to emerge through a (strong sense of) agreement-disagreement distinctio, in the referentialist and other standpoints. We then review Husserl’s and Wittgenstein’s three-layered distinction on the nonsense-sense distinction to reconsider “disagreement-agreement” for situated (logical) grammars, and discuss how proof-formations/argumentation takes an important role for formation of (networking of) norms.

    We discuss shortly some examples of formation of some primitive concepts and norms in elementary arithmetic and elementary in algorithmic ethics.

主催及び問い合わせ先 / Workshop organizer, Sponsor
慶應義塾大学 論理と感性のグローバル研究センター
Global Research Center for Logic and sensitivity, Keio University
Email: logic@abelard.flet.keio.ac.jp