LOGICA 2007

Information

LOGICA 2007 18 - 22 June, 2007 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
	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

Joomla SEF URLs by Artio

Department of Logic

Institute of Philosophy AV ČR