Program for Saturday, August 10th: Talk View

PROGRAM FOR SATURDAY, AUGUST 10TH: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

20:30

21:00

21:30

22:00

22:30

23:00

23:30

09:00-09:30

Definitional identity in arithmetic

Ansten Klev

09:30-10:00

Harmony, stability, and the intensional account of proof-theoretic semantics

Luca Tranchini, Alberto Naibo

09:00-09:30

The Scientist’s Dilemma: After Weber

Ilya Kasavin

09:30-10:00

Scientists’ social responsibilities in the context of science communication

Svetlana Shibarshina

10:00-10:30

Scientist as an Expert: Breaking the Ivory Tower

Liana Tukhvatulina

09:00-09:30

Formalisation and Understanding in Mathematics

Marco Panza

09:30-10:00

Mathematical Vs. Empirical Thought Experiments: between Informal Mathematics and Formalization

Marco Buzzoni

10:00-10:30

The Independence of Excluded Middle from Double Negation via Topological Duality

Michael Andrew Moshier

09:00-09:30

Common belief logics based on information

Marta Bilkova

09:30-10:00

Non-classical probabilities over Dunn Belnap logic

Ondrej Majer, Dominik Klein, Soroush Rafiee Rad

10:00-10:30

Priority Merge and Intersection Modalities

Zoé Christoff, Olivier Roy, Norbert Gratzl

09:00-10:00

Complexity and model theory

Maryanthe Malliaris

09:00-10:30 Journal panel

09:00-09:30

Modeling in neuroscience: Can complete and accurate understanding of nerve impulse propagation be

Henk De Regt, Linda Holland, Benjamin Drukarch

09:30-10:00

Understanding Causal Reasoning in Neurophysiology

Karen Yan

09:00-09:30

Farrukh Khudoydodov

09:30-10:00

Sortal Interpretation of Aristotelian Logic

Karel Šebela

10:00-10:30

Pythagorean arithmetic as a model for Parmenidean semantics

Ioannis Vandoulakis

09:00-09:30

CANCELLED: Theoretical and methodological differences in the evolutionary analysis of human behavior

David Villena Saldaña

09:00-09:30

Notations & translations as catalysts of conceptual change

Madeline Muntersbjorn

09:30-10:00

Elements of Continuity in the Circulation of Mathematical Knowledge and Practices in Chapter "Measures in Square" in Mathematical Writings in

Xiaohan Zhou

10:00-10:30

Avatars of generality: on the circulation and transformation of list-making practices in the context of enumerative

Nicolas Michel

09:00-09:30

What time symmetry can (and cannot) tell us about time’s structure

Cristian López

09:30-10:00

Metaphysical issues in modern philosophy of time: V. I. Vernadsky’s idea of "cause" of time ("source" of

Tatiana Denisova

10:00-10:30

The direction of time

Lars-Göran Johansson

09:00-09:30

Situated Counting

Paula Quinon, Peter Gardenfors

09:30-10:00

Numerical cognition in the perspective of the Kantian program in modern neuroscience

Valentin Bazhanov, Tatyana Shevchenko

09:00-09:30

Combining truth values with provability values: a non-deterministic logic of informal provability

Pawel Pawlowski, Rafal Urbaniak

09:30-10:00

Comparative infinite lottery logic

Matthew Parker

10:00-10:30

On conditions of inference in many-valued logic semantics of CL$_{2}$}

Sergey Pavlov

11:00-11:30

Second order properties of copied computational artefacts

Nicola Angius, Giuseppe Primiero

11:30-12:00

Organisations and variable embodiments

Roberta Ferrario

11:00-11:30

Max Weber’s distinction truth/value and "Old-European" semantics

Alexander Antonovskiy

11:30-12:00

Moral achievement of a scientist

Anton Dolmatov

12:00-12:30

M. Weber’s "inconvenient facts" and contemporary studies of science-society communication

Lada Shipovalova

11:00-11:30

A formalization of logic and proofs in Euclid’s geometry

Alberto Naibo

11:30-12:00

Gödel's and Post's Proofs of Incompleteness

Mate Szabo, Patrick Walsh

12:00-12:30

Gödel and Carnap on the impact of incompleteness on formalization and understanding

Pierre Wagner

11:00-11:30

Algebraic Semantics for Inquisitive Logics

Vit Puncochar

11:30-12:00

Substructural propositional dynamic logic

Igor Sedlar

12:00-12:30

Residuals and Conjugates in Positive Substructural Logic

Andrew Tedder, Igor Sedlar

11:00-12:00

Creating Epistemically Successful Interdisciplinary Research Infrastructures: Translational Cognitive Neuroscience as a Case

Jacqueline Sullivan

11:00-12:30 Teaching panel

11:00-11:30

The circulation of epistemic values between mathematical cultures: The epistemic values pursued by J.-L. Lagrange in his teaching of analysis at the Ecole

Xiaofei Wang

11:30-12:00

Communication and exchanges among scientific cultures: Sharing, recycling, trading, and other forms of circulation> Characterizing as a cultural system the organization of mathematical knowledge: a case study from the history of

François Lê

11:00-12:30 Session 29H

11:00-11:30

A Scientific-Understanding Approach to Evo-Devo Models

Rodrigo Lopez-Orellana, David Cortés-García

11:30-12:00

How do evolutionary explanations explain?

Thomas Reydon

11:00-11:30

On the forking topology of a reduct of a simple theory

Ziv Shami

11:30-12:00

Remarks on Abstract Logical Topologies: An Institutional Approach.

Yiannis Kiouvrekis

11:00-11:30

The Intensional and Conceptual Content of Concepts

Jari Palomäki

11:30-12:00

Reception of Absolute Propositons in the Avicennian Tradition: Ibn Sahlān al-Sāwī on the Discussions of the Contradiction and Conversion of Absolute

Yusuf Dasdemir

11:00-11:30

Theoretical equivalence and special relativity

Lorenzo Cocco, Joshua Babic

11:30-12:00

Dynamics and Chronogeometry in Spacetime Theories

Pablo Acuña

12:00-12:30

Symmetry, General Relativity, and the Laws of Nature

Noah Stemeroff

11:00-11:30

Seeing and Doing, or, why we should all be only half-Bayesian

Adam Edwards

11:30-12:00

Inductive Inference and Structures: How to Learn Equality in the Limit

Luca San Mauro

14:00-14:30

Symposium on John Baldwin’s Model Theory and the Philosophy of Mathematical Practice

Juliette Kennedy

14:30-15:00

Symposium on John Baldwin’s Model Theory and the Philosophy of Mathematical Practice

Andrew Arana

14:00-14:30

An Engineer: Bridging the gap between mechanisms and values

Elena Chebotareva

14:30-15:00

Title What’s in a Name? To the History of a ‘scientist’

Tatiana Sokolova

14:00-14:30

The Epistemic Basing Relation in Mathematics

Silvia De Toffoli

14:30-15:00

Epistemic aspects of reverse mathematics

Benedict Eastaugh, Marianna Antonutti Marfori

14:00-14:30

The Incompleteness of Explanatory Models of Abduction in Diagnosis: The Case of Mental Disorders

Alger Sans

14:30-15:00

Solidarity and regulatory frameworks in (medical) Big Data

Angel Puyol

14:00-15:00

Proof systems for various FDE-based modal logics

Heinrich Wansing, Sergey Drobyshevich

14:00-14:30

TRLBPS: Examination of the linkage between Bayesian philosophy and statistics from a logical point of

Kazutaka Takahashi

14:30-15:00

TRLBPS: Constructing a complimentary relation between Bayesian philosophy and statistics

Masahiro Matsuo

14:00-14:30

The alienated/subjective character of scientific communication

Galina Sorina, Irina Griftsova

14:30-15:00

High-energy physics cultures during the Cold War: between exchanges and translations

Polina Petrukhina, Vitaly Pronskikh

14:00-14:30

Towards an Analytic Scientific Metaphysics

Nikolay Milkov

14:00-14:30

Mapping vs. representational accounts of models and simulations

Michal Hladky

14:00-14:30

A logic for an agentive naïve proto-physics

Oliver Kutz, Nicolas Troquard

14:30-15:00

Splicing Logics: How to Combine Hybrid and Epistemic Logic to Formalize Human Reasoning

Daniel Álvarez Domínguez

14:00-14:30

About the world described by Quantum Chemistry

Sebastian Fortin, Jesús A. Jaimes Arriaga, Hernán Accorinti

14:30-15:00

Does the reality of the wave function follow from the possibility of its manipulation?

Vladislav Terekhovich

14:00-14:30

Eliminating Pain

Nina Atanasova

14:30-15:00

The Privilege Problem for Semantic Dispositionalism

Andrea Guardo

14:00-14:30

A Computational Pragmatics for Weaseling

Leander Vignero

14:30-15:00

Sensory perception constructed in terms of Carnap's inductive logic: developing philosophy of computational modeling of

Yuki Ozaki

15:15-15:45

Should a mathematician read this book?

M. Malliaris

15:45-16:15

Mathematical and Philosophical Problems arising in the context of the book

John Baldwin

15:15-16:15 Session 31B

15:15-15:45

What is the Common Conceptual Basis of Gödel Embedding and Girard Embedding?

Sakiko Yamasaki

15:15-15:45

innovative tools for reaching agreements in ethical and epistemic problems in biosciences

David Casacuberta

15:45-16:15

Design epistemology as innovation in biomedical research

Anna Estany

15:15-16:15 Session 31E

15:15-15:45

Revisiting the two major statistical problems, stopping-rule and the catch-all hypothesis, from the viewpoint of neo-Bayesian

Ohkubo Yusaku

15:45-16:15

The linkage between Bayesian and frequentism statistics is easier than between Bayesian statistics and

Kenichiro Shimatani

15:15-15:45

When Arabic Algebraic Problems met Euclidean Norms in the 13th Century – A Case Study on the Scientific Innovation by the Transformation in Cross-cultural

Fanglei Zheng

15:45-16:15

Experts and Expertise in North-South Circulation in Mid-Twentieth Century Mathematics

Michael Barany

15:15-15:45

Applicability Problems Generalized

Michele Ginammi

15:45-16:15

Towards the Reconciliation of Confirmation Assessments

Martin King

15:15-15:45

The evolutionary epistemology of Rupert Riedl – a consequent realization of the program of naturalizing

Roman Otto Jordan

15:45-16:15

CANCELLED: The Monogenesis Controversy: A Historical and Philosophical Investigation

Christopher Donohue

16:15-16:45

Darwin's causal argument against intelligent design

Hayley Clatterbuck

15:15-16:15 Session 31J

15:15-15:45

The quantum measurement as a physical interaction

Maria Panagiotatou

15:45-16:15

In Defence of Branch Counting in Everettian Quantum Mechanics

Foad Dizadji-Bahmani

15:15-15:45

Why cognitive kinds can't be the kind of kinds that are natural kinds? A new hypothesis for natural

Sajjad Karmaly

15:15-15:45

An algebraic model for Frege's Basic Law V

Giovanni Marco Martino

15:45-16:15

On calculi and ranks for definable families of theories

Nurlan Markhabatov, Sergey Sudoplatov

16:15-16:45

Semilattices of numberings

Nikolay Bazhenov, Manat Mustafa, Mars Yamaleev

16:45-18:15 Closing ceremony

20:00-23:30 Closing party

10:30-11:00 Coffee Break

12:30-14:00 Lunch Break

16:15-16:45 Coffee Break