Loading…
CLMPS 2015 has ended

Sign up or log in to bookmark your favorites and sync them to your phone or calendar.

Contributed Papers [clear filter]
Tuesday, August 4
 

11:00

A2.1 Philosophical Logic
4 August 11:00 – 13:00

SPEAKERS AND TITLES

30 min break (due to the cancellation of Aaron Thomas-Bolduc's presentation)

Deflationism and the meaning of Gödel’s sentence
Aleksandr Khlebalin, logic and epistemology, Institute of philosophy and law of Siberian branch, Novosibirsk, RUSSIAN FEDERATION 

30 min break (due to the cancellation of Andy Yu's presentation)

On the simplicity of truth
Giulia Terzian, Philosophy, University of Bristol, Bristol, UNITED KINGDOM


Chairs
GS

Gabriel Sandu

University of Helsinki

Speakers
avatar for Aleksandr Khlebalin

Aleksandr Khlebalin

Institute of philosophy and law of Siberian branch
GT

Giulia Terzian

University of Bristol



Tuesday August 4, 2015 11:00 - 13:00
Main Building, Room 8 Fabianinkatu 33

14:30

A2.2 Philosophical Logic
4 August 02:30PM – 04:30PM

SPEAKERS AND TITLES

Towards a Non-Fregean Axiomatic Theory of Truth
Joanna Golinska-Pilarek, Institute of Philosophy, University of Warsaw, Warsaw, POLAND
Taneli Huuskonen, University of Helsinki, Department of Mathematics , Helsinki, FINLAND

Homotopy Model Theory
Brice Halimi, Philosophy, University Paris Ouest, Nanterre, FRANCE

Epistemic Truth-Values
Fabien Schang, Philosophy, National Research University, HSE, Moscow, Moscow, RUSSIAN FEDERATION

An assumption-based logic for the analysis of inconsistent premises
Jesse Heyninck, Institute for Philosophy II, Ruhr-University Bochum, Bochum, GERMANY
Christian Straßer, Institute for Philosophy II, Ruhr-University Bochum, Bochum, GERMANY

Chairs
avatar for Brice Halimi

Brice Halimi

Associate Professor, University Paris Ouest

Speakers
JG

Joanna Golinska-Pilarek

University of Warsaw
JH

Jesse Heyninck

Ruhr-University Bochum
avatar for Fabien Schang

Fabien Schang

National Research University, HSE, Moscow
CS

Christian Straßer

Ruhr-University Bochum



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 8 Fabianinkatu 33

14:30

A2.3 Philosophical Logic
4 August 02:30PM– 04:30PM


SPEAKERS AND TITLES

A Lattice of Fundamental Four-Valued Modal Logics
Alexander Karpenko, Logic, Institute of Philosophy of RAS, Moscow, RUSSIAN FEDERATION



Reflexive insensitive modal logics
David Gilbert, Philosophy, State University of Campinas, Campinas, BRAZIL
Giorgio Venturi, State University of Campinas, Campinas, BRAZIL


Causal Models, Conditional Logic, and Cycles of Counterfactual Dependence
Jiji Zhang, Philosophy, Lingnan University, Hong Kong, HONGKONG
Wai-Yin Lam, HKU SPACE Community College, Hong Kong, HONGKONG

The Curious Status of the Principle of Conditional Non-Contradiction
Matthias Unterhuber, Department of Philosophy, University of Bern, Bern, SWITZERLAND

Chairs
JZ

Jiji Zhang

Lingnan University

Speakers
DG

David Gilbert

State University of Campinas
AK

Alexander Karpenko

Institute of Philosophy of RAS
MU

Matthias Unterhuber

University of Bern



Tuesday August 4, 2015 14:30 - 16:30
Main Building, Room 13 Fabianinkatu 33

17:00

A2.4 Philosophical Logic
4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

The Logic of Vagueness and Modality
Juhani Yli-Vakkuri, CSMN, University of Oslo, Oslo, NORWAY
Jon Litland, Department of Philosophy, University of Texas at Houston, Austin, TX, USA

30 min break (due to the cancellation of John Cantwell's presentation)

Implicational Logics and iterated Modus Ponens
Jui-Lin Lee, Center for General Education, National Formosa University, Yunlin County, TAIWAN

Logic and the Sense of Necessity
David Graves, General Studies, Academic College of Tel Aviv, Tel Aviv, ISRAEL


Chairs
avatar for Juhani Yli-Vakkuri

Juhani Yli-Vakkuri

Postdoctoral Research Fellow, University of Oslo

Speakers
avatar for David Graves

David Graves

Academic College of Tel Aviv
I teach primarily critical thinking and philosophy of art. I am an ex-professional rock bassist, and a fanatic amateur painter.
JL

Jui-Lin Lee

National Formosa University



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 7 Fabianinkatu 33

17:00

A2.6 Philosophical Logic
4 August 05:00PM– 07:00PM

SPEAKERS AND TITLES

Gödel's Claim that Intuitionistic Logic is a Renaming of Classical Logic and Davidsonian Radical Interpretation: Some Considerations
Fabrice Pataut, FRE 3593, CNRS, Paris, FRANCE



Two perspectives towards many-valued logic: philosophical and mathematical one
Mateusz Radzki, Department of Philosophy, The M. Grzegorzewska Academy of Special Education, Warsaw, POLAND



Classical many-valued logic and the bottom-line preservation notion of logical consequence
Ken Akiba, Philosophy, Virginia Commonwealth University, Richmond, USA

Belnap's logic as a logic of experts
Jose Martinez Fernandez , Logic, History and Philosophy of Science, University of Barcelona, Barcelona, SPAIN

Chairs
JM

Jose Martinez Fernandez

University of Barcelona

Speakers
KA

Ken Akiba

Virginia Commonwealth University
MR

Mateusz Radzki

The M. Grzegorzewska Academy of Special Education



Tuesday August 4, 2015 17:00 - 19:00
Main Building, Room 8 Fabianinkatu 33
 
Wednesday, August 5
 

11:00

A2.11 Philosophical Logic
4 August 11:00 AM - 13:00 PM

SPEAKERS AND TITLES
 
Assertion and the logic of common knowledge
Syraya Chin-mu Yang, Department of Philosophy, National Taiwan University, Taipei, TAIWAN

 Dynamic justification logic
Alessandro Giordani, Philosophy, Catholic University of Milan, Saronno, ITALY

Intentional identity in epistemic logic
Tuukka Tanninen, Philosophy, History, Culture and Art Studies, University of Helsinki, Helsinki, FINLAND    

An analysis of the problem of logical omniscience of epistemic logic
Ren-June Wang, Philosophy, National Chung Cheng University, Chiayi County, TAIWAN

Chairs
TT

Tuukka Tanninen

University of Helsinki

Speakers
AG

Alessandro Giordani

Catholic University of Milan
RW

Ren-June Wang

assistant professor, National Chung Cheng University
SC

Syraya Chin-mu Yang

National Taiwan University



Wednesday August 5, 2015 11:00 - 13:00
Main Building, auditorium I

11:00

A2.8 Philosophical Logic
5 August 11:00 AM - 01:00 PM

SPEAKERS AND TITLES
  
The predicate approach to de re modalities
Volker Halbach, Philosophy, Oxford University, Oxford, UNITED KINGDOM

On the Decidability of Atomic Mereological Theories
Hsing-chien Tsai, Philosophy, National Chung-Cheng University, Chia-yi, TAIWAN

A Hypersequent Calculus for Contingent Existence
Rohan French, Theoretical Philosophy, University of Groningen, Groningen, NETHERLANDS

Illocutionary Acts and Arguments
John Kearns, philosophy, university at buffalo, suny, buffalo, NY, USA
 

Chairs
JK

John Kearns

university at buffalo, suny
I am concerned to explore the connection between logic and speech acts, or language acts, and to develop systems of illocutionary logic.

Speakers
avatar for Rohan French

Rohan French

Post-Doctoral Researcher, University of Groningen
VH

Volker Halbach

University of Oxford
HT

Hsing-chien Tsai

National Chung-Cheng University



Wednesday August 5, 2015 11:00 - 13:00
Main Building, Room 15 Fabianinkatu 33

14:30

A2.10 Philosophical Logic
5 AUGUST 02:30 PM - 04:30 PM

SPEAKERS AND TITLES

Justification Logics and Quasi-Truth
Alexandre Costa-Leite, Philosophy, University of Brasilia, Brasilia, BRAZIL

Beyond knowing that: non-standard epistemic logics
Yanjing Wang, Department of Philosophy, Peking University, Beijing, CHINA

Propositional Logics of Dependence and Relativised Knowledge
Valentin Goranko, Department of Philosophy, Stockholm University, Stockholm, SWEDEN
Antti Kuusisto, Stockholm University, Stockholm, SWEDEN

30 min break (due to the cancellation of Ekaterina Kubyshkina's presentation)


Chairs
VG

Valentin Goranko

Stockholm University

Speakers
avatar for Yanjing Wang (王彦晶)

Yanjing Wang (王彦晶)

Associate Professor, Peking University
Epistemic Logic, Dynamic Logic, and philosophical logic in general
AC

Alexandre Costa-Leite

University of Brasilia



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 15 Fabianinkatu 33

14:30

A2.9 Philosophical Logic
5 AUGUST 02:30 PM - 04:30 PM

SPEAKERS AND TITLES

Dependence of quantifiers: Arbitrary objects versus generalised Tarski-type semantics
Gabriel Sandu, Philosophy, History, Culture and Art Studies, University of Helsinki, Helsinki, FINLAND

Words or Things: Aristotelian Categories
Esra Cagri Mutlu, Philosophy, VAN YYU, Van, TURKEY

Logical Spaces
Ulrich Meyer, Philosophy, Colgate University, Hamilton, USA

Heterodox Models of Peano Arithmetic
Taishi Kurahashi, Natural Sciences, Kisarazu National College of Technology, Kisarazu, Chiba, JAPAN
Makoto Kikuchi, System Informatics, Kobe University, Kobe, JAPAN

    

Chairs
UM

Ulrich Meyer

Colgate University

Speakers
TK

Taishi Kurahashi

Kisarazu National College of Technology
GS

Gabriel Sandu

University of Helsinki



Wednesday August 5, 2015 14:30 - 16:30
Main Building, Room 13 Fabianinkatu 33

17:00

C2.13 Philosophy of the Physical Sciences + A2 Philosophical Logic
5 AUGUST 05:00 PM - 06:30 PM

SPEAKERS AND TITLES

Likelihood and Confidence in the IPCC's Uncertainty Framework
Casey Helgeson, Philosophy, London School of Economics, London, USA   

Epistemic and institutional challenges posed by the provision of climate services
Cecilia Hidalgo, School of Philosophy&Literature, University of Buenos Aires, Buenos Aires, ARGENTINA

A pragmatic logic for denial (LPD)
Massimiliano Carrara, FISPPA DEPARTMENT, UNIVERSITY OF PADUA, padova, ITALY
Daniele Chiffi, UNIVERSITY OF PADUA, ITALY
Ciro De Florio, CATHOLIC UNIVERSITY OF MILAN, MILAN, ITALY

Chairs
DC

Daniele Chiffi

University of Padua

Speakers
MC

Massimiliano Carrara

UNIVERSITY OF PADUA
avatar for Casey Helgeson

Casey Helgeson

London School of Economics
CH

Cecilia Hidalgo

University of Buenos Aires



Wednesday August 5, 2015 17:00 - 18:30
Main Building, Room 16
 
Thursday, August 6
 

14:30

A2.13 Philosophical Logic
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

The Liar-like paradoxes
Jan Wolenski, Social Sciences, WSIZ, Rzeszow, POLAND

Fuzzy Logic and Sorites Paradox: The Problem of Missing Input
Jan Štepánek, Department of Philosophy, Masaryk University, Brno, CZECH
REPUBLIC

A Conditional for Vagueness and
the Liar
Sergi Oms, Lògica, Història i
Filosofia de la Ciència, Logos, University of Barcelona, Barcelona, SPAIN

Some Remarks on the Cassationist Approach to the Liar Paradox
Jordi Valor Abad, Lògica i Filosofia de la Ciència, Universitat de
València, Valencia, SPAIN

Chairs
SO

Sergi Oms

Logos, University of Barcelona

Speakers
JV

Jordi Valor Abad

Universitat de València
JW

Jan-Hertrich Woleński

professor, Jagiellonian University Kraków
avatar for Jan Štepánek

Jan Štepánek

Masaryk University



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 14 Fabianinkatu 33

14:30

A2.14 Philosophical Logic
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

Modal Logics of Abstract Explanation Frameworks
Igor Sedlar, Dept. of Logic and Methodology of Science, Comenius
University in Bratislava, Bratislava, SLOVAKIA
Juraj Halas, Dept. of Logic and Methodology of Science, Comenius
University in Bratislava, Bratislava, SLOVAKIA

The Import of Formal Logic with Respect to Knowledge – The Fundamental
Question of the “Critique of Pure Reason”
Max Gottschlich, Department of Philosophy, University of Warwick,
Coventry, UNITED KINGDOM

The Rules of Definition: a Logical and Pragmatic Perspective
Michel Paquette, Philosophy, Collège de Maisonneuve, Montreal, CANADA

First steps towards non-classical logic of
informal provability
Pawel Pawlowski, Department of Philosophy, University of Gent, Gent,
BELGIUM Rafal Urbaniak, Gent, BELGIUM

Chairs
avatar for Igor Sedlar

Igor Sedlar

Assistant Professor, Comenius University in Bratislava
My research concentrates on epistemic and substructural logics, their combinations and applications in philosophy and computer science.

Speakers
MG

Max Gottschlich

University of Warwick
avatar for Michel Paquette

Michel Paquette

Professor, Collège de Maisonneuve
I am interested in formal pragmatics and philosophical logic . My PhD dissertation's title is "La délibération dans les théories axiomatiques de la décision". Earlier, I was interested in the logical aspects of rational choice. In recent years, my research has been focused on... Read More →
PP

Pawel Pawlowski

University of Gent



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 15 Fabianinkatu 33

14:30

A2.5 Philosophical Logic
6 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

The establishment of mutually inverse implication proposition
Xunwei Zhou, Institute of Information Technology, Beijing Union University,
Beijing, CHINA

Dialectic Logic: Mathematical Archeology or Mathematical Technology?
Antonio Vincenzi, Altosner
Stiftung für philosophische Grundkagenfor, Altosner Stiftung für philosophische
Grundkagenfor, Albissola Mare, ITALY

Type-Theoretical Approaches to Problems and Solutions
Ivo Pezlar, Department of Philosophy, Masaryk University, Brno, CZECH
REPUBLIC

Chairs
XZ

Xunwei Zhou

Beijing Union University

Speakers
IP

Ivo Pezlar

Masaryk University
AV

Antonio Vincenzi

Altosner Stiftung für philosophische Grundkagenfor



Thursday August 6, 2015 14:30 - 16:30
Main Building, Room 8 Fabianinkatu 33

17:00

A2.12 Philosophical Logic
6 August 5:00pm ­- 7:00pm

SPEAKERS AND TITLES

Generalized Dialetheism and Curry's Paradox
Colin Caret, Underwood International College, Yonsei University,
Incheon, SOUTH KOREA

Graphs, naive truth, and well-behaved conditionals
Lorenzo Rossi, Philosophy, University of Oxford, Oxford, UNITED KINGDOM

Saving tolerance from paradox; a game semantics for tolerance
Ali Abasnezhad, philosophy, University of British Coloumbia , Vancouver,
CANADA

A Revision-Theoretic Supervaluational Theory of Truth
Edoardo Rivello, Department of Mathematics, University of Torino,
Torino, ITALY

Chairs
avatar for Edoardo Rivello

Edoardo Rivello

University of Torino

Speakers
AA

Ali Abasnezhad

University of British Coloumbia
CC

Colin Caret

Yonsei University
LR

Lorenzo Rossi

University of Oxford



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 15 Fabianinkatu 33

17:00

A2.15 Philosophical Logic
6 August 5:00pm ­- 7:00pm

SPEAKERS AND TITLES

Elementary deductive step and Church’s Thesis
Vitali Tselishchev, logic and epistemology, Institute of philosophy and law of Siberian branch, Novosibirsk, RUSSIAN FEDERATION

The Iterated Prisoner’s Dilemma as an Interrogative Game
Levis Zerpa, Social Sciences, Social Sciences, Yachay Tech, San Miguel de Urcuqui, Ecuador

A qualitative perspective on vagueness and degrees of truth
Rossella Marrano, Philosophy, Scuola Normale Superiore, Pisa, Pisa, ITALY

The inapplicability of (selected) paraconsistent logics
Rafal Urbaniak, Department of Philosophy, Ghent University (and Gdansk
University), Ghent, BELGIUM

Chairs
avatar for Rossella Marrano

Rossella Marrano

Scuola Normale Superiore, Pisa

Speakers
VT

Vitali Tselishchev

Institute of Philosophy and Law, Siberian Division, Russian Academy of Science
avatar for Rafal Urbaniak

Rafal Urbaniak

Ghent University (and Gdansk University)
avatar for Levis Zerpa

Levis Zerpa

Yachay Tech
I am interested in erotetic or interrogative logic and the interrogative model of inquiry; I am focused in applications to both philosophy of science and philosophy of education.



Thursday August 6, 2015 17:00 - 19:00
Main Building, Room 12
 
Friday, August 7
 

11:00

A2.17 Philosophical Logic
7 August 11:00 – 13:00

SPEAKERS AND TITLES

Anderson and Belnap's Confusion
Hartley Slater, Philosophy, University of Western Australia, Perth, AUSTRALIA

Metalogical Decorations of Logical Diagrams
Lorenz Demey, Center for Logic and Analytic Philosophy, KU Leuven, Leuven, BELGIUM
Hans Smessaert, Department of Linguistics, KU Leuven, Leuven, BELGIUM

Notions of relevance for classical logic.
Raymundo Morado, Instituto de Investigaciones Filosóficas, UNAM, Mexico City, MEXICO

On the Multiple Advantages of a Certain Uniform Framework for Consequence
João Marcos, DIMAp, UFRN, Natal/RN, BRAZIL
Carolina Blasio, Philosophy, UNICAMP, Campinas/SP, BRAZIL

Chairs
avatar for Hartley Slater

Hartley Slater

Honorary Senior Research Fellow, University of Western Australia
Some of my recent, or about to be published papers, available on my academia.edu page, such as 'Consistent Truth', 'Non-Analytic Logic', and 'Gödel’s and other Paradoxes'.

Speakers


Friday August 7, 2015 11:00 - 13:00
Main Building, Room 10 Fabianinkatu 33

11:00

A2.18 Philosophical Logic
7 August 11:00 – 13:00

SPEAKERS AND TITLES




Two Faces of Logical Truths --- Between Ordinary Language and Formal Language
Yang HU, Philosophy, Ecole Normale Superieure de Lyon, Lyon, FRANCE

Which arguments are logically incorrect?
Vladimir Svoboda, Department of Logic, Institute of Philosophy, Prague, CZECH REPUBLIC
Jaroslav Peregrin, Department of Logic, Institute of Philosophy, Prague, CZECH REPUBLIC

'Complete Sets of Logical Functions' Revisited: an examination and reinterpretation of early Functional Completeness proofs of Propositional Logic.
John Serembus, Humanities, Widener University, Chester, PA, USA

The Epistemic Significance of Valid Inference – A Model-Theoretic Approach
Constantin Brîncus, Faculty of Philosophy, University of Bucharest, Bucharest, ROMANIA

Chairs
avatar for John Serembus

John Serembus

Widener University

Speakers
CB

Constantin Brîncus

University of Bucharest
YH

Yang Hu

Ecole Normale Superieure de Lyon
VS

Vladimir Svoboda

Institute of Philosophy



Friday August 7, 2015 11:00 - 13:00
Main Building, Room 15 Fabianinkatu 33

14:30

A2.19 Philosophical Logic
7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

(PLEASE NOTE: Sanz's presentation moved to first. 5.8.2015)

Hypo: A Deduction-Theoretical Semantics for Heyting’s Propositional Logic (HPL)

Wagner Sanz, Philosophy, UFG/CNPq, Goiania, BRAZIL

Applied ontology, logical pluralism, and the logical constants

Oliver Kutz, Institute for Knowledge and Language Engineering, University of Magdeburg, Magdeburg, GERMANY

Stefano Borgo, Laboratory for Applied Ontology, CNR, Povo (TN), ITALY

Sharpening Logical Independence

Alberto Mura, Dipartimento di Storia e Scienze dell'Uomo, Università degli studi di Sassari, Sassari, ITAL

Designated Operator Theory and Domain of Symbol Expressions

Sergey Pavlov , Epistemology and Logic , Institute of Philosophy , Moscow, RUSSIAN FEDERATION




Chairs
avatar for Alberto Mura

Alberto Mura

Professor, Università degli studi di Sassari

Speakers
SB

Stefano Borgo

CNR (National Council of Research)
OK

Oliver Kutz

University of Magdeburg
SA

Sergey A. Pavlov

Institute of Philosophy at the RAS
WS

Wagner Sanz

UFG/CNPq



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 6

14:30

A2.20 Philosophical Logic
7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES

 

Product Update for Dynamified Deontic Logic of Speech Acts

Tomoyuki Yamada, Philosophy, Hokkaido University, Sapporo, JAPAN




Justice-Based Responsibility

Andrzej Malec, Department of Law, S.Staszic College of Public Administration, Bialystok, POLAND




Temporal Enclosure Structures

Claudio Mazzola, School of HPRC, The University of Queensland, Brisbane St Lucia, AUSTRALIA




Future contingents, partial models and the flow of time

Guillaume Massas, Philosophy, Ecole Normale Supérieure / ILLC, Paris, FRANCE

Chairs
CM

Claudio Mazzola

The University of Queensland

Speakers
AM

Andrzej Malec

S.Staszic College of Public Administration
GM

Guillaume Massas

Ecole Normale Superieure / University of Amsterdam
avatar for Tomoyuki Yamada

Tomoyuki Yamada

Professor, Hokkaido University



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 7 Fabianinkatu 33

14:30

A2.7 Philosophical Logic
7 August 02:30PM - 04:30PM

SPEAKERS AND TITLES




Grades of specifiability

Costas Dimitracopoulos, History and Philosophy of Science, University of Athens, Athens, GREECE




A Free Logic for Fictionalism

Mircea Dumitru, Philosophy, University of Bucharest, Bucharest, ROMANIA




Why Is There Something Rather Than Nothing? A Logical Investigation.

Jan Heylen, Institute of Philosophy, KU Leuven, Leuven, BELGIUM




Speaking of Essence

Alessandro Torza, Instituto de Investigaciones Filosóficas, UNAM, México DF, MEXICO

Chairs
MD

Mircea Dumitru

University of Bucharest

Speakers
CD

Costas Dimitracopoulos

University of Athens
JH

Jan Heylen

Assistant Professor, KU Leuven



Friday August 7, 2015 14:30 - 16:30
Main Building, Room 3 Fabianinkatu 33

17:00

A2.21 Philosophical Logic
7 August 05:00PM – 07:00PM

 

SPEAKERS AND TITLES



The Quantified Argument Calculus and Natural Language
Hanoch Ben-Yami, Philosophy, Central European University, Budapest, HUNGARY



Games and the pragmatics of quantifier scope disambiguation
Mihai Hîncu, G. Zane Institut for Economics and Social Research, Romanian Academy, Iasi Branch, Iasi, ROMANIA



An explication of the concept EXPLICATION in the framework of hyperintensional logic
Jiri Raclavsky, Philosophy, Masaryk University Brno, Brno, CZECH REPUBLIC

 





Chairs
JR

Jiri Raclavsky

assoc prof, Masaryk University Brno

Speakers
HB

Hanoch Ben-Yami

Central European University
MH

Mihai Hîncu

Valahia University of Targoviste



Friday August 7, 2015 17:00 - 19:00
Main Building, Room 6
 
Saturday, August 8
 

10:00

A2.22 Philosophical Logic
8 August 10:00 – 12:00

 

SPEAKERS AND TITLES


Constructive Validity and Admissibility
Inkyo Chung, Philosophy, Korea University, Seoul, SOUTH KOREA

Untyped validity: from interaction to rules
Mattia Petrolo, Philosophy, IHPST - Université Paris 1, Paris, FRANCE
Paolo Pistone, Università Roma Tre/Université Aix-Marseille, Roma, ITALY

On Dummett's Verificationist Justification Procedure
Hermógenes Oliveira, Faculdade de Filosofia, Universidade Federal de Goiás, Goiânia, BRAZIL
Wagner Sanz, Faculdade de Filosofia, Universidade Federal de Goiás, Goiânia, BRAZIL

Completeness results in proof-theoretic semantics and the treatment of negation
Thomas Piecha, Department of Computer Science, University of Tübingen, Tübingen, GERMANY

Chairs
PP

Paolo Pistone

Università Roma Tre

Speakers
IC

Inkyo Chung

Korea University
avatar for Hermógenes Oliveira

Hermógenes Oliveira

University of Tübingen
MP

Mattia Petrolo

IHPST - Université Paris 1
TP

Thomas Piecha

University of Tübingen
WS

Wagner Sanz

UFG/CNPq



Saturday August 8, 2015 10:00 - 12:00
Main Building, Room 6

13:30

A2.16 Philosophical Logic
8 August 13:30-15:30


SPEAKERS AND TITLES

PLEASE NOTE :  Frederik Van De Putte and Mariusz Urbanski have changed the order of their presentations (3 August 2015)

An adaptive logic for the abduction of minimal explanations
Frederik Van De Putte, Philosophy and Moral Science, Ghent University, Gent, BELGIUM 

On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations
Mariusz Urbanski, Department of Logic and Cognitive Science, Adam Mickiewicz University, Poznan, POLAND
Andrzej Wisniewski, Department of Logic and Cognitive Science, Adam Mickiewicz University, Poznan, POLAND 



An Adaptive Approach to Frege's Set Theory
Diderik Batens, Philosophy, Ghent University, Gent, BELGIUM 

Chairs
FV

Frederik Van De Putte

Ghent University

Speakers
DB

Diderik Batens

Ghent University
avatar for Mariusz Urbanski

Mariusz Urbanski

Adam Mickiewicz University



Saturday August 8, 2015 13:30 - 15:30
Main Building, Room 8 Fabianinkatu 33

13:30

A2.23 Philosophical Logic
SESSION CANCELLED

Saturday August 8, 2015 13:30 - 15:30
Main Building, Room 7 Fabianinkatu 33

13:30

A2.24 Philosophical Logic
8 AUGUST 01:30 PM - 03:30 PM

SPEAKERS AND TITLES

Fregean Function Levels in Formal Languages
Yaroslav Kokhan, Department of Logic and Methodology of Science, Institute of Philosophy, National Academy of Scien, Kyiv, UKRAINE  
     

Chairs
avatar for Risto Vilkko

Risto Vilkko

Docent, University of Helsinki

Speakers
avatar for Yaroslav Kokhan

Yaroslav Kokhan

Institute of Philosophy



Saturday August 8, 2015 13:30 - 15:30
Main Building, Room 17