Program for Thursday, August 8th: Talk View

PROGRAM FOR THURSDAY, AUGUST 8TH: 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

09:00-09:30

Some recent applications of model theory

James Freitag

09:30-10:00

Feasible syntax, feasible proofs, and feasible interpretations

Tibor Beke

10:00-10:30

Towards a characterization of pseudo-finiteness

Cameron Hill

09:00-09:30

Bolzano, Kant and the Evolution of the Concept of Concept

Michael Otte

09:30-10:00

Bolzano’s theory of ground and consequence and the traditional theory of concepts

Arianna Betti, Annapaola Ginammi

10:00-10:30

Bolzano’s requirement of a correct ordering of concepts and its inheritance in modern axiomatics

Paola Cantu

09:00-09:30

Broad-Spectrum Conceptual Engineering

Manuel Gustavo Isaac

09:30-10:00

Conceptual Engineering and Semantic Control

Joey Pollock

10:00-10:30

On two kinds of conceptual engineering and their methodological counterparts

Steffen Koch

09:00-09:30

Organizational Etiological Teleology: a Selected-Effect Approach to Biological Self-Regulation

Javier González de Prado, Cristian Saborido

09:30-10:00

Organisms as Situated Models

Rachel Ankeny, Sabina Leonelli

10:00-10:30

Fitness incommensurability and evolutionary transitions in individuality

Adrian Stencel

09:00-09:30

In Defense of Abstractions: Sofia Yanovskaya between Ideology and Cybernetics

Tatiana Levina

09:30-10:00

Lakatos’ philosophy of mathematics and „political ideologies”

András Máté

09:00-09:30

Pseudoscience within science? The case of economics

María Caamaño

09:30-10:00

External Validity and Field Experiments in Economics

Sofia Blanco Sequeiros

10:00-10:30

Economic sciences and their disciplinary links

Ricardo Crespo

09:00-09:30

Scientific Metaphysics and the Manifest Image

Matthias Egg

09:30-10:00

Underdetermination and Empirical Equivalence: The Standard Interpretation and Bohmian Mechanics

Chunling Yan

09:00-09:30

Can Conventionalism safe the Identity of Indiscernibles?

Tina Wachter

09:30-10:00

Spacetime and Fundamental parts

Sho Fujita

09:00-10:00

Indiscernibility and rigidity in Banach spaces

Christina Brech

09:00-09:30

Explicating ‘Explication’ via Conceptual Spaces

Matteo De Benedetto

09:30-10:00

New versions of the mathematical explanation of the cicada case - ad hoc improvements with uncertain outcomes or the way to a full

Vladimir Drekalović

10:00-10:30

Explanation and ontology

Nathaniel Gan

09:00-09:30

Deterministic and Indeterministic Situations

Berna Kilinc

09:30-10:00

How are mathematical structures determined

Josef Mensik

10:00-10:30

Modelling Minimalism and Trivialism in the Philosophy of Mathematics Through a Notion of Conceptual

Andrea Sereni, Luca Zanetti

09:00-09:30

Poincaré Read as a Pragmatist

David Stump

09:30-10:00

Three Ways to Understand the Inductive thoughts of Whewell

Xiaoming Ren, Xianhua Liang

10:00-10:30

The Nascency of Ludwik Fleck’s Polemics with Tadeusz Bilikiewicz

Artur Koterski

09:00-09:30

Mutually inverse implication inherits from and improves on material implication

Xunwei Zhou

09:30-10:00

Expansions of relevant logics with a dual intuitionistic type negation

José M. Méndez, Gemma Robles, Francisco Salto

10:00-10:30

Basic quasi-Boolean expansions of relevant logics with a negation of intuitionistic kind

Gemma Robles

11:00-11:30

Towards a model theory of symmetric probabilistic structures

Rehana Patel

11:30-12:00

Accessible categories and model theory

Jiří Rosický

12:00-12:30

Tameness, compactness, and cocompleteness

Michael Lieberman

11:00-11:30

Did Bolzano Solve the Eighteenth Century Problem of Problematic Mathematical Entities?

Johan Blok

11:30-12:00

Bernard Bolzano and the part-whole principle for infinite collections

Kateřina Trlifajová

12:00-12:30

On Bolzano’s early rejection of infinitesimals

Elías Fuentes-Guillén

11:00-11:30

In Defense of a Contrastivist Approach to Evidence Statements

Delia Belleri

11:30-12:00

Concepts and Replacement: What should the Carnapian model of conceptual re-engineering be?

Mark Pinder

12:00-12:30

The Methodological Tradition of Explication

Moritz Cordes

11:00-11:30

Dedekind, Number Theory, and Methodological Structuralism: A Matter of Style?

Erich Reck

11:30-12:00

Structuralism as a mathematical style: Klein, Hilbert, and 19th-Century Geometry

Georg Schiemer

12:00-12:30

Designing the structuralist style: Bourbaki, from Chevalley to Grothendieck

Jean-Pierre Marquis

11:00-12:00

The Shifting Semantics of Plant (Data) Science

Sabina Leonelli

11:00-11:30

Do abstract economic models explain?

Paul Hoyningen-Huene

11:30-12:00

Prediction markets and extrapolation

Robert Northcott

11:00-11:30

The Reach of Socratic Scientific Realism: From axiology of science to axiology of exemplary inquiry

Tim Lyons

11:30-12:00

An Attempt to Defend Scientific Realism

Lisa Zorzato, Antonella Foligno

12:00-12:30

Practical Realism and Metaphysics in Science

Peeter Müürsepp

11:00-11:30

Metaphysics and Physics of Consciousness as a problem of modern science

Vladimir Iakovlev

11:30-12:00

Doing Without Structural Representations

Marc Artiga

11:00-11:30

Intimate diary of an AIDS patient. An approximation to the "medical gaze" with Foucault and Guibert

Natividad Garrido Rodríguez

11:30-12:00

Food, identity and end of life

Tina Sikka

12:00-12:30

Psychology, anthropology and delusions

Dominic Murphy

11:00-11:30

Simplicity in Abductive Inference

Christian J. Feldbacher-Escamilla

11:30-12:00

Mathematical Depth and Explanation

Susan Vineberg

12:00-12:30

Non-causal Explanations in Quantitative Linguistics

Lukas Zamecnik

11:00-11:30

A Learning Theoretic Argument for Scientific Realsm

Kevin Kelly, Hanti Lin, Konstantin Genin, Jack Parker

11:30-12:00

Mutual Misunderstanding in Signalling Games

Liqian Zhou

12:00-12:30

A Constructivist Application of the Condorcet Jury Theorem

Eleonora Cresto

11:00-11:30

Deductive Savages: The Oxford Noetics on Logic and Scientific Method

Jared Neumann

11:30-12:00

Logical Empiricism in Exile. Hans Reichenbach's Research and Teaching Activities at Istanbul University

Pascale Roure

12:00-12:30

V.N. Ivanovsky's Conception of Science

Elena Sinelnikova, Vladimir Sobolev

11:00-11:30

Abstract semantic conditions and the incompleteness of intuitionistic propositional logic with respect to proof-theoretic

Thomas Piecha, Peter Schroeder-Heister

11:30-12:00

First-degree entailment and structural reasoning

Yaroslav Shramko

12:00-12:30

The irrelevance of the axiom of Permutation

Claudia Tanús

14:00-14:30

Forking and categoricity in non-elementary model theory

Sebastien Vasey

14:00-14:30

Bernard Bolzano’s 1804 Examination: Mathematics and Mathematical Teaching in Early 19th Century

Davide Crippa, Elias Fuentes Guillén, Jan Makovský

14:30-15:00

Looking at Bolzano's mathematical manuscripts

Jan Sebestik

14:00-14:30

Conceptual Engineering in the Philosophy of Information

Patrick Allo

14:30-15:00

The Common-Sense Notion of Truth as a Challenge for Conceptual Re-Engineering

Georg Brun, Kevin Reuter

14:00-14:30

Granger's Philosophy of Style

Hourya Benis-Sinaceur

14:30-15:00

Comparing the geometric style and algebraic style of establishing equations in China, 11th-13th

Karine Chemla

14:00-15:00

The Inquiry Model of Medicine

Alexander Broadbent

14:00-14:30

A game-theoretic approach to evidence standards in Medicine

Barbara Osimani

14:30-15:00

How to Build a Computational Notion of Trust

Mirko Tagliaferri

14:00-14:30

Carnap on the Reality of Atoms

Yousuf Hasan

14:30-15:00

Functional Ontologies and Realism: The Case of Nuclear Physics

Alberto Cordero

14:00-14:30

Some philosophical remarks on the concept of structure. Case of Ladyman’s and Heller’s view

Michal Oleksowicz

14:30-15:00

Regarding minimal structural essentialism in philosophy of spacetime

Damian Luty

14:00-14:30

Particles, fields, or both? A reevaluation of the Ritz-Einstein debate

Mathias Frisch

14:30-15:00

Good Singularities, Bad Singularities

Mario Hubert

14:00-14:30

On Explanation and Unification

Arto Mutanen

14:30-15:00

CANCELLED: Equilibrium theory and scientific explanation

Paul Daniell

14:00-14:30

Some formal and informal misunderstandings of Gödel's incompleteness theorems

Yong Cheng

14:30-15:00

Constructing illoyal algebra-valued models of set theory

Sourav Tarafder, Benedikt Loewe, Robert Passmann

14:00-14:30

Integrating HPS: What’s in it for a Philosopher of Science?

Hakob Barseghyan, Jamie Shaw

14:00-14:30

A Naturalized Globally Convergent Solution to the Problem of Induction

Jorge Luis Garcia Rodriguez

14:30-15:00

Meta-Inductive Prediction based on Attractivity Weighting: Mathematical and Empirical Performance

Paul Thorn, Gerhard Schurz

15:15-15:45

Thin Objects and Dynamic Abstraction versus Possible Structures

Concha Martínez-Vidal, Ismael Ordóñez

15:45-16:15

Extensionalist explanation and solution of Russell’s Paradox

Ludovica Conti

15:15-15:45

Bolzano's real numbers: sets or sums?

Anna Bellomo

15:45-16:15

On the several kinds of number in Bolzano

Peter Simons

15:15-15:45

Varieties of conceptual change: the evolution of color concepts

Lieven Decock

15:45-16:15

The Semantic Account of Slurs, Appropriation, and Metalinguistic Negotiations

Esa Diaz Leon

15:15-15:45

"Cultured people who have not a technical mathematical training": audience, style, and mathematics in The Monist

Jemma Lorenat

15:45-16:15

On the "mechanical" style in 19th-century logic

Dirk Schlimm

15:15-16:15

Decolonising Scientific Knowledge: Morality, Politics and a New Logic

Jonathan Chimakonam

15:15-15:45

Stability of traits as the kind of stability that matters among holobionts

Javier Suárez

15:45-16:15

"Taxonomic freedom" and referential practice in biological taxonomy

Joeri Witteveen

15:15-15:45

Is semantic structuralism necessarily "set-theoretical" structuralism? A case of ontic structural

Agnieszka Proszewska

15:45-16:15

Scientific realism and the reality of properties

Michel Ghins

15:15-15:45

Structural Modality as the Criterion for Naturalistic Involvement in Scientific Metaphysics

Haktan Akcin

15:45-16:15

Econometric modeling falsifies structural realism

Mariusz Maziarz

15:15-15:45

Why field theories are not theories of fields

Dustin Lazarovici

15:45-16:15

The Fundamentality of Fields

Charles Sebens

15:15-15:45

Realism and Representation in Model-Based Explanation

Franziska Reinhard

15:45-16:15

Is the No-miracles argument an Inference to the Best Explanation?

Ludwig Fahrbach

15:15-15:45

Rigidity and Necessity: The Case of Theoretical Identifications

Luis Fernández Moreno

15:45-16:15

The axiomatic approach to genidentity according to Z. Augustynek

Marek Porwolik

15:15-15:45

Integrated HPS? Formal versus Historical Approaches to Philosophy of Science

Bobby Vos

15:45-16:15

A Philosophy of Historiography of the Earth. Metaphor and analogies of “natural body”

Babette Chabout-Combaz

15:15-15:45

Formalisation and Proof-theoretic Reductions

Marianna Antonutti Marfori

15:45-16:15

The generalized orthomodularity property: configurations, pastings and completions

Ivan Chajda, Davide Fazio, Antonio Ledda

16:45-18:15

Scientific Freedom and Scientific Responsibility

Heather Douglas

18:30-20:30 General assembly of the DLMPST

10:30-11:00 Coffee Break

12:30-14:00 Lunch Break

16:15-16:45 Coffee Break