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 <
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 Duhem and explanatory power R. GIOVAGNOLI Analytic deduction: a labelled sequent F. ERVAS, T. ZALLA The role of actuality manifold pragmatism, artificial intelligence calculus “Naïve Sociology” in ironic vs. M. MARIANI, E. MORICONI A. M. NOUNOU, F. A. MULLER and religious beliefs literal utterances understanding A. DRAGO The birth of the non- Negation and quantification in Scientific understanding without L. PAVONE Countermeasures for euclidean geometries as the more Leibniz explanation: A proposal based on Barcan formulas E. SERRELLI Models in significant crisis in the five models of the solar system philosophy of biology: a foundations of modern M. ALAI A partially externalist C. CROSS Conclusive Reasons and pragmatic approach mathematics notion of justification as a solution Epistemic Closure to Gettier’s problem B. SCHMIETOW Against Life as a natural kind - a historical and epistemological analogy
16.15 – 16.45: Coffee Break THURSDAY 16 DECEMBER 2010 (follows)
16.45 – 19.00: Parallel Sessions LOGIC AND PHILOSOPHY OF PHILOS. OF PHYSICAL EPISTEMOLOGY AND METHODOLOGY AND PHILOSOPHY OF APPLICATIONS 6 BIOLOGY AND AND MATHEMATICAL THE HISTORY OF PHILOSOPHY OF BIOLOGY AND (Chair: M. D’Agostino, R.Giuntini) COGNITIVE SCIENCES 6 SCIENCES 6 SCIENCE 6 SCIENCE 6 COGNITIVE SCIENCES 6 (Chair: G. Bocchi, G. Boniolo) (Chair: M. Dorato, G. Tamburrini) (Chair: E. Giannetto, S. Gozzano) (Chair: M. Buzzoni, E. Fano) BIS (Chair: G. Bocchi, G. Boniolo)
M. FEDEL, H. HOSNI, F. L. DEL SAVIO Life as a natural M. FARR The Role of the D. CRIPPA Solving or Dissolving E. SACCHI Can emergentism T. BRUNI Cross culturality and MONTAGNA Probabilistic kind Metaphysics of Time Direction in Problems? Two case studies from account for novelty in a strong FMRI: why we should stop using reasoning about second order the Past Hypothesis the History of Mathematics ontological sense? the university student as a model probability: A logical M. TACCA Does structure matter organism characterization for content? F. BOCCUNI Sheep Without L. BAZZOCCHI Contro M. IVANOVA Can theory virtues SOL: The Case of Second-Order l’interpretazione acrobatica della solve the problem of theory C. NARDINI The role of J. PITT, H. CARR, M. P. GRAZIANI How subtle are Logic scala di Wittgenstein choice? quantitative experiments in D'AGOSTINO Resource-bounded gödelian arguments? contemporary biology reasoning about resource allocation R. DISALLE Explanation, S. KOJMAN-ROZEN Changes in W. DEMOPOULOS Extending policies L. BICH, M. MOSSIO On the explication, and interpretation of the Perception of Time in “empiricism, semantic and M. CAPPUCCIO Handling with Role of Constraints in the space-time theories Victorian Scientific Theories: ontology” to the realism- Symbols. Joint Attention and the G. CONTE Structures for classical Emergence of Biological Lyell, Darwin and Maxwell instrumentalism controversy Extended Mind objects in categorial semantics for Organization D. CHRISTOPOULU On a double quantum information flow aspect of natural numbers as E. LUCIANO I contributi di G. L.D. DI PAOLO Environmental P.-L. GERMAIN The conditions universals and objects Vacca alla storiografia della pressures and building of M. CARRARA, S. GAIO, E. for epistemic emergence in Logica environment MARTINO How dialetheism avoids biomedical sciences C. MAZZOLA Becoming and the trivialism Algebra of Time information A. ROSSI René Thom: forms, E. DATTERI Spiegazione, leggi e L. BARLASSINA Simulation is catastrophes and complexity modelli nelle neuroscienze: un F. POGGIOLESI Analytic logic of not enough. A hybrid model of G. DOMENECH, H. FREYTES, caso di studio information proofs disgust attribution C. DE RONDE The notion of possibility in the modal and many L. LORUSSO New meanings of D. PROVIJN Relevance, anomaly worlds interpretation of quantum old concepts: the case of common and heuristics in the generation of mechanics ancestry abductive explanations.
20.30: Social Dinner FRIDAY 17 DECEMBER 2010
9.00 – 10.00: Plenary Session 5: Amit Hagar, Counting steps: a new, finitist, and objective interpretation of probability in physics
10.15 – 11.30: Parallel Sessions LOGIC AND PHILOSOPHY OF PHILOS. OF PHYSICAL EPISTEMOLOGY AND METHODOLOGY AND EPISTEMOLOGY OF APPLICATIONS 7 BIOLOGY AND AND MATHEMATICAL THE HISTORY OF PHILOSOPHY OF SOCIAL SCIENCES 7 (Chair: M. D’Agostino, R.Giuntini) COGNITIVE SCIENCES 7 SCIENCES 7 SCIENCE 7 SCIENCE 7 (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)
S. L. UCKELMAN Reasoning P. MAUGERI, A. BLASIMME B. LARVOR What can Toulmin G. FORMICA Almost von M. C. AMORETTI, N. C. MARTINI The role of experts about obligations: meta- Causal analogue models: dealing teach us about mathematical Neumann, definitely Gödel. The VASSALLO Scientific in the methodology of economics disputational reasoning in medieval with disease causation in inferences? 2nd Incompleteness Theorem’s knowledge: situatedness and Obligationes treatises empirical ways early story intersubjectivity without N. GAJ Clinical psychology and A. CIAUNICA Higher- and standpoints its methodological roots: between M. PANZARELLA Semantic game- E. CIANCI The role of Lower-Level Phenomena: a B. THALIATH Nature of spatial monism and dualism theory, independent logic and visualization in the construction Nonhierarchical Approach to intuitions in early modern B. NANAY Singularist ethical sentences of biotechnological knowledge Fundamental Properties mechanics and optics semirealism
A. MURA Towards a new logic of F. GROSS The limits of M. ESKANDARI Causal S. ZAPPOLI Benedetto Croce’s A. ABERDEIN Francis Bacon, indicative conditionals mechanistic explanation in Interpretation of Quantum Theory of Science prerogative instances, and molecular biology Mechanics in Kuhn’s Paradigm argumentation schemes
11.30 – 12.00: Coffee Break
12.00 – 13.00: Parallel Sessions LOGIC AND PHILOSOPHY OF PHILOS. OF PHYSICAL EPISTEMOLOGY AND METHODOLOGY AND EPISTEMOLOGY OF APPLICATIONS 8 BIOLOGY AND AND MATHEMATICAL THE HISTORY OF PHILOSOPHY OF SOCIAL SCIENCES 8 (Chair: M. D’Agostino, R.Giuntini) COGNITIVE SCIENCES 8 SCIENCES 8 SCIENCE 8 SCIENCE 8 (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)
M. BIANCHETTI Logical M. BENZI Medical diagnosis and L. FELLINE Scientific L. GUZZARDI How models “can A.VOLPONE The problem of D: TAGLIAFICO Can we really consequence and variation actual causation Explanation between Principle serve two masters”: Schiaparelli’s induction in the light of speak of “pretend desires”? and Constructive theories geometric theory of evolution contemporary Cognitivism L.FATIGATO Fuzzy logic and the S. GIAIMO The antagonistic A. BONCOMPAGNI From the meaning of Aristotelian principles peyotropy theory of ageing M. COMETTO The riemannian E. BOUGLEUX, When the A. CEI The Epistemic Structural ground to the background. Forms turn in the conception of space observer becomes an actor Realist Program on scientific of life as “the given” in R. CIUNI, C. PROIETTI The M. FASOLI On the relations changes. Some interference Wittgenstein abundance of the future: a between binding-problem and M. TOSCANO Poincaré and paraconsistent approach to temporal consciousness determinism E. DI BONA what Mary learns: logic and indeterminism. phenomenal concept and abilities
13.00 – 15.00: Break FRIDAY 17 DECEMBER 2010 (follows)
15.00 – 16.30: Round Panel “SCIENCE AND DEMOCRACY”
Opening: Prof. Mauro Ceruti (President of SILFS)
Chair: Prof. Gianluca Bocchi (University of Bergamo)
Panel Discussant: Prof.ssa Maria Luisa Dalla Chiara (University of Florence) Prof. Giulio Giorello (University of Milan) Prof. Silvano Tagliagambe (University of Sassari)
16.30 – 17.00: Break
17.00 – 18.30: Round Panel “EDUCATION AND INNOVATION”
Chair: Prof. Stefano Paleari (Rector, University of Bergamo)
Panel Discussant: Prof. Giovanni Boniolo (University of Milan, IFOM) Prof. Alberto De Toni (University of Udine) Dott. Alberto Meomartini (Presidente of Assolombarda) Dott.ssa Livia Pomodoro (President of the Law Court of Milan) Prof. Giovanni Puglisi (Rector, IULM University IULM - Milan)
Closure: Prof. Mauro Ceruti (President of SILFS)
18.30: End of the Congress