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

Hejnice.jpg

Hejnice monastery

The 29th in the series of annual international symposia devoted to logic, was held at Hejnice, 15 - 19 June 2015

 

The invited speakers of the conference were

Patricia Blanchette, Walter Carnielli, Melvin Fitting, and Peter Milne

image.png

Selected contributions to the conference were published in P. Arazim, M. Dančák (eds.): The Logica Yearbook 2015

 

The conference was sponsored by Bernard Family Brewery Humpolec   

 

Program

 

LOGICA 2015 Programme

 

Tuesday, June 16

morning session

 M. Fitting  Justification Logics
 I. Sedlár  Awareness and Epistemic Access
 M. Pleitz  Foundation and Paradox
 S. Florio and G. Leach-Krouse   Burali-Forti and Indefinite Extensibility
 A. Klev  A Simple Solution to the Miners Paradox

 

afternoon session

 P. Lupkowski  Dependency of Questions in Tutorial Dialogues
 K. Šebela  Internal Negation and Sortal Quantification
 T. Schindler  A Graph-theoretic Analysis of the Semantic Paradoxes
 V. Punčochář  Algebras of Information States
 K. Bartz, R. J. Munro, R. Jennings and Y. Chen  Self-dual Propositions and Leibnizian Analysis

 

Wednesday, June 17

morning session

 P. Blanchette  Models and Independence circa 1900
 J. M. Castro-Manzano  From Diagrammatic to Mechanical Reasoning: the Case of Syllogistic
 J. Peregrin  Incompatibility and Inference as Bases of Logic
 U. Hlobil  A Sequent Calculus for Logical Expressivist Inferentialists
 J. Kearns  The Larger Logical Picture, Three Categories of Illocutionary Acts, and Three  Types of Argument or Derivation

 

afternoon session

 H. Omori  Remarks on Many-valued Approach to Modality
 L. Běhounek and V. Novák  Fuzzy Partial Logic: Combining Graduality and Undefinedness
 P. Cintula and C. Noguera  Two-layer Modal Logics: Formalism and Applications
 C. Fermüller  Game Semantics for Vague Quantifiers
 R. Marrano  'More or Less True Than' and Order-based Semantics

 

Thursday, June 18

morning session

 W. Carnielli  An Epistemic Approach to Paraconsistency: A Logic of Evidence and Truth
 A. Přenosil  Consistency, Completeness, and Classicality
 Z. Weber  On Paraconsistent Downward Lowenheim-Skolem Theorems

 

Friday, June 19

morning session

 P. Milne  Classical Logic Through the Looking Glass
 L. Picollo  Reference and Disquotational Truth
 P. Švarný  Barbour Temporal Logic

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