Institut Jean Nicod

Accueil du site > Séminaires & Colloques > Colloques > Paris-Bochum-Moscow Workshop in Mathematical Philosophy > Informations



New Ideas In Mathematical Philosophy


Paris-Bochum-Moscow Workshop in Mathematical Philosophy


Informations pratiques

December 13-14, 2019, ENS, Salle des Actes, 45 rue d’Ulm, 75005 Paris


Sara Ayhan
 (Ruhr-Universität Bochum)
Vitaliy Dolgorukov (HSE, Moscow)
Elena Dragalina-Chernaya (HSE, Moscow)
Brice Halimi (University of Paris)
Jeremiah Joven B. Joaquin (De La Salle University, Manila)
Anastasia Kopylova (HSE, Moscow)
Ekaterina Kubyshkina (University of Campinas, Brazil)
Grigory Olkhovikov (Ruhr-Universität Bochum)
Hitoshi Omori (Ruhr-Universität Bochum)
Heinrich Wansing (Ruhr-Universität Bochum)
Dmitry Zaitsev (Lomonosov Moscow State University)

The workshop is organized by Denis Bonnay (IRePh / Paris Nanterre) and Paul Égré (IJN / ENS). It is financed by the program New Ideas in Mathematical Philosophy (EUR PSL Frontiers in Cognition) and the Institut de Recherches Philosophiques.


December 13


9:20-9:30 - Welcome

9:30-10:30 - Hitoshi Omori (Ruhr-Universität Bochum) : "From Jaskowski to Cobreros-Egre-Ripley-van Rooij"

Coffee break

10:45-11:45 - Sara Ayhan (Ruhr-Universität Bochum) : "Uniqueness of logical connectives in a bilateralist setting"

11:45 : 12:45 - Dmitry Zaitsev (Lomonosov Moscow State University) : "Unfinished Business : Exactly True Logic is still under Attack"

14:30-15:30 - Elena Dragalina-Chernaya (HSE, Moscow) : "Material Consequences vs. Formal Grounding"

15:30-16:30 - Brice Halimi (University of Paris) : "Localizing logical consequence"

Tea break

16:45-17:45 - Anastasia Kopylova (HSE, Moscow) : "W. Burley and W. Ockham on the notion of consequentia" 


December 14


9:30-10:30 - Vitaliy Dolgorukov (HSE, Moscow) : "Entailment, Conversational Implicatures and Abductive Reasoning"

Coffee break

10:45-11:45 - Jeremiah Joven B. Joaquin (De La Salle University, Manila) : "Applications of a Weak Kleene Semantics for Embedded Ought Sentences"

11:45-12:45 - Ekaterina Kubyshkina (University of Campinas, Brazil) : "Ignorance in terms of knowledge : a critical perspective"

14:30-15:30 - Grigory Olkhovikov (Ruhr-Universität Bochum) : "On generalizations of the Modal Characterization Theorem" 

15:30-16:30 - Heinrich Wansing (Ruhr-Universität Bochum) : "Substructural negations re-displayed"

End of workshop : 16:40



Sara Ayhan (Ruhr-Universität Bochum) : "Uniqueness of logical connectives in a bilateralist setting"

In this talk I want to show why the notion of uniqueness in the larger framework of proof-theoretic semantics leads to problems in a bilateralist setting. Uniqueness as a requirement for a connective means that characterizing the inference rules of a connective amounts to exactly specifying its role in inference. However, whether duplicated connectives are uniquely characterized by their set of rules (i.e. whether they are synonymous), is related to the logic, and in particular, to the specific consequence relation. If so, assuming on a bilateralist view that one consequence relation is not enough but that we need one for provability and one dual provability, this raises the question whether in a bilateralist proof-theoretic semantics framework we are able to uniquely characterize the connectives or whether this leads to different meanings depending on whether we prove or refute. I will propose a modification of our characterization of uniqueness with respect to a dual consequence relation with which we can maintain uniqueness in a bilateralist setting.

Vitaliy Dolgorukov (HSE, Moscow) : "Entailment, Conversational Implicatures and Abductive Reasoning"

It is widely accepted in pragmatics that conversational implicatures differ from logical consequences of propositional content in many aspects. 

I would like to show that despite the fact that conversational implicatures should be separated from logical consequences of a statement, the computational mechanism which generates conversational implicatures involves entailment at another level of reasoning. 

I will present an epistemic model for Q-, R- and M-implicatures, which describes different abductive mechanisms for these types of conversational implicatures. Also, I will demonstrate that it is possible to make a distinction between two kinds types of R-implicatures which differ in the logical form of abductive reasoning. 

Elena Dragalina-Chernaya (HSE, Moscow) : "Material Consequences vs. Formal Grounding"

Alfred Tarski has famously distinguished between formal and material consequences. According to his adequacy condition, logical consequence is necessary and formal. 
This paper focuses on two questions : (1) In what sense (if any) is material consequence a consequence relation ? (2) In what sense (if any) is material consequence a necessary relation ? 
For Tarski, material consequence has no modal force : the sentence X follows materially from the sentences of the class K if and only if either the sentence X is true or at least one sentence of the class K is false. Treating all terms (of a language with a fixed domain) as logical, he reduces logical consequence to material consequence. Thus, Tarskian material consequence seems to be a logical oxymoron designed to emphasize the importance of the distinction between logical and extra-logical terms for the definition of logical consequence. 
Historically, however, there have been different approaches to material consequences. This paper endeavors to reveal several paths of mediation between scholastic dichotomyof consequentia formalisand consequentia materialis, on the one hand, and model-theoretical and proof-theoretical approaches to logical consequence in modern logic, on the other hand. I’ll focus on this dichotomy in Parisian and English logic of the fourteenth century, and from there I’ll move forwards to its modern counterparts. The first tradition (e.g., John Buridan, Albert of Saxony, Marsilius of Inghen) holds that a consequence is formal if it is invariant under all substitutions for its categorematic terms. According to the second tradition (e.g., Richard Billingham, Robert Fland, Ralph Strode, Richard Lavenham), the understanding of the antecedent of a formal consequence should contain the understanding of the consequent. I am going to suggest that the containment criterion does not psychologize the formal consequence since it grounds formality on internal (formal) relations rooted in potential being. Moreover, not only formal consequences, but also materialconsequences have an inherent modal import, e.g., the consequence is valid ut nuncif the antecedent cannotbe true without the consequent (under the present conditions). 
According to an enduring interpretation, Bernard Bolzano inherits the substitutional concept of logical consequence while his use of various types of consequence anticipates Tarski’s model-theoreticaldefinition of formal consequence. For Bolzano, however, all types of consequence are formal in a broad sense, therefore his approach does not concern the dichotomy between formal and material consequences. In contrast, his dichotomy between formal and materialgroundingmay contribute to non-psychological, i.e. proof-theoreticalperspective on formal understanding in consequences. It seems instructive to compare Bolzano’s dichotomy between formal and materialgroundingwith Charles S. Peirce’s distinction between formal and material leading principles of reasoning.

Brice Halimi (University of Paris) : "Localizing logical consequence"

Logical consequence, as defined in the Tarskian tradition, refers to a universe of structures provided by set theory as the background theory : a logical consequence is but a consequence which turns out to be invariant throughout all the relevant structures of the universe. The universe ranged by the variation of those structures constitutes a global datum, and the variation itself is devoid of any real local structure. My talk will briefly explain why the variation underlying the Tarskian definition of logical consequence should be reconsidered in a more local way, in keeping with the standard semantics for modal notions, and explore ways in which it could be.

Jeremiah Joven B. Joaquin (De La Salle University, Manila) : "Applications of a Weak Kleene Semantics for Embedded Ought Sentences"

This paper develops a Weak Kleene system, W K3 + O. W K3 + O is a sub-classical semantic framework where the ought-operator, O functions in a very funny and infectious way. I apply this seman- tics to well-known cases in meta-ethics – cases in which embedded O-sentences are present – viz., the Special Hume no-ought-from-is thesis, Prior’s dilemma, and the Frege-Geach problem. I prove three results : (i) the Special Hume’s thesis is W K3+O-valid, (ii) one of the horns of Prior’s dilemma is W K3 + O-invalid, and (iii) the argument leadingtotheFrege-GeachproblemisalsoWK3+O-invalid. Finally, I sketch a non-cognitivist meta-ethics from these results.

Keywords:Frege-Geach Problem ; Hume’s thesis ; Prior’s dilemma ; sub- classical logic ; Weak Kleene

Anastasia Kopylova (HSE, Moscow) : "W. Burley and W. Ockham on the notion of consequentia"

In this talk I want to show the features of the debate on the nature of ‘consequentia’ between two scholastic authors – W. Ockham and W. Burley. First. I would draw a distinction between two divisions of ‘consequentia’ - ‘natural/accidental’ consequences and ‘material/formal’ consequences. In this framework I will focus on the W. Ockham’s view on the ’Ex impossibili’ consequence. I will try to show that Ockham’s view is depend on his discussion with W. Burley and, thus, it is fruitful to consider the ’Ex impossibili’ in the context not just of ‘material/formal’ distinction, but also in the context of the ‘natural/accidental distinction.

Ekaterina Kubyshkina (University of Campinas, Brazil) : "Ignorance in terms of knowledge : a critical perspective"

I address the problem of the interdefinability of various modal operators used to represent the notion of ignorance. In the literature on epistemic logic and knowledge representation, there exist at least three approaches to deal with the notion of ignorance : the Standard View, the New View and the Logical View. From a formal perspective, the Standard View suggests that ignorance of a proposition is reducible to the negation of knowing this proposition. Ignorance in this case is fully definable by the standard K operator, used to represent knowledge. The New View and the Logical View represent ignorance via primitive modalities : the non-consistency operator and the contingency operator, respectively. These two operators are not interdefinable with the standard K operator in all frames, because they distinguish less frames, than K. However, the interdefinability result can be obtained, once the consequence relation is modified. I argue that such an interdefinability is not necessary. To show this, I provide a sound and complete logic for ignorance, where ignorance is represented by a primitive operator I, which is not interdefinable with K in a non trivial setting, even by restricting the consequence relation.

Grigory Olkhovikov (Ruhr-Universität Bochum) : "On generalizations of Modal the Characterization Theorem"

Modal Characterization Theorem by J. van Benthem, having shown the basic modal logic to be exactly the bisimulation-invariant fragment of first-order logic, has become a template for many similar subsequent results. We will survey some of these results focusing on those related to intensional propositional logics representable as fragments of classical first-order logic without equality. We will compare the body of known results of this kind to a generalization of Modal Characterization Theorem as presented in [1] and will discuss some cues to its further extension present in the existing literature on the subject.

References :
[1] Grigory Olkhovikov. On generalized Van Benthem-type
characterizations. APAL vol. 168, p. 1643-1691, 2017.

Hitoshi Omori (Ruhr-Universität Bochum) : "From Jaskowski to Cobreros-Egre-Ripley-van Rooij"

In their series of papers, Pablo Cobreros, Paul Egre, David Ripley, and Robert van Rooij develop an interesting approach to various paradoxes, such as Liar’s and Sorites. The language they deploy in their discussions, however, does not include modal vocabulary. The aim of this talk is to present one possible approach to enrich the project of Cobreros-Egre-Ripley-van Rooij by adding some basic modal vocabulary. To this end, I will build on the ideas and techniques of discussive logic invented by Stanislaw Jaskowski. My focus will be mostly on semantic aspects, but I will briefly discuss some issues related to proof theoretic aspects as well.

Heinrich Wansing (Ruhr-Universität Bochum) : "Substructural negations re-displayed"

A theory of substructural negations as impossibility and as unnecessity over bi-intuitionistic logic has been developed by Takuro Onishi (2015). Onishi notes two problems for this theory and offers the identification of the two negations as a solution to both problems. The first problem is the lack of a structural rule corresponding with double negation elimination for negation as impossibility, the second problem is a lack of correspondence for Ockham negation. I will present a variation of Onishi’s display sequent calculus that sheds new light on the first problem and Onishi’s solution to it. The reformulated sequent calculus is motivated by considerations on proof-theoretic semantics.

Takuro Onishi, Substructural negations, Australasian Journal of Logic
12(4) 2015, 1-27.

Dmitry Zaitsev (Lomonosov Moscow State University) : "Unfinished Business : Exactly True Logic is still under Attack"

I will start with an observation of the Pietz and Rivieccio exactly true logic (ETL) being a four-valued Balnap-style logic whose consequence relation preserves only one designated value T. In so doing, I will sequentially consider some interesting semantic properties of this logic and the peculiarities of its axiomatization proposed by Pietz and Rivieccio. An alternative axiomatization of the same logic as a two-level bi-consequence system was developed by Shramko, Zaitsev and Belikov. It appeared to be a calculus with two organized subordinately consequence relations : the first one, so to say, ’ground’ relation serving as a basis for the second ’main’ relation. Also, we have put into circulation a standard binary consequence system and proved the deductive equivalence of these two calculi. However, the problem of finding a direct completeness proof for the latter system remains open. In my talk, I will present two ideas of solving this problem and discuss corresponding machinery.