SILFS Società Italiana di Logica e Filosofia delle Scienze SILFS 2010 INTERNATIONAL CONGRESS OF THE ITALIAN SOCIETY FOR LOGIC AND PHILOSOPHY OF SCIENCE University of Bergamo Piazzale Sant’Agostino, 2 Bergamo - Italy 15 – 17 December 2010 WEDNESDAY 15 DECEMBER 2010 Sala Conferenze, S.Agostino 9.00 – 10.30: Registration 10.30: Opening of the Congress 10.30 – 10.45: Welcome of the SILFS Scientific Committee 10.45 – 11.45: Plenary Session 1: Peter Janich, A Methodical Theory of Emergence 11.45 – 12.45: Plenary Session 2: Samir Okasha, Title to be announced 12.45 – 14.30: Break 14.30 – 15.30: Plenary Session 3: Samson Abramsky, Bell's Theorem And The Logic Of Locality 15.45 –17.00: Parallel Sessions LOGIC AND APPLICATIONS PHILOSOPHY OF PHILOSOPHY OF EPISTEMOLOGY AND METHODOLOGY AND EPISTEMOLOGY OF 1 BIOLOGY AND PHYSICAL AND THE HISTORY OF PHILOSOPHY OF SOCIAL SCIENCES 1 (Chair: M. D’Agostino, R.Giuntini) COGNITIVE SCIENCES 1 MATHEMATICAL SCIENCE 1 SCIENCE 1 (Chair: E. Di Nuoscio, R. Festa) (Chair: G. Bocchi, G. Boniolo) SCIENCES 1 (Chair: E. Giannetto, S. Gozzano) (Chair: M. Buzzoni, E. Fano) (Chair: M. Dorato, G. Tamburrini) F. D'AGOSTINI Paradoxes and G. TAMBURRINI Intent reading M. GIUNTI Decomposing F. BEVILACQUA Storia e M. GHINS van Fraassen’s views C. LISCIANDRA On the probable truth in brain to machine dynamical systems significato del Principio di on representation: a new challenge emergence of descriptive norms communication: methodological Conservazione dell’Energia: un to scientific realism? H. FREYTES The algebraic and ethical reflections P. CANTÙ Grassmann's ritorno ai classici E. ATUKEREN Causality-in- approach to quantum computation epistemology: multiplication and M. MORGANTI Is there a variance: new insights into L. DAMIANO, L. CANAMERO constructivism C. ALUNNI, The diagram: proof compelling argument of ontic economic and social processes M.L. DALLA CHIARA, R. Grounding the synthetic by image structural realism? GIUNTINI The standard disk √' methodology: an epistemological G. BOSCARINO The onto- quasi-MV algebra is not finitely framework for the synthetic epistemological background of axiomatizable exploration of life and cognition Archimedes’ mathema F. LONGY Selection and drift as causes: how to analyse the role of chance in biological evolution 17.00 –17.30: Coffee Break Official Languages of the Congress: Italian, English, French WEDNESDAY 15 DECEMBER 2010 (follows) 17.30 –19.00: Parallel Sessions LOGIC AND PHILOSOPHY OF PHILOSOPHY OF EPISTEMOLOGY AND METHODOLOGY AND LOGIC AND APPLICATIONS 2 BIOLOGY AND PHYSICAL AND THE HISTORY OF PHILOSOPHY OF APPLICATIONS 2 BIS (Chair: M. D’Agostino, R.Giuntini) COGNITIVE SCIENCES 2 MATHEMATICAL SCIENCE 2 SCIENCE 2 (Chair: M. D’Agostino, (Chair: G. Bocchi, G. Boniolo) SCIENCES 2 (Chair: E. Giannetto, S. Gozzano) (Chair: M. Buzzoni, E. Fano) R.Giuntini) (Chair: M. Dorato, G. Tamburrini) F. PAOLI A non-classical theory of M. MAMELI On moral G. OLIVERI Object, structure, M. SCHRENK Ernst Mach on the J. KATZAV The reality of climate G. TERZIAN On the structural conditionals information judgement as a psychological kind and form Self: The Deconstruction of the models (dis)similarities between set theory Ego as an Attempt to avoid and semantics D. PORELLO Resource allocation M. MACLEOD Inspired by Mill: R. ARPAIA Incompleteness Solipsism A. RIVADULLA Anticipative in Substructural logics an epistemic conception of natural theorems and modelization of Preduction. A Deductive M. PIAZZA, G. PULCINI kinds for the Life Science learning processes S. BORDONI From analytic Discovery Practice in Theoretical Disentangling Truth from C. CASADIO, M. SADRZADEH mechanics to energetics: Duhem’s Physics Undecidability. Another look at Cycling logic and natural language: S. ZIPOLI CAIANI A. PEDEFERRI, M. FRIEND Are early steps towards complexity incompleteness. a cross-linguistic analysis Epistemological considerations Mathematicians Better Described D. PORTIDES, A. concerning the modularity of as Formalists or Pluralists? G. FERRARO The rise of analysis RAFTOPOULOS Representation D. GAYTÁN A paraconsistent non M. CASU Towards a notion of type- mind. as an autonomous mathematical and Explanatory Power monotonical model of explanation checking for the natural language V. ALLORI What does quantum discipline in eighteenth century for philosophy of science S. IOANNIDIS Population mechanics tells us about time? Genetics and Evolutionary F. FERRARI, E. ORLANDELLI L. BELLOTTI On some Developmental Biology Moderate neo-Mooreanism consistency proofs for fragments of arithmetic THURSDAY 16 DECEMBER 2010 9.00 – 10.00: Plenary Session 4: Stathis Psillos, Making contact with Molecules: On Perrin’s argument for realism 10.15 – 11.15: Parallel Sessions LOGIC AND PHILOSOPHY OF PHILOS. OF PHYSICAL EPISTEMOLOGY AND METHODOLOGY AND EPISTEMOLOGY OF APPLICATIONS 3 BIOLOGY AND AND MATHEMATICAL THE HISTORY OF PHILOSOPHY OF SOCIAL SCIENCES 3 (Chair: M. D’Agostino, R.Giuntini) COGNITIVE SCIENCES 3 SCIENCES 3 SCIENCE 3 SCIENCE 3 (Chair: E. Di Nuoscio, R. Festa) (Chair: G. Bocchi, G. Boniolo) (Chair: M. Dorato, G. Tamburrini) (Chair: E. Giannetto, S. Gozzano) (Chair: M. Buzzoni, E. Fano) C.GAROLA Recovering quantum G. BATTILOTTI A computational T. ARRIGONI On sets and infinite G. GIANNINI The deviation of K. KARAKA Ad hocness and P. MANTOVANI Could Santa logic within an extended classical model from quantum logic sets falling bodies: an experimental Higgs mechanism Claus be a god? The cognitive framework compared with Matte Blanco’s bi- proof of the earth’s rotation. The science of religion logic. G. MACCHIA On the relational case of Bergamo A. CINTORA Brief commentary A. LEDDA The algebraic structure constitution of the cosmological on Michael Williams’ criticism of A. CORRADINI The of an approximately universal S. CAIANIELLO On the rise and spacetime M. ARCANGELI Urban Legends Agrippan scepticism epistemological status of empathy system of quantum computational scope of the notion of modularity About Thought Experiments in the human sciences gates in the life sciences M. FRIEND, A. PEDEFERRI An N. ANGIUS Model checking and A. PORTA <<La Fisica del analysis of the notion of rigour in scientific methodology: models, C. GRASSENI Responsible NoN>>. A logical-linguistic G. SERGIOLI Representing G. PIREDDA Extended mind and proof regularity and idealization innovation: co-research as a socio- continuous t-norms in quantum belief conception: a critical theory of Negation scientific methodology of computation with mixed sates assessment ethnographic enquiry 11.15 – 11.45: Coffee Break 11.45 – 12.45: Parallel Sessions LOGIC AND PHILOSOPHY OF PHILOS. OF PHYSICAL EPISTEMOLOGY AND METHODOLOGY AND EPISTEMOLOGY OF APPLICATIONS 4 BIOLOGY AND AND MATHEMATICAL THE HISTORY OF PHILOSOPHY OF SOCIAL SCIENCES 4 (Chair: M. D’Agostino, R.Giuntini) COGNITIVE SCIENCES 4 SCIENCES 4 SCIENCE 4 SCIENCE 4 (Chair: E. Di Nuoscio, R. Festa) (Chair: G. Bocchi, G. Boniolo) (Chair: M. Dorato, G. Tamburrini) (Chair: E. Giannetto, S. Gozzano) (Chair: M. Buzzoni, E. Fano) I. HANNIKAINEN Might- C. BROZZO Action (goals) in (the C. CALOSI Persistence and T. NUMERICO John von L. TAMBOLO The D. RIZZA Applied mathematics in counterfactuals and the principle of content of) perception Change in Minkowski Spacetime Neumann: doubts on mathematical Verisimilitudinarian versus the social choice theory conditional excluded middle rigor and on digital representation Epistemic Approach to Scientific F. BACCHINI Mental causality: a G. USTORI Gödel and Progress G. LO DICO The puzzle of verbal P. MAFFEZIOLI, S. NEGRI A defence transcendental phenomenology G. GHERARDI Alan Turing and reports in cognitive psychology Gentzen-style analysis of Public the foundations of computable A. BORGHINI, M. NATHAN Announcement Logic E. TALPSEPP Psychological F. STERPETTI On constructivism analysis Diachronic identity in biology and essentialism vs. evolutionary and bottom-up conception of philosophy R. BRUNI, P. SCHUSTER On theory. Introducing different mathematics K. KRZYZANOWSKA Belief Beppo Levi's Approximation notions of 'essence' ascription and the Ramsey Test Principle 12.45 – 14.30: Break THURSDAY 16 DECEMBER 2010 (follows) 14.30 – 16.15: Parallel Sessions LOGIC AND PHILOSOPHY OF PHILOS. OF PHYSICAL EPISTEMOLOGY AND METHODOLOGY AND EPISTEMOLOGY OF APPLICATIONS 5 BIOLOGY AND AND MATHEMATICAL THE HISTORY OF PHILOSOPHY OF SOCIAL SCIENCES 5 (Chair: M. D’Agostino, R.Giuntini) COGNITIVE SCIENCES 5 SCIENCES 5 SCIENCE 5 SCIENCE 5 (Chair: E. Di Nuoscio, R. Festa) (Chair: G. Bocchi, G. Boniolo) (Chair: M. Dorato, G. Tamburrini) (Chair: E. Giannetto, S. Gozzano) (Chair: M. Buzzoni, E. Fano) D. D'ALFONSO Generalized B. SWIATCZAK Ontological A. MELAS A common cause S. RIVARA Truth in predication? S. JAYADEVAN Is 'Being' is F. DI IORIO Hayek and Merleau- Quantifiers: Logic and natural autonomy of biological states model for quantum co-relations dependent on 'Describing'? an Ponty on mind and action language S. D’AGOSTINO,The original entity realist perspective on A. SOJIC Explanatory role of the G. TARZIU pure versus applied Schroedinger.'s paper on the poor internal realism. G. CEVOLANI Hayek in the lab. J. BRENNER The Logic of Change classificatory units in clinical and mathematics cat's paradoxical situation Austrian School, game theory, and biomedical knowledge D. PORTIDES, A. experimental economics L. TESCONI Towards an representation G. TORRENGO Time travel, M. FORTINO Physics and RAFTOPOULOS representation isomorphism with natural individuals, and the space-time- Metaphysics in Pierre