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 2007

18 - 22 June 2007

Hejnice.jpg

Hejnice monastery

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

 

The invited speakers of the conference were

John MacFarlane, Greg Restall, Peter Schröder-Heister, and Stephen Yablo

Yearbook-2007.jpg

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

 

The conference was sponsored by Bernard Family Brewery Humpolec   

 

Program

LOGICA 2007

PROGRAMME

Tuesday, 19 June
>> morning session

Peter Schröder-Heister

Proof-Theoretic Versus Model-Theoretic Consequence

Peter Milne

A Formulation of First-Order Classical Logic in Natural Deduction with the Subformula Property

Sebastian Sequoiah-Grayson

Metasemantic Information and the Scandal of Deduction

Karel Procházka

ω-Inferences and Tarski's Definition of Logical Consequence

Francesca Poggiolesi

A New Definition for the Došen's Principle

>> afternoon session

John Kearns

Illocutionary Origins of Familiar Logical Operator

Martin Pleitz,
Benedikt Paul Göcke and
Hanno von Wulfen

Possible Worlds in Terms of Incompatibility: An Alternative to Brandom's Analysis of Necessity

John Shosky

Talk, Techniques, Graphs, and Truth

Fabrizio Cariani

Disjunctive Obligations

Rafal Urbaniak

Conditional Logics and Tooley's Example

Richard E. Grandy and
Daniel Osherson

A Some-Truth-Value Theory of Conditionals


Wednesday, 20 June
>> morning session

Stephen Yablo

Truth and Aboutness

Federico Marulanda

Dialetheic Truth Theory: Inconsistency, Non-Triviality,
Soundness, Incompleteness

Tuomas E. Tahko

The Metaphysical Status of Logic

Bartosz Wieckowski

Predication in Fiction

Mark C. R. Smith

Epistemic Quarantine: Mathematics, Truth, and Fiction

>> afternoon session

Heinrich Wansing and
Yaroslav Shramko

Suszko's Thesis, Logical Many-Valuedness, and the Notion of a Logical System

Vítězslav Švejdar

Weak Theories and Essential Incompleteness

Alessandro Torza

Possibilia, Rigidity and Semantic Games

Francesca Boccuni

Plural Quantification and Predicative Foundations of Frege's Grundgezetse

James Harrington

Tense Logic in Einstein-Minkowski Space-Time


Thursday, 21 June
>> morning session

Greg Restall

Proof Theory and Meaning: On the "Context of Deducibility"

Nils Kurbis

Harmony, Stability and Pluralism

Jaroslav Peregrin

Logic and Nothing Else

Demetra Christopoulou

How to Deal with Ianus' Face of Natural Numbers?

Vojtěch Kolman

Is Continuum Denumerable?


Friday, 22 June
>> morning session

John MacFarlane

In Defense of Degrees

Jeremy J. Kelly

Frege and Russell on Assertion

Lionel Shapiro

Revenge and Expression

Mark Jago

Knowledge, Content and Rationality

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