Program for Friday, August 9th: Talk View

PROGRAM FOR FRIDAY, AUGUST 9TH: 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

09:00-10:30

Can set-theoretic mereology serve as a foundation of mathematics?

Joel David Hamkins

11:00-12:30 ERC panel

11:00-11:30

The Open Dihypergraph Dichotomy for Definable Subsets of Generalized Baire Spaces

Dorottya Sziráki

11:30-12:00

The indestructibility of the tree property

Radek Honzik

12:00-12:30

Easton's function and the tree property below $\aleph_\omega$

Sarka Stejskalova

11:00-11:30

On the historical relevance of Glivenko's translation from classical into intuitionistic logic: is it conservative and

Itala Maria Loffredo D'Ottaviano, Hércules De Araujo Feitosa

11:30-12:00

A simple proof of Barr’s theorem for infinitary geometric logic

Sara Negri

12:00-12:30

Proof theory of infinite geometric theories

Michael Rathjen

11:00-11:30

Inconsistency and belief revision in cases of approximative reduction and idealization

Xavier de Donato-Rodriguez

11:30-12:00

Logic-based ontologies in the biomedical domain: From defects to explicit contradictions

Joke Meheus

12:00-12:30

Lewis, Stalnaker and the Problem of Assertion & Defective Information in the Sciences

Moises Macias Bustos

11:00-12:00

Logic-based strategic reasoning in social context

Valentin Goranko

11:00-11:30

Is There a Hard Problem for the Integrated Information Theory of Consciousness?

Robert Chis-Ciure, Francesco Ellia

11:30-12:00

What is "biological" about biologically-inspired computational models in cognitive science? Implications for the multiple realisation

Mahi Hardalupas

12:00-12:30

Turing Redux: An Enculturation Account of Calculation and Computation

Regina Fabry

11:00-11:30

Inductive Method, or the Experimental Philosophy of the Royal Society

Jagdish Hattiangadi

11:30-12:00

Bilancie giuste a posta per chiarire questa verità. The importance of instrument in Guidobaldo dal Monte’s Le

Davide Pietrini

11:00-11:30

Laws, Causation and Explanations in Classical Genetics: A Model-theoretic Account

Pablo Lorenzano

11:30-12:00

Category Theory as a Formal Language of the Mechanistic Philosophy

Jinyeong Gim

12:00-12:30

What is the explanatory role of the structure-function relationship in immunology?

Gregor Greslehner

11:00-11:30

Dispositions and Causal Bayes Nets

Florian Fischer, Alexander Gebharter

11:30-12:00

Modeling Creative Abduction Bayes Net Style

Alexander Gebharter, Christian J. Feldbacher-Escamilla

11:00-11:30

Differences of discourse understanding between human and software agents

Adrian Groza

11:30-12:00

Logic as metaphilosophy? Remarks on the mutual relations of logic and philosophy

Grzegorz Trela

12:00-12:30

Hypercomputing Minds: New Numerical Evidence

Joachim Hertel

11:00-11:30

Mechanistic Explanations and Components of Social Mechanisms

Saúl Pérez-González

11:30-12:00

Against Reductionism: Naturalistic methods in pragmatic cognitive sociology

Dafne Muntanyola-Saura

11:00-11:30

CANCELLED: Higher-order identity in the necessitism-contingentism debate in higher-order modal logic

Syraya Chin-Mu Yang

11:30-12:00

Model Existence in Modal Logics

Jui-Lin Lee

11:00-11:30

Frege semantics or why can we talk about deflation of false?

Andrey Pavlenko

11:30-12:00

Are logical expressions ambiguous and why?

Pavel Arazim

12:00-12:30

New Thoughts on Compositionality. Contrastive Approaches to Meaning: Fine’s Semantic Relationism vs. Tarski-Style

Mircea Dumitru

14:00-15:00

How to describe reality objectively: lessons from Einstein

Hans Halvorson

14:00-14:30

Definable bistationary sets

Philipp Lücke

14:00-14:30

Ecumenism: a new perspective on the relation between logics

Luiz Carlos Pereira, Elaine Pimentel, Valeria de Paiva

14:30-15:00

Modal Negative Translations as a Case Study in The Big Programme

Tadeusz Litak

14:00-14:30

Mutually inconsistent set theoretic-universes: An analysis of universist and multiversist strategies

Carolin Antos, Daniel Kuby

14:30-15:00

Informal Rigorous Mathematics and its Logic

Jody Azzouni

14:00-14:30

Asymmetries in interdisciplinarity

Uskali Mäki

14:30-15:00

How scientists are brought back into science – The error of empiricism

Mieke Boon

14:00-14:30

Are connexive principles coherent?

Niki Pfeifer

14:30-15:00

Variable sharing principles in connexive logic

Luis Estrada-González, Claudia Tanús

14:00-14:30

Margaret Cavendish on corporeal qualities

Alison Peterman

14:30-15:00

Theory of Impetus and its Significance to the Development of Late Medieval Notions of Place

Julita Slipkauskaitė

14:00-14:30

Rethinking Cybernetics in Philosophy of Biology

Flavia Fabris

14:00-14:30

Bridging Across Philosophy of Science and Scientometrics: Towards an Epistemological Theory of

Eugenio Petrovich

14:30-15:00

CANCELLED: Why the behavioural turn in policy takes behavioural science wrong and what it means for its policy

Magdalena Malecka

14:00-14:30

On how Descartes changed the meaning of the Phytagorean theorem

Piotr Błaszczyk

14:30-15:00

Are Points (Necessarily) Unextended?

Philip Ehrlich

14:00-14:30

On Howson’s Bayesian approach to the old evidence problem

Young E Rhee

14:30-15:00

On a structuralist view of theory change:study of some semantic properties in formal model of belief

A. V. Ravishankar Sarma

14:00-14:30

A bimodal logic of change with Leibnizian hypothetical necessity

Kordula Świętorzecka, Marcin Łyczak

14:00-14:30

Leśniewski, Lambda, and the Problem of Defining Operators

Peter Simons

14:30-15:00

Intensionality, Reference, and Strategic Inference

Mihai Hîncu

15:15-15:45

On the epistemology of data science – the rise of a new inductivism

Wolfgang Pietsch

15:45-16:15

Finding a Way Back: Philosophy of Data Science on Its Practice

Domenico Napoletani, Marco Panza, Daniele C. Struppa

15:15-15:45

Can we add kappa-dominating reals without adding kappa-Cohen reals?

Wolfgang Wohofsky

15:45-16:15

Higher Metrisability in Higher Descriptive Set Theory

Lorenzo Galeotti

15:15-15:45

On the constructive content of proofs in abstract analysis

Ulrich Berger

15:45-16:15

Program Optimisation through Proof Transformation

Monika Seisenberger

15:15-15:45

Handling of defectiveness in a content-guided manner

Diderik Batens

15:45-16:15

CANCELLED: Chunk and Permeate: Reasoning faute de mieux

Martin Brown

15:15-16:15 Session 26E

15:15-15:45

Connexivity and Conditional Logic

Andreas Kapsner

15:45-16:15

Towards a bridge over two approaches in connexive logic

Hitoshi Omori

15:15-15:45

Why should philosophers care about the periodic table?

Hasok Chang

15:45-16:15

Mendeleev’s dedicated supporter and friend. The Czech chemist Bohuslav Brauner and the worldwide reception of the periodic

Soňa Štrbáňová

15:15-15:45

Does research with deep neural networks provide a new insight to the aim of science debate?

Yukinori Onishi

15:45-16:15

Process, not just product: the case of network motifs analysis

Shimin Zhao

15:15-15:45

Multi-modal Mu-calculus with Postfix Modal Operator Abstracting Actions

Susumu Yamasaki

15:45-16:15

Dialogical justication logic. A basic approach

Francisco Martínez Herrera

15:15-15:45

Commitments of foundational theories: Introduction

Cezary Cieslinski

15:45-16:15

The contour of the Tarski Boundary

Mateusz Łełyk

15:15-15:45

Tool-driven science

John Huss

15:45-16:15

Technoscience and Philoscience

László Ropolyi

15:15-15:45

Generalized Interpretability and Conceptual Reduction of Theories

Mirko Engler

15:45-16:15

The Tarski equipollence of axiom systems

Mateusz Radzki

15:15-15:45

A Notion of Semantic Uniqueness for Logical Constants

Sebastian G.W. Speitel

15:45-16:15

Clasical Logic and Schizophrenia: for A Neutral Game Semantics

Juan Redmond, Rodrigo Lopez-Orellana

16:45-17:15

Semantic interoperability: The oldest challenge and newest frontier of Big Data

Sabina Leonelli

17:15-17:45

Big Data in Life Sciences

Helena Kossowska

17:45-18:15

Philosophizing on Big Data, Data Science, and AI

Jens Ulrik Hansen

16:45-18:15 Session 27B

16:45-17:15

Ideals, idealization, and a hybrid concept of entailment relation

Daniel Wessel

17:15-17:45

The Jacobson Radical and Glivenko's Theorem

Peter Schuster, Giulio Fellin, Daniel Wessel

16:45-17:15

Disturbing Truth

Michèle Friend

17:15-17:45

Quasi-truth and defective situations in science

Jonas Becker Arenhart, Décio Krause

17:45-18:15

Making Sense of Defective Information: Partiality and Big Data in Astrophysics

Maria Del Rosario Martinez Ordaz, Otávio Bueno

16:45-17:15

On the Significance of Argumentation in Discovery Proof-Events

Sofia Almpani, Petros Stefaneas, Ioannis Vandoulakis

17:15-17:45

Problem Reduction as a general epistemic reasoning method

Peter Vojtas, Michal Vojtas

16:45-17:15

Tableaux procedures for logics of consequential implication

Claudio E.A. Pizzi

16:45-17:15

Understanding the chemical element: a reflection on the importance of the periodic table

Sarah Hijmans

17:15-17:45

Values in Science and Early Periodic Tables

Karoliina Pulkkinen

16:45-17:15

Parity claims in biology and a dilemma for informational parity

María Ferreira Ruiz

16:45-17:15

Feasible reducibility and interpretability of truth theories

Ali Enayat

17:15-17:45

Models of Truth Theories

Bartosz Wcisło

17:45-18:15

Some semantic properties of typed axiomatic truth theories built over theory of sets

Michał Tomasz Godziszewski

16:45-17:15

Learning Subjunctive Conditional Information

Mario Günther

17:15-17:45

On the complexity of formulas in semantic programming

Sergey Ospichev, Denis Ponomaryov

17:45-18:15

Hyperintensions as abstract procedures

Marie Duzi

16:45-17:15

A theorem of ordinary mathematics equivalent to $\mathsf{ADS}$

Marta Fiori Carones

17:15-17:45

A non-trivial extension for Ms

Ricardo Arturo Nicolás-Francisco

16:45-17:15

DSTIT modalities through labelled sequent calculus

Sara Negri, Edi Pavlovic

17:15-17:45

Counterfactuals and Reasoning about Action

Mahfuz Rahman Ansari, Avr Sarma

17:45-18:15

Logic of Scales

Ionel Narita

16:45-17:15

What is it Like to Be First Order? Lessons from Compositionality, Teams and Games

Pietro Galliani

17:15-17:45

Analysis of Incorrect Proofs

Ivo Pezlar

19:30-21:00 Congress dinner

10:30-11:00 Coffee Break

12:30-14:00 Lunch Break

16:15-16:45 Coffee Break