Trends IV Towards Mathematical Philosophy Studia Logica International conference September 1 – 4 , 2006, Toruń, Poland Conference Program Friday, 1st September Opening session (Artus Court, Old Market) 9:30 Opening addresses: Jacek Malinowski, Studia Logica Editor-in-Chief Henryk Domański, Director of the Institute of Philosophy and Sociology, Polish Academy of Sciences Andrzej Tretyn, Prorector of Nicolaus Copernicus University Tadeusz Gadacz, President of Philosophical Committee, Polish Academy of Science Ryszard Wójcicki The philosophical foundations of systems of logical inference 11:00 Coffee break (Collegium Minus, Harmonijka, Fosa Staromiejska 1a) Plenary session: invited lectures, Chairman: Jacek Malinowski, room IX 11:20 J. Czelakowski Infinitistic methods in definition theory 12:00 B. Fitelson Goodman's 'New Riddle': 50 years on 12:40 D. Makinson Logic and probability: an uneasy partnership 13:30 Lunch Friday, 1st September Afternoon sessions: contributed papers Section A Section B Section C Chairman: Gerhard Schurz Chairman: Josep M. Font Chairman: Peter Schröder-Heister room I room IX room 305 15:00 J. Peregrin What is the logic of inference E. Zimmermann Subintuitionistic logics S. Gottwald Toward problems for mathematical fuzzy logic 15:40 B. Hill Towards a sophisticated model of M. Tkaczyk Completeness of the system HW L. Behounek Fuzzy logics interpreted as belief dynamics expressing the cost of knowledge 16:20 E. Pacuit, R. Parikh Knowledge based D. Provijn A goal directed proof procedure K. Misiuna A certain consequence relation obligations: towards an axiomatization for Classical Logic for solving paradoxes of vagueness 17:00 Coffee break 17:20 S. Cursiefen From LOP to LIP and some K. De Clercq A unifying approach to R. Adillon, A. Garcia-Cerdana, V. Verdú way back erotetic reasoning On some classical fragments of t-norm based fuzzy logics 18:00 M. Jago The logic of epistemic possibility F. Poggiolesi A new sequent calculus for S. van der Waart van Gulik A semantics for modal logic fuzzy logics with non-scalar hedges 19:00 A tour through Torun Old Town. We meet at the entrance of Collegium Minus. Saturday, 2nd September Plenary session: invited lectures, Chairman: Hannes Leitgeb, room IX 9:00 H. Wansing Connexive logic with co-implication 9:40 H. Rott Is there a new psychologism in logic? A view from the belief revision paradigm 10:20 A. Avron Non-deterministic semantics for paraconsistent logics 11:00 Coffee break Contributed papers Section A Section B Section C Chairman: David Makinson Chairman: Daniele Mundici Chairman: Alexander Leitsch room I room IX room 305 11:30 B. de Bruin, B. Kooi Two kinds of common D. Batens, P. Verdee Content-guidance in P. Cintula, R. Horcik Weakly implicative knowledge the choice of a logic fuzzy logics over BCK 12:10 A. Pietryga Tarski’s T-scheme as a basis of Z. Kostrzycka, M. Zaionc Asymptotic H. Lycke Entailment: return of the categorial semantics densities in logic and type theory Disjunctive Syllogism 12:50 N. Foo, J. Renz Experience, trust and D. Leszczyńska Loop-free decision P. Błaszczyk An interpretation of Euclid’s reputation procedure for modal logics K4, S4 and S5 axiom “The whole is greater than the part” formulated within the framework of the method of Socratic proofs 13:30 Lunch Saturday, 2nd September Afternoon sessions Plenary session: invited lectures, Chairman: Heinrich Wansing, room IX 15:00 W. van der Hoek Dynamic epistemic logic 15:40 P. Shroeder-Heister Operative logic and proof-theoretic semantics 16:20 G. Schurz The meta-inductivistic justification of induction. A game-theoretical approach to Hume's Problem 17:00 Coffee break Contributed papers Section A Section B Section C Chairman: Hans Rott Chairman: Robert Meyer Chairman: Urszula Wybraniec- room I room IX Skardowska room 305 17:20 J. Woleński An analysis of logical A. Indrzejczak Sequent calculi for weak P. Garbacz The instrumental stit determinism modal logics 18:00 S. Borgo, C. Masolo Semantics and J.M. Font On full adequacy of Gentzen S. Hetzl Comparing mathematical proofs ontology in quantified modal logic systems 19:00 Conference dinner at the House under the star, Old Market Sunday, 3rd September Morning sessions Plenary session: invited lectures, Chairman: Michael Zakharyaschev, room IX 9:00 R. Goldblatt An alternative semantics for quantified modal logics 9:40 R. Murawski Troubles with the (concept of) truth 10:20 Coffee break Contributed papers Section A Section B Section C Chairman: Jan Woleński Chairman: Roman Murawski Chairman: Arnon Avron room I room IX room 305 10:40 D. Batens, J. Meheus An adaptive logic for R. Meyer Flattening the worlds M. Zakharyaschev TBA moral conflicts 11:20 A. Herzig, E. Lorini, N. Troquard, R. D. Porello Applications of non-commutative Jui-Lin Lee On the strong completeness Trypuz The hidden faces of Intention: using logic to linguistics property in predicate logics STIT to discover them 12:00 V.G. Denisova, Yu.V. Nechitaylov An W. Zielonka Cut-rule axiomatization of the T. Jarmużek The logic of Master Argument incompleteness problem related with a way Lambek calculus with the empty string of indirect knowledge representation in the models of basic epistemic logic 12:40 M. Nowicki The logic of St. Anselm’s Y. Miyazaki Kripke incompleteness S. Ju, X. Dai, J. Guo Game-theoretical Proslogion phenomena in NEXT(KTB) semantics for three-valued logic 13:30 Lunch Sunday, 3rd September Afternoon sessions Plenary session: invited lectures, Chairman: Robert Goldblatt, room IX 15:00 H. Leitgeb Applications of logic and mathematics in philosophy: four case studies 15:40 M. Fitting Reasoning with justifications 16:20 Coffee break Contributed papers Section A Section B Section C Chairman: Ventura Verdú Chairman: Wiebe van der Hoek Chairman: Siegfried Gottwald room I room IX room 305 16:40 U. Wybraniec-Skardowska, E. Bryniarski T. Litak Minimal extensions and modal O. Majer, T. Tulenheimo Probabilistic On metaknowledge and truth consequence interpretation of IF logic 17:20 N. Troquard, R. Trypuz, L. Vieu Ontology W. Degen, J. Werner Towards intuitionistic Z. Stachniak Satisfiability and resolution of agency. From modal logics to first-order dynamic logic theories 18:00 E. Zardini Black boxes: the semantics and B. van Gasse, Ch. Cornelis, G. Deschrijver, A. Gheerbrant Increasing the expressive logic of obliterative modalities E. Kerre Triangle logic: a formal logic for power of the Carnap first order modal logic interval-valued residuated lattices C Monday, 4th September Contributed papers Section A Section B Section C Chairman: Branden Fitelson Chairman: Wolfgang Degen Chairman: Tadeusz Litak room I room IX room 305 9:00 A. Avron, J. Ben-Naim, B. Konikowska M. Bilkova Uniform interpolation theorem A. Shimojima What channel theory has to Logics for combining information from in modal logics having arithmetical say about graphical meaning various sources interpretation 9:40 R. Palczewski Fitch’s paradox from a group Ch. G. Fermüller Game based semantics for F. Belardinelli A general proof of Kripke- knowledge point of view Łukasiewicz logic: acquainting Gile’s completeness for quantified modal logics gamblers with Mundici’s Pinocchio 10:20 J. Li, R. Kwok, N. Foo Coherence of P. Muhm Kuratowski’s 14 set theorem – a P. Quinion The intended model of theories – dependencies and weights modal logic view arithmetic. An argument from Tennenbaum’s theorem 11:00 T. Kąkol A formal analysis of selected Sz. Frankowski Many-valued modal logics R. Gruszczyński, A. Pietruszczak Remarks Aquinas’ proofs for the uniqueness of God on Tarski’s geometry of solids 11:40 Coffee break Plenary session: invited lectures, Chairman: Melvin Fitting, room IX 12:00 D. Mundici De Finetti's coherence criterion for Lukasiewicz logic: bookmaking over infinite-valued events 12:40 Closure of the conference Ryszard Wójcicki’s address .