volume 9, number 1, 2011
Selected Proceedings
of the SILFS 2010 International Congress
Special issue
edited by Salvatore Roberto Arpaia
Section I. Logic
- J. PITT, J. SCHAUMEIER, M. D’AGOSTINO
- Modelling Resource Allocation in Open Embedded Systems
- A. MURA
- Towards a New Logic of Indicative Conditionals
- L. TESCONI
- Towards isomorphism to natural deduction: a highlighted sequent calculus
- P. MAFFEZIOLI, S. NEGRI
- A proof-theoretical perspective on Public Announcement Logic
- L. FATIGATO
- Fuzzy Sets and Aristotelian principles
- F. BOCCUNI
- Sheep without SOL. The Case of Second-Order Logic
- D. D’ALFONSO
- Generalized Quantifiers: Logic and Language
Section II. History and Philosophy of Mathematics
- A. ROSSI
- Renè Thom: forms, catastrophes and complexity
- A. DRAGO
- The birth of the non-Euclidean geometries as the more significant crisis in the foundations of modern Mathematics
- G. BOSCARINO
- The onto-epistemological background of Archimedes’ Máthema
- M. CASTELLANA, D. RIA
- The “enjeux” of the mathematical infinite
- G. FORMICA
- Almost von Neumann, Definitely Gödel: The Second Incompleteness Theorem’s Early Story
- G. OLIVERI
- Productive Ambiguity in Mathematics
- M. FRIÈND, A. PEDEFERRI
- An Analysis of the Notion of Rigour in Proofs
- A. PEDEFERRI, M. FRIÈND
- Are Mathematicians Better Described as Formalists or Pluralists?
- F. STERPETTI
- Between a bottom-up approach to mathematics and Constructivism
Section III. History and Philosophy of Logic
- F. D’AGOSTINI
- Paradoxes and probable truth
- M. CARRARA, E. MARTINO
- Curry’s Paradox. An Argument for Trivialism
- S. R. ARPAIA
- Paradoxes, Circularity and Learning processes
- L. BELLOTTI
- A note on symbols, syntax and sets
- D. CHRISTOPOULOU
- On a double aspect of natural numbers as abstract objects and universals
- M. MARIANI, E. MORICONI
- Some Remarks on Negation and Quantification in Leibniz’s Logic
- M. BIANCHETTI
- Tarski, Etchemendy And The Manifold Concept Of Logical Consequence
- V. FANO, P. GRAZIANI
- Gödel and the fundamental incompleteness of human self-knowledge
- E. LUCIANO
- Giovanni Vacca’s contributions to the Historiography of Logic
Section IV. History and Philosophy of Physics
- S. KOJMAN-ROZEN
- Time and Emergence in Victorian Scientific Theories: Lyell, Darwin and Maxwell
- M. FORTINO
- Physics and Metaphysics in Pierre Duhem
- S.BORDONI
- Duhem’s pathway to Thermodynamics
- G. MACCHIA
- On the Relational Constitution of Cosmic Spacetime
- C. CALOSI
- Persistence and Change In Minkowski Spacetime
- A. MELAS
- A common cause model for quantum correlations
- C. MAZZOLA
- Becoming and the Algebra of Time
Section V. Philosophy of Biology and Medical Sciences
- M. BENZI
- Medical Diagnosis and Actual Causation
- E. DATTERI
- Prediction and experimental protocols in neuroscience: a case study
- L. BICH, M. MOSSIO
- On the Role of Constraints in the Emergence of Biological Organization
- L. D. DI PAOLO
- Evolutionary Pressures and Environment’s Building
- C. NARDINI
- Saving the Phenomena in Molecular Biology
- L. LORUSSO
- Evolutionary Representations of Biological History
- L. DEL SAVIO
- Life as a Natural Kind
- E. CIANCI
- The role of visualization in the construction of biotechnological knowledge
Section VI. Philosophy of Social and Cognitive Sciences
- G. CEVOLANI
- Hayek in the lab. Austrian School, game theory, and experimental economics
- F. DI IORIO
- Hayek and Merleau-Ponty on Mind and Interpretative Sociology
- F. ERVAS, T. ZALLA
- The role of “Naïve Sociology” in irony comprehension
- A. BONCOMPAGNI
- From the ground to the background. Form of life as “the given” in Wittgenstein
- D. TAGLIAFICO
- Can we really speak of ‘pretend desires’?
- R. GIOVAGNOLI
- Analytic Pragmatism, Artificial Intelligence and Religious Beliefs
- F. BACCHINI
- Mental Causation: A Defence
- S. ZIPOLI CAIANI
- The Embodied Theory of Language: Evidence and Constrains
Section VII. Epistemology
- M. ALAI
- Subjective and Objective Justification in the Solution of Gettier’s Problem
- M. MORGANTI
- Against Ontic Structural Realism
- A. RIVADULLA
- Anticipative Preduction and Automated Scientific Discovery
- M. C. AMORETTI, N. VASSALLO
- Scientific Knowledge: Situatedness and Intersubjectivity without Standpoints
- E. GATTICO
- An Epistemology of Natural Logic to Understand Knowledge
- S. ZAPPOLI
- Benedetto Croce’s Theory of Science
- A. CINTORA
- Brief commentary on Michael Williams’ Criticism of Agrippan Scepticism
- A. VOLPONE
- The problem of induction in the light of contemporary Cognitivism
- L. TAMBOLO
- Scientific Progress,Verisimilitude, and Evidence
- N. ANGIUS
- Software Verification and Scientific Methodology: Models, Regularities, Abstractions