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 2012

18 - 22 June 2012

Hejnice.jpg

Hejnice monastery

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

 

The invited speakers of the conference were

Sergei Artemov, Warren Goldfarb, David Makinson, and Barbara Partee

Yearbook-2012.jpg

Selected contributions to the conference were published in V. Punčochář, P. Švarný (eds.): The Logica Yearbook 2012

 

The conference was sponsored by Bernard Family Brewery Humpolec   

 

Program

L o g i c a 2012 - Programme
  

Tuesday, 19 June
morning session

Warren Goldfarb Wittgenstein against Logicism
Victor Rodych Wittgenstein Completeness
Timm Lampert Modal Claims and Church's Theorem
Ole Hjortland Truth, Paracompleteness, and Substructural Logic:
Half as Lovely, Twice as True


afternoon session

Yusuke Kaneko Reconsideration of Carnap's Semantics
Neil Kennedy   Higher-Order Modality and the Essential Flatness of Worlds
Johannes Marti Representing Semantic Facts on Kripke Frames
Igor Sedlár From Pair Points to Pairs of Models
Sebastian Sequoiah-Grayson Epistemic Duals and Explicit Considerations
 Theodora Achourioti Modelling the Use of 'True' in Natural Language 
Hartley Slater Towards Being


Wednesday, 20 June
morning session

Sergei Artemov A Classical View of Constructive Semantics
J. Michael Dunn Contradictory Information Can Be Better than Nothing:
The Example of the Two Firemen
Peter Verdée An Infinitely Valued Adaptive Logic for Handling Inconsistent Information
Luca Tranchini For a Tarskian Twist to Proof-Theoretic Semantics
Andreas Pietz-Kapsner Strong Connexivity

afternoon session
Michal Peliš, Ondrej Majer Logic of Communication and Questions
Chris Fox Axiomatising Questions
Pawel Lupkowski Cooperative Posing of Questions
Roberto Ciuni, Carlo Proietti The Abundance of the Future: A Paraconsistent Approach to Temporal Logic and Indeterminism
Petr Švarný Flow of Time in BST/BCont Models and Related Semantical Observations
Mark Jago Bounded Rationality and Epistemic Blindspots


Thursday, 21 June
morning session

David Makinson Advice to the Relevantist Policeman
Libor Běhounek The Logical Background of Fuzzy Plurivaluationism
Christian Fermüller Formal Rationality Principles in Logical Dialogue Games
Christopher Foster A Tarskian Solution to the Iterated Prisoner’s Dilemma
Lionel Shapiro Contraction-Free Logics and the Hidden Substructure of Read’s Bullet


Friday, 22 June
morning session

Barbara Partee The History of Formal Semantics
Bjørn Jespersen Alleged Assassins and Modal Modifiers
Yue Chen, Ray Jennings The Delicate Beauty of Self-Duality
Paul D. Thorn Cognitivist Probabilism

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