July 2011 Part 2 : July 19th-26th 2011 CLMPS14 Congress
Sunday 17th – Tuesday 26th July 2011
International Congress of Logic Philosophy and Scientific Method NANCY France.
See Details of Program at
The Following Parts of The Congress were recorded :
DAY ONE : Tuesday 19th JULY 2011
No Recordings made but see Links to Abstracts/Slides/Notes/Transcripts or other related
material for the following Talks
(To Be Added)
—oOo—
DAY TWO : Wednesday 20th JULY 2011
The Following parts of the Program for Day Two were recorded
SYMPOSIUM of The ASSOCIATION FOR THE PHILOSOPHY OF MATHEMATICAL
PRACTICE
Day One : 20th July 2011 PM Session : The Following talks within this Special Symposium were recorded :
Introductory Remarks to the PM Session by Jessica CARTER
Recording of Talk
—oOo—
Talk by Jemma LORENAT : Kronecker’s Constructs (and his “Constructivism”)
Click here for Recording Click here for slides or other related material
—oOo—
Talk by Javier LEGRIS : Peirce’s Diagrammatic Reasoning : Symbolic knowledge in Peirce’s existential graphs
Click here for Recording Click here for slides or other related material
—oOo—
Talk by Benedikt LOWE :
The Interface between The Philosophy of Mathematics and The Empirical Study of Mathematical Practice
Click here for Recording Click here for slides or other related material
—oOo—
Talk by Danielle MacBETH : Proof and Understanding in Mathematical Practice.
Click here for Recording Click here for slides or other related material
—oOo—
Talk by Andrew ABERDEIN : Explanation and Argument in Mathematical Practice
Click here for Recording Click here for slides or other related material
—oOo—
Talk by M. MUNTSERBJORN : Real Relations Amongst Possible Objects
Click here for Recording Click here for slides or other related material
—oOo—
Talk by Jairo de SILVA : The Applicability of Mathematics as a Philosophical Problem
Click here for Recording Click here for slides or other related material
—oOo—
Round Table and General Discussion
—oOo—
20th July 2011 SECTION § C5 of CONGRESS : PHILOSOPHY OF PHYSICS
PM TALKS 20th JULY 2011 : The following talks within this Section were recorded
4:35 pm : Talk by Christian WUTHRICH :
Structuralism about Spacetime Structure and its re-conceptualisation in
Quantum Gravity : A Structuralist Perspective on Causal Set Theory
Click here for Recording Click here for slides or other related material
—oOo—
5:05 pm : Talk by Michael TAMIR : General Relativity and Geodesic Universality
Click here for Recording Click here for slides or other related material
—oOo—
5:35 pm : Talk by Merko URSIC : Paradoxes of Transfinite Cosmology
Click here for Recording Click here for slides or other related material
—oOo–
DAY THREE : Thursday JULY 21st 2011
The Following parts of the Program for Day Three were recorded
SYMPOSIUM of The ASSOCIATION FOR THE PHILOSOPHY OF MATHEMATICAL PRACTICE Day Two :
Organisers : Jose FERREIROS, Paolo MANCOSU
10:30 am to 1:00 PM
Introductory Lecture by Tom ARCHIBALD : Fundamental Mathematical Objects in the late Nineteenth Century : A New Look
Link to Recording
—oOo—
Talk by Ken MANDERS : Human Agency and Mathematical Reasoning
Link to Recording
—oOo—
Talk by Brendan LARVOR : Propositional reasoning and sociological
Link to Recording
—oOo—
Talk by Valeria GIARDING : Nonpropositional reasoning and cognitive aspects
Link to Recording
—oOo—
Talk by Dirk SCHLIMM : Symbolic reasoning and historical aspects of mathematical practice.
Link to Recording
—oOo—
Recordings of 21st July 2011 Section § C5 : The Philosophy of Physics :
On 21st JULY 2011 the following Talks in this Section of the Congress were recorded :
10:30 am : Pandora HADZIDAKI : Bohr’s Model of The Atom : Methodology, consistency and fruitfulness
Link to recording
Link to speaker’s overheads
—oOo–
11:00 am : Albert SOLE : Bohmian mechanics without wave function ontology
Link to Recording
Link to speakers overheads
—oOo—
11:30 am : Inaki SAN PEDRO : Causal relevance of mesurement operations in the EPR paradox
Link to Recording
Link to speakers overheads
—oOo—
12:00 pm : F.A. MULLER : Circumveiloped by obscuritads
Link to Recording
Link to speakers overheads
—oOo—
12:30 pm : Lev VAIDMAN : The past of a quantum particle
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
Section § A1 : Mathematical Logic : On 21st JULY 2011 the following Talks in this Section of the Congress were recorded :
11:30 am : Jaime GASPAR : Copies of Classical Logic within Intuitionsitic Logic
Link to Recording
Link to speakers overheads
—oOo—
12:00 pm : Valery KHAKANIAN : Properties of universes in realizability models for intuitionsitic set theory and its corollaries
Link to Recording
Link to speakers overheads
—oOo—
2:15 pm : Justin MOORE : The Proper Forcing Axiom
Link to Recording
Link to Speakers Overheads
—oOo—
3:15 pm : Riccardo BRUNI and Peter SCHUSTER : Approximating Beppo Levi’s principio di approssimazione
Link to Recording
Link to speakers overheads
—oOo—
3:45 pm : Michael ARNDT and Laura TESCONI : Constructing a proof-tree : An investigaton on the composition of derivations.
Link to Recording
Link to speakers overheads
—oOo—
4:35 pm : Joseph S. MILLER : Beyond the Turing Degrees : Non-diagonalizability and Universal randomness
Link to Recording
Link to speakers overheads
—oOo—
5:35 pm : Paulo OLIVA : Godel’s functional interpretation of classical arithmetic and analysis (The “Dialectica” Interpretation)
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
Section § A2 : Philosophical Logic : On 21st JULY 2011 the following Talks in this Section of the Congress were recorded :
Section § A2 : (First 2 talks were in Subsection on History of Logic)
2:15 pm : Mateusz RADZKI : Non-Fregean Logic and Ludwig Wittgenstein’s early insight into the application of logic.
Link to Recording
Link to speakers overheads
—oOo—
2:45 pm : Ioan SCHEAU : The errors of Bertrand Russell.
Link to Recording
Link to speakers overheads
—oOo—
3:45 pm : ( In Section § A2 : Philosophical Logic)
Peter VERDEE : Towards a non-monotonic mathematics : Adaptive logic theories as a pragmatic foundation for mathematics
Link to Recording
Link to speakers overheads
—oOo—
4:35 pm – 7:05 pm : Symposium on Hyperintension, Intension and Extension
(organisers : Marie DUZI, Bjorn JESPERSEN and Pavel MATERNA)
Talks by :
Roussanka LOUKANOVA : Algorithmic intensionality and underspecification of verb-phrase ellipsis
Link to Recording
Link to speakers overheads
—oOo—
Mario DUZI : Towards an extensional calculus of hyperintensions
Link to Recording
Link to speakers overheads
—oOo–
Jens Christian BJERRING : Non-ideal epsitemic spaces
Link to Recording
Link to speakers overheads
—oOo—
Bjorn JESPERSEN : Proposition, procedure, predication
Link to Recording
Link to speakers overheads
—oOo—
Sebastian SEQUOIAH-GRAYSON : Logical hyperintensioonality : from consequences to actions
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
Section § A3 : Logic and Computation : On 21st JULY 2011 the following Talks in this Section of the Congress were recorded :
10:30 am : Roy DYCKHOFF : Cut-elimination, substitution and normalisation
Link to Recording
Link to speakers overheads
—oOo—
11:00 am : Michal KRYNICKI, Jerzy TOMASIK and Konrad ZDANOWKI :
Logical properties of finite arithmetics.
Link to Recording
Link to speakers overheads
—oOo—
11:30 am : Giuseppe PRIMIERO : Modal types and their procedural semantics for contextual computing
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added.
—oOo—
Section § B1 : Methodology and Scientific Reasoning : On 21st JULY 2011 the following Talks in this Section of the Congress were recorded :
10:30 am – 1:00 pm : SYMPOSIUM within Section §B1 of The Congress : METHODOLOGY and SCIENTIFIC REASONING
SYMPOSIUM ON INTEGRITY and DIVERSITY OF TRADITIONS AND TRENDS IN TODAY’s PHILOSOPHY OF SCIENCE
(Organiser : Andrei RODIN)
Talks by
Hourya BENIS-SINACEUR : Jean Cavailles and the Philosophy of Concept
Link to Recording
Link to speakers overheads
—oOo—
Elena MAMCHUR : Should the role of epistemology in the philosophy of science be reconsidered ?
Link to Recording
Link to speakers overheads
—oOo—
Jonathan REGIER : Representing a Relationship : The historical and the philosophical in the history and philosophy of science
Link to Recording
Link to speakers overheads
—oOo—
Andrei RODIN : Translation versus Formalisation
Link to Recording
Link to speakers overheads
—oOo—
Jean-Jacques SZCZECINIARZ : The French School (lAUTMANN AND CAVAILLES)and the diversity of traditions in the current philosophy of science, with particular attention to issues in the philosophy of mathematics
Link to Recording
Link to speakers overheads
—oOo—
End of Symposium
—oOo—
Further recording within Section B1 on 21st July 2011 :
6:35 pm : Kevin ZOLLMAN and Erich KUMMERFELD : Conservatism in scientific reserach : A new problem
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
SPECIAL SESSION ON QUANTUM INFORMATION THEORY and INFORMATION –
THEORETICALLY INSPIRED APPROACHES TO THE INTERPRETATION OF QUANTUM THEORY :
CONCEPTUAL ISSUES AND NEW TECHNOLOGICAL DEVELOPMENTS
The Following recordings were made of Talks in this Special Symposium :
Hans BRIEGEL : Simulation, Computation and Physics – What can we learn about the World ?
Link to Recording
Link to speakers overheads
—oOo—
Jeffrey BUB : Einstein and Bohr meet Alice and Bob
Link to Recording
Link to speakers overheads
—oOo—
Robert SPEKKENS : The Invasion of Physics by Information Theory
Link to Recording
Link to speakers overheads
—oOo—
Mark ZUROWSKI : Bell’s Theorem and EPR correlatons : the issue, the triumph of the scientific method, misinterpretations and practical applications.
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
SPECIAL SESSION ON THE PHILOSOPHY OF MATHEMATICS TODAY
(Within Section § C1 : Logic, Mathematics and Computer Science)
The Following recordings were made of Talks in this Session of the Congress
2:15 pm : Carlo CELLUCCI : The Philosophy of Mathematics : Making A Fresh Start
Link to Recording
Link to speakers overheads
—oOo—
3:15 pm : Petros STEFANEAS and Ioannis M. VANDOULAKIS : Proofs as spatio-temporal processes
Link to Recording
Link to speakers overheads
—oOo—
3:45 pm : Fabio STERPETTI : Towards a non-adaptationist approach to mathematics.
Link to Recording
Link to speakers overheads
—oOo—
Recordings to be added
—oOo—
DAY FOUR : Friday JULY 22nd 2011
The Following parts of the Program for Day Four were recorded
Within Section § A1 : Mathematical Logic : on Friday 22nd July 2011 the following Talks in this Section of the Congress were recorded :
12:00 pm : Taishi KURAHASHI : On Kripke Frames and arithmetical interpretations for QGL
Link to Recording of Talk (incomplete)
Link to speakers overheads.
—oOo—
2:15 pm : Talk by P. SPEISSEGER : On The Solution of Equations through techniques in Model Theory
(With remarks on The o-minimality Program)
Link to speakers overheads
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Section § A2 : Philosophical Logic : on Friday 22nd July the following Talks within this Section of the Congress were recorded :
4: 35 – 7:05 pm : Symposium on The Meaning of Axioms : From Mathematics to Logic
Recordings of Talks by
Denis BONNAY : Extending Theories : Why and How Ontology Matters
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Gilles DOWEK : The impact of Automated theorem proving on proof
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Alexandre MIQUEL : Krivine’s theory of classical realisability : a genuine alternative to the Brouwer – Heyting – Kolmogorov interpretation of proofs
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Alberto NAIRO Paolo MAFFEZIOLI and Sara NEGRI : Fitch’s paradox in the light of structural proof theory
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Mattia PETROLO and Thomas SEILLER : On the meaning of logical axioms
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Samuel TRONCON : The social meaning of axioms
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Section § B3 : Historical aspects in The Philosophy of Science : on Friday 22nd July the following Talks within this Section of the Congress were recorded :
10:30 am – 1:00 pm : SYMPOSIUM on Confronting The French Roots of Current Historical Epistemologies
(Organiser : David BARQUIN)
The following Talks in this Symposium were recorded :
Cristina CHIMISSO : Life, Health and History : a re-assessment of George Canguilhem’s concept of the normal state
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Maarten VAN DYCK : Alexandre Koyre : Hegelian
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Katherina KINZEL : Wartofsky’s historical epistemology and the critique of philosophical problems
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
David BARQUIN : Mathematical style in Giles Gaston Granger and what can be done with it.
Link to Recording
Link to speakers overheads or Notes of talk
—oOo—
Paolo SAVOIA : Curent historical epistemology and the history of the human sciences.
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Section § C 1 : Logic, Mathematics and ComputerSciences : on Friday 22nd July the following Talks within this Section of the Congress were recorded :
2:15 – 4:15 pm : SYMPOSIUM : Are Aesthetic Approaches in Philosophy of Mathematics topical ?
(Organiser : Caroline JULIEN)
The Following Talks in this Symposium were recorded :
Roger POUIVET : Is the expression “mathematical beauty” only a metaphor ?
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Maria Giulia DONDERO : Necessity in works of Art and in the Sciences
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Caroline JULIEN : The role of mathematics in the history of aesthetics
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Francesca BOCCUNI : Plural logicism
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
FURTHER PM Talks in Section § C1 : Logic, Mathematics and Computer Science
4:15 – 6:35 pm Session Chair : Tom ARCHIBALD
Andrea SERENI and Marco PANZA : On the indispensable premises of indispensability arguments
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Min TANG : Ontology without abstract objects : A naturalistic defence of revolutionary mathematical fictionalism
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Gabriel TARZIU : What can Science tell us about mathematical objects ?
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Simon FRIEDERICH : Motivating Wittgenstein’s perspective on mathematical sentences as norms.
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Section § C2 : Cognitive Science (including Linguistics and Psychology) : on Friday 22nd July the following Talks within this Section of the Congress were recorded
12:00 pm : Samuli
Link to Recording (incomplete)
Link to speakers overheads or Notes of Talk
—oOo—
Section § C5 : Philosophy of Physics : on Friday 22nd July the following Talks within this Section of the Congress were recorded
10 :30 am : Ronan FRIGG on Explaining the approach to thermodyanamic equilibrium in terms of Epsilon-Ergodicity
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
11:30 am : Graziana CONTE : Information measures induced by partial boolean algebras
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
12:00 pm : Louis VERVOORT : Probability is composed : The frequency interpretation of probability revisited
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
2:15 pm – 5:05 pm : 3 Talks on Einstein plus Talk 4 by Sandra Mols
Emboussi NYANO : Einstein’s philosophy and post-critical philosophy of science
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Naoum DAHER : From independent models to a unified theory of dynamics
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Leba SLEIMAN : Problems and promises of scientific method
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Sandra MOLS : Going Round The Lack of Time : Enforced entrusting and silent inter-expertise trading in time-short nanomagnetism knowledge – making
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
5 : 05 pm : Vassilios KARAKOSTAS : On Correspondence Truth and Quantum Mechanics
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Johannes ROEHL : Forces – relations or dispositions ?
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Raquel Anna SUPANARU : Leibniz symmetry and harmony
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
Steffen DUCHEYNE : Testing universal gravitation in the laboratory : or the significance of reserach on the mean density of the earth and Big G 1798-1898
Link to Recording
Link to speakers overheads or Notes of Talk
—oOo—
DAY FIVE : Saturday JULY 23rd 2011
The Following parts of the Program for Day Five were recorded
Section § A1 : Mathematical Logic : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded
11:30 AM : Sheila VELOSO (with Paulo VELOSO and Paula VELOSO) : On Piaget-Like Monoids
Recording of Talk
Link to Slides and Other Material
—oOo—
Section § A3 : Logic and Computation : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded :
2:15 PM : Steve AWODEY on HOMOTOPY TYPE THEORY
Recording of Talk
Link to Slides and Other Material
—oOo—
Tor SANDQVIST : Computability Theory in relation-algebraic form
Recording of Talk
Link to Slides and Other Material
—oOo—
Section B3 : Historical aspects in the Philosophy of Science : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded
2:15 pm : Silvia DI BIANCHI : Symmetry and the Enigma of Space and Time : reflections of the origin of gauge theory
Recording of Talk
Link to Slides and Other Material
—oOo—
2:45 pm : Talk 2 : Shinji IKEDA : Godel and Leibniz on Concepts and relations
Recording of Talk
Link to Slides and Other Material
—oOo—
3:15 pm : Talk 3 : Ioannis M. VANDOULAKIS : On A.A. Markov’s attitude towards Brouwer’s intuitonism.
Recording of Talk
Link to Slides and Other Material
—oOo—
3:45 pm : Talk 4 : Georg SCHIEMER : Semantics in Type Theory
Recording of Talk
Link to Slides and Other Material
—oOo—
Section § C1 : Logic, Mathematics and Computer Science : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded
10:30 am – 12:00 pm : Jean-Pierre MARQUIS : Mathematical Abstraction, Variation and Identity
Recording of Talk
Link to Slides and Other Material
—oOo—
11:30 am : Susan VINEBERG : Explanation and Two Kinds of Inveestigation in the Foundations of mathematics
Recording of Talk
Link to slides and other material
—oOo—
2:15 pm : Amirouche MOKTEFI : On The Universe of Discourse Principle and Its Origins.
Representing the “Universe of Discourse” : the historical origin and philosophical relevance of a graphical convention in mathematics and logic
Recording of Talk
Link to Speakers overheads or Notes of Talk
—oOo—
Further PM Talks in § Section C1 : Philosophy of Mathematics
2:45 pm Jean-Marie CHEVALIER :
Are mathematics and logic sciences of observation ? A semiotic approach to visual thinking in mathematics
Recording of Talk
Link to Slides and Other Material
—oOo—
3:15 pm : Ralf KROEMER : The Duality of Space and Function : with some remarks about Category-Theoretic Dualities
Recording of Talk
Link to Slides and Other Material
—oOo—
3:45 pm : Anne SEEHAUS and Martin ZIEGLER : The Rise and Fall of Scientific Branches : On progress in mathematics
Recording of Talk
Link to Slides and Other Material
—oOo—
Coffee Break
—oOo—
4:35 pm : Elaine LANDRY : The genetic versus the axiomatic method : resolving Feferman’s (1977) criticism of Category-Theoretic Foundationalism
Recording of Talk
Link to Slides and Other Material
—oOo—
5:05 pm : Ahti-Veikko PIETARINEN : A realist modal-structuralism
Recording of Talk
Link to Slides and Other Material
—oOo—
5:35 pm : Jacobo ASSE : Pluralism and mathematical objects
Recording of Talk
Link to Slides and Other Material
—oOo—
6:05 pm : Michelle FRIEND : Presenting pluralism in mathematics
Recording of Talk
Link to Slides and Other Material
—oOo—
Section § C2: Cognitive Science (including Linguistics and Psychology) : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded
4:35 pm : Gonzalo MUNEVAR : Damasio, the Self and Consciousness
Recording of Talk
Link to Slides and Other Material
—oOo—
5:05 pm : Sascha Benjamin FINK : How to falsify an NCC of specific conscious content
Recording of Talk
Link to Slides and Other Material
—oOo—
5:35 pm : Igor NEVVAZHAY : Dual nature of consciousness
Recording of Talk
Link to Slides and Other Material
—oOo—
6:05 pm : Hernan MIGUEL : The causal closure of the physical and the variable realization
Recording of Talk
Link to Slides and Other Material
—oOo—
6:35 pm : Blazej SKRZYPULEC : The concept of “object” in visual binding theories
Recording of Talk
Link to Slides and Other Material
—oOo—
Section § C5: Philosophy of Physics : on Saturday 23rd July 2011 the following Talks within this Section of the Congress were recorded
10:30 am : Miklos REDEI : Einstein meets von Neumann : operational separability and operational independence in algbraic quantum field theory
Recording of Talk
Link to Slides and Other Material
—oOo—
11:30 am : Tomasz BIGAJ : How to exchange quantum particles of the same type
Recording of Talk
Link to Slides and Other Material
—oOo—
12:00 pm : Elena CASTELLANI : Fundamentality, elementariness and scales
Recording of Talk
Link to Slides and Other Material
—oOo—
Lunch Break
—oOo—
2:45 pm : Robert DISALLE : Explanation, explication and interpretation of Space-time theories
Recording of Talk
Link to Slides and Other Material
—oOo—
3:30 pm : Michael FRIEDMAN : Einstein and The A Priori
(Read in Professor Friedman’s Absence)
Recording of Talk
Link to Slides and Other Material
—oOo—
4:35 pm : Pierre UZAN : Quantum Theory beyond Physics
Recording of Talk
Link to Slides and Other Material
—oOo—
5:05 pm : Morgan TAIT : The case for quantum state realism
Recording of Talk
Link to Slides and Other Material
—oOo—
5:35 pm : Wayne MYRVOLD : Prospects for Quantum State Monism
Recording of Talk
Link to Slides and Other Material
—oOo—
6:05 pm Juan Sebastian ARDENGHI. Sebastian FORTIN and Olimpia LOMBARDI :
The conceptual meaning of reduced states : Decoherence and interpretation
Recording of Talk
Link to Slides and Other Material
—oOo—
6:35 pm : Paul NAGER : Why Quantum non-locality implies parameter dependence
Recording of Talk
Link to Slides and Other Material
—oOo—
—oOo—
There were No Talks on Sunday 24th JULY 2011
—oOo—
DAY SEVEN : Monday JULY 25th 2011
The Following parts of the Program for Day Seven were recorded
PLENARY SESSION AM 25th JULY 2011
INVITED LECTURE BY Jeremy GRAY : The Soul of The Fact : Poincare and Proof
Recording of Talk
Link to Slides and other material
—oOo—
Section §A2 : SPECIAL INVITED SYMPOSIUM ON GENERAL PROOF THEORY
4:35 – 7:05 pm
Introductory Address by Kosta DOSEN
Link to Recording
—oOo—
Talk 1 by FW LAWVERE : Proof Theory and the presentation of algebras Plus Discussion
Recording of Talk
Link to Slides and other material
—oOo—
Talk 2 by Philip SCOTT : Remarks on recent categorical proof theory Plus Discussion
Recording of Talk
Link to Slides and other material
—oOo—
Section § A3 : Logic and Computation : on Monday 25th July 2011 the following Talks within this Section of the Congress were recorded
12:00 : Sam SANDERS : Computing the Infinite
Recording of Talk and Discussions (First minutes missing)
Link to Slides and other information
—oOo—
Section § B3 : Historical Aspects in The Philosophy of Science : on Monday 25th July 2011 the following Talks within this Section of the Congress were recorded
10:30 am – 12:30 pm : Session on POINCARE. Chair : Philippe NABONNAND.
Joao PRINCIPE : Kantian aspects of Poincare’s epistemological thoughts on 19th Century Physics
Recording of Talk
Link to Slides and other material
—oOo—
Adam GROBLER : Two traditions of conventionalism
Recording of Talk
Link to Slides and other material
—oOo—
David STUMP : Poincare’s two types of conventionalism
Recording of Talk
Link to Slides and other material
—oOo—
Scott WALTER : Beyond Poincare and Einstein : A.A. ROBB’s Theory of Space and time
Recording of Talk
Link to Slides and other material
—oOo—
PM Session of Section : § B3 : Historical Aspects in The Philosophy of Science
2:15 pm : Francesa BIAGIOLI : Between Kantianism and Empiricism : Otto Holder’s Philosophy of Geometry
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Davide CRIPPA : Mathematics and the Purity of Methods : Some historical considerations
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Jean-Pierre FERRIER : Quality and Practice in Mathematics from Hilbert to Grothendieck
Recording of Talk
Link to Slides and other material
—oOo—
3:45 pm : Janos TANACS: Some semantic considerations for the conceptual transition from Euclidean to non-Euclidean Geometry
Recording of Talk
Link to Slides and other material
—oOo—
4:35 pm – 7:05 pm: SPECIAL SYMPOSIUM : POINCARE, PHILOSOPHER OF SCIENCE
By the Portuguese Society for The Philosophy of Science
(Organiser: Augusto J. Franco de OLIVERA)
Rosario LAUREANO : Poincare as the founder of deterministic Chaos Theory.
Recording of Talk
Link to Slides and other material
—oOo—
Maria DE PAZ : The role of hypotheses in Poincare’s natural philosophy
Recording of Talk
Link to Slides and other material
—oOo—
Isabel SERRA : Poincare’s thinking : From Mathematics to Physics
Recording of Talk
Link to Slides and other material
—oOo—
Olga POMBO : Several concepts of intuition in Poincare’s philosophy of mathematics
Recording of Talk
Link to Slides and other material
—oOo—
Nuno JERONIMO : Poincare’s anticipatory intuitionism
Recording of Talk
Link to Slides and other material
—oOo—
Augusto J. Franco de OLIVEIRA : Poincare and the infinitesimals
Recording of Talk
Link to Slides and other material
—oOo—
Section § C1 : Logic, Mathematics and Computer Science : on Monday 25th July 2011 the following Talks within this Section of the Congress were recorded
AM Session of Section § C1 on FREGE :
10:30 am : Sorin COSTREIE : Frege on contentful mathematics
Recording of Talk
Link to Slides and other material
—oOo—
11:15 am : Paula QUINON : Computational Structuralism and Frege’s Constraint
Recording of Talk
Link to Slides and other material
—oOo—
11:45 am : Joachim HERTEL : Frege on the iPad
Recording of Talk
Link to Slides and other material
—oOo—
1:30 – 4:15 pm : SYMPOSIUM within Section C1 : Theories of Continua : Logical and Philosophical Reflections
Recordings of Talks in This Symposium :
Jose FERREIROS : Shifts in the Conception of the Continuum
Recording of Talk
Link to Slides and other material
—oOo—
Maximo DICKMANN : the first-order logic of the continuum
Recording of Talk
Link to Slides and other material
—oOo—
Philip EHRLICH : The unification of all numbers, great and small.
Recording of Talk
Link to Slides and other material
—oOo—
Paolo GIORDANO : Knowledge comes from the dialectic between two worlds : the case of Fermat reals
Recording of Talk
Link to Slides and other material
—oOo—
Erik PALMGREN : Constructive and non-constructive aspects of non-standard analysis
Recording of Talk
Link to Slides and other material
—oOo—
Geoffrey HELLMAN : On the plurality of continua.
Recording of Talk
Link to Slides and other material
—oOo—
FINAL PM Session of Section C1 of Congress Monday 25th July 2011
4:35 pm : Mark Van ATTEN : Kant and Real Numbers
Recording of Talk
Link to Slides and other material
—oOo—
5:05 pm : Jari PALOMAKI : Kant, Cantor and the Burali-Forti paradox
Recording of Talk
Link to Slides and other material
—oOo—
5:35 pm : Jaako HINTIKKA : Axiomatizing set theory
Recording of Talk
Link to Slides and other material
—oOo—
6:35 pm : Jan WOLENSKI : Constructivism and metamathematics
Recording of Talk
Link to Slides and other material
—oOo—
Section § C 5 : Philosophy of Physics : on Monday 25th July 2011 the following Talks within this Section of the Congress were recorded
10:30 am : Craig CALLENDER : The flow of space ?
Recording of Talk
Link to Slides and other material
—oOo—
11:30 am : Aristidis ARAGEORGIS : Spacetime as a causal set : The Universe as a growing block ?
Recording of Talk
Link to Slides and other material
—oOo—
12:00 pm : Juliusz DOROSZEWSKI : The specious present in branching space-times
Recording of Talk
Link to Slides and other material
—oOo—
PM Talks in Section § C 5 : Philosophy of Physics : 5 Talks
2:15 pm : Michael CUFFARO : Many worlds : the cluster-state quantum computer and the problem of the preferred basis
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Arianne SHAHVISI : The gravity of the past hypothesis : Lessons learned from Earman and Wallace
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Graham NERLICH : Bell’s Lorentzian Pedagogy : A bad education
Recording of Talk
Link to Slides and other material
—oOo—
Coffee Break
—oOo—
4:35 pm : Nazim BOUATTA and Jeremy BUTTERFIELD : Emergence and reduction combined in infinite systems
Recording of Talk
Link to Slides and other material
—oOo—
5:05 pm : Matt FARR : On the status of temporal unidirectionality in Physics
Recording of Talk
Link to Slides and other material
—oOo—
5:35 pm : Argyris NICOLAIDIS : Relational logic and modern science.
Recording of Talk
Link to Slides and other material
—oOo—
DAY EIGHT : Tuesday JULY 26th 2011
The Following parts of the Program for Day Eight were recorded
In Section § A 2 : Philosophical Logic : on Tuesday 26th July 2011 the following Talks within this Section of the Congress were recorded
2:15 pm : PM Talks in Section A 2 Session A
2:15 pm : Severi K. HAMARI and Rafael URBANIAK : Busting a myth about Lesiewski and definitions
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Hsing-Chien TSAI : The undecidability of some mereotopological structures
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Boris FYODOROV : Representation of Bolzano’s content inferences with singular terms in the language of predicate logic
Recording of Talk
Link to Slides and other material
—oOo—
3:45 pm : Giuliano BACIGALUPO : Meinong and Husserl on existence
Recording of Talk
Link to Slides and other material
—oOo—
In Section B 1 : Methodology and Scientific Reasoning : on Tuesday 26th July 2011 the following Talks within this Section of the Congress were recorded
10 : 30 am – 12:00 pm : Session A
10:30 am : Mathias EGG : expanding our grasp : Can causal knowledge save realism from Stanford’s new induction ?
Recording of Talk
Link to Slides and other material
—oOo—
11:00 am : Paul HOYNINGEN – HUENE : The ultimate argument against convergent realism and structural realsim : the impasse objection
Recording of Talk
Link to Slides and other material
—oOo—
11:30 am : Ludwig FAHRBACH : How to defend Scientific Realism against the Pessimistic Meta-Induction
Recording of Talk
Link to Slides and other material
—oOo—
2: 15 – 4:15 pm : Afternoon Session A
2:15 pm : Angelo CEI : The epistemic structural realist program : Some interference
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Yukinori ONISHI : The scientific realism debate from the epistemological viewpoint.
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Tobias BRIEDENMOSER : Theories of axonal transport in the cell : Empirical evidence against scientific realism.
Recording of Talk
Link to Slides and other material
—oOo—
3: 45 pm : Sreckumar JAYADEVAN : Theory – talk, Meta – theory talk and metaphysical talk : the intricacies and pertinence of three levels of discourse in the scientific realism debate
Recording of Talk
Link to Slides and other material
—oOo—
In Section § B 3 : Historical Aspects in the Philosophy of Science : on Tuesday 26th July 2011 the following Talks within this Section of the Congress were recorded
Afternoon Session : 2:15 pm – 3:45 pm
2:15 pm : Masaki HARADA : Kant, Fichte and algebraic operations : The philosophy of algebra acording to Jules Vuillemin
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Ivica MARTINOVIC : With Boskovic against Kant : Ivan Krstitelj Horvath on Space and Time
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Hennie LOTTER : Evolution as a metaphor for scientific progress
Recording of Talk
Link to Slides and other material
—oOo—
In Section § C 1 : Logic, Mathematics and Computer Science : on Tuesday 26th July 2011 the following Talks in this Section of the Congress were recorded :
10:30 am : Samuel FLETCHER and Jason HOELSCHER-OBERMAIER : Physical computability, efficiency and the Church-Turing Thesis
Recording of Talk
Link to Slides and other material
—oOo—
11:00 am : Nicola ANGIUS : Corroborations of hypotheses and experimental computer science in software testing
Recording of Talk
Link to Slides and other material
—oOo—
11:30 am : Liesbeth DE MOL : The computer (as a medium) in mathematics : Mathematician-computer interaction, internalization, time and space squeezing.
Recording of Talk
Link to Slides and other material
—oOo—
In Section § C 5 : Philosophy of Physics : on Tuesday 26th July 2011 the following Talks in this Section of the Congress were recorded.
10:30am – 12:30 pm : SYMPOSIUM on Epistemological Perspectives on The Large Hadron Collider (Chair : Michael STOLTZNER)
Talks by :
Michael STOLTZNER : Higgs Models and other stories about mass generation
Recording of Talk
Link to Slides and other material
—oOo—
11:00 am : Arianna BORRELLI : The practice of model- building in comtemporaray high-energy physics : the example of “technicolour”
Recording of Talk
Link to Slides and other material
—oOo—
11:30 am : Koray KARACA : Selectivity and robustness in experimental research : Lessons from the Large Hadron Colider
Recording of Talk
Link to Slides and other material
—oOo—
12:00 pm : Alexandre GUAY : Objectivity and physical symmetries
Recording of Talk
Link to Slides and other material
—oOo—
2:15 – 4:15 pm : Afternoon Session : Chair : Graham NERLICH
2:15 pm : Adan SUS : Is inertia explained in General Relativity ?
Recording of Talk
Link to Slides and other material
—oOo—
2:45 pm : Montgomery LINK : Rotating Universe
Recording of Talk
Link to Slides and other material
—oOo—
3:15 pm : Hajime TARAKA Koji NAKATOGWA and Hiroyasu NAGATA :
A proposition called T0906 and Godel’s Incompleteness Theorem.
Recording of Talk
Link to Slides and other material
—oOo—
3:45 pm : Julien BERNARD : From the Hole Argument of Einstein to the ball of clay argument of Weyl
Recording of Talk
Link to Slides and other material
—oOo—
This concludes the list of recordings made during the Congress
—oOo—