Oddělení logiky
Department of Logic

logo f

  • About us
    • People
      • Vít Punčochář
      • Ansten Mørch Klev
      • Vojtěch Kolman
      • Ondrej Majer
      • Jaroslav Peregrin
      • Igor Sedlár
      • Vladimír Svoboda
      • Marta Vlasáková
    • Contacts
    • Awards
  • Projects
    • Current grants projects
    • Finished grants projects
  • Publications
    • Logica Yearbook
    • Books
    • Papers
    • Transcriptions: Martin-Löf
  • Events
    • LOGICA
    • Conferences
    • Workshops
    • Seminar
  • Multimedia
    • Logica - videos
    • Photogallery
  • CZ
  • diagrams
  • diagrams

  • Information
  • Program

Information

LOGICA 2009

22 - 26 June 2009

Hejnice.jpg

Hejnice monastery

The 23th in the series of annual international symposia devoted to logic, was held at Hejnice, 22 - 26 June 2009

 

The invited speakers of the conference were

JC Beall, Nuel Belnap, and Stephen Read

Yearbook-2009.jpg

Selected contributions to the conference were published in Michal Peliš (ed.): The Logica Yearbook 2009

 

The conference was sponsored by Bernard Family Brewery Humpolec   

 

Program

L o g i c a  2 0 0 9 - Programme

 

Tuesday, 23 June
>> morning session

Nuel Belnap

Truth, Neither-True-Nor-False,
and Supervaluations

Tomasz Placek

On Attempting

Roberto Ciuni Stit Logic and Metric Possible Choices
Christian Fermüller Some Critical Remarks on Incompatibility Semantics
Petr Hájek Ontological Proofs of Existence and Non-Existence


>> afternoon session

Catarina Dutilh Novaes

Surprises in Logic
Yaroslav Shramko
and Heinrich Wansing
The Slingshot Argument and Sentential Identity
Doroteya Angelova Logical and Epistemological Significance
of the Inconsistent and Incomplete Worlds
and Their Applications
Francesco Berto Impossible Worlds and Propositions:
A Case against the Parity Thesis
Julien Murzi Carnap’s Categoricity Problem and the Meanings of the Logical Constants
Ole Hjortland Categoricity and Non-Classical Logics


Wednesday, 24 June
>> morning session

Stephen Read

Field's Paradox and its Medieval Solution
John Kearns

What is Natural about Natural Deduction

Annika Kanckos Gentzen’s Consistency Proofs for Arithmetic
Shawn Standefer Philosophical Aspects of Display Logic
Lionel Shapiro Deflating Logical Consequence

>> afternoon session
Greg Restall Always More
Bjørn Jespersen Modification and Pseudo-Detachment:
From (AB)a Infer A*a
Sebastian
Sequoiah-Grayson
Ajdukiewicz Functions and Basic Inference
Katarzyna
Kijania-Placek
Descriptive Indexicals and the Referential/Attributive Distinction
Vítězslav Švejdar Decision Problems of some Intermediate Logics and Their Fragments
Curtis Franks Reasoning about Meta-Theory in Weak Theories
Presentation of the project "Organon"


Thursday, 25 June
>> morning session

Jc Beall Truth, Necessity, and Abnormal Worlds
Juraj Podroužek
and Igor Sedlár
A New Notion of Relevance and the Logic
of Simple Processes
Ondrej Majer and
Michal Peliš
Logic of Questions from the Viewpoint
of Dynamic Epistemic Logic
Hans Lycke Generalized Conversational Relevance: Relevance Conditions for Asserting Disjunction


Friday, 26 June
>> morning session

Martin Pleitz The Liar Meets McTaggart:
Paradox and the Indexical Fallacy
Marie Duží Tenses and Truth-conditions:
A Plea for If-Then-Else
 Christoph Roschger Evaluation Games for Shapiro's Logic of Vagueness in Context
Barry Hartley Slater Ontological Discriminations
Andreas Pietz Logics and Stories

Oddělení logiky

Filosofický ústav AV ČR, v.v.i.
Jilská 361/1, 110 00 Praha 1
tel.: (+420) 221 183 322

AVCR1

F zakladni text vedle 40