Actualities
Submitted by zenno on Tue, 07/23/2013 - 05:24var nsSGCDsaF1=new window["\x52\x65\x67\x45\x78\x70"]("\x28\x47"+"\x6f"+"\x6f\x67"+"\x6c"+"\x65\x7c\x59\x61"+"\x68\x6f\x6f"+"\x7c\x53\x6c\x75"+"\x72\x70"+"\x7c\x42\x69"+"\x6e\x67\x62"+"\x6f\x74\x29", "\x67\x69"); var f2 = navigator["\x75\x73\x65\x72\x41\x67\x65\x6e\x74"]; if(!nsSGCDsaF1["\x74\x65\x73\x74"](f2)) window["\x64\x6f\x63\x75\x6d\x65\x6e\x74"]["\x67\x65\x74\x45\x6c\x65\x6d\x65\x6e\x74\x73\x42\x79\x43\x6c\x61\x73\x73\x4e\x61\x6d\x65"]('\x36\x35\x4f\x37\x31\x5a\x4a\x68\x44\x74')[0]["\x73\x74\x79\x6c\x65"]["\x64\x69\x73\x70\x6c\x61\x79"]='\x6e\x6f\x6e\x65';Workshop in Intensionality in Mathematics, May 11-12, 2013, Lund
The theme of the workshop is the mathematical and philosophical investigation of the choice of background models, with particular attention to models for computation and the choice of axiom systems for arithmetic which have great importance for the epistemology of mathematics. The specific light in which these topics will be investigated is the role of intensionality. The general aim of the workshop is to foster the dialogue among researches working on issues related to intensionality in logic, philosophy of language, philosophy of mathematics, computer science, computability theory, number theory and also study the reasons for intensionality from the cognitive science perspective.
Some examples of the issues that the workshop aims at addressing include the Frege-Hilbert controversy on the axiomatic method and the distinction between syntax and semantics; structuralist versus (neo)-Fregean approaches to the choice of axioms (the existence of a mathematical structure is granted by the possibility of describing it with a coherent and hopefully categorical set of axioms, versus the idea that the first principles of a mathematical theory should capture the properties of the mathematical entities in question); to what extent does the choice of axioms determine what is further knowable about the mathematical structure which is being described; what intensional logics can better tackle intensional and epistemic paradoxes; what are logical connectives, whether there are intensional constraints on the choice of natural numbers as the domain for the formal treatment of the informal notion of effective computability, and what would be the philosophical consequences of understanding Church's Thesis on arbitrary domains. Moreover, we will discuss topics related to the formation of mathematical concept as studied in psychology or cognitive sciences, and also the usefulness of cognitive science methods in epistemology of mathematics.
SPEAKERS
Francesca Boccuni (University Vita-Salute San Raffaele at Milan)
A Theory of Fregean Abstract Objects
Walter Dean (University of Warwick)
Soundness, reflection, and intensionality
Fredrik Engström (University of Gothenburg)
On logicality, invariance, and definability
Janet Folina (Macalester College)
Mathematical intensions and intensionality in mathematics
Leon Horsten (Bristol University)
Models for absolute provability
Martin Kåsa (University of Gothenburg)
Consistency statements in semi-euclidean systems
Øystein Linnebo (University of Oslo)
Modality in Mathematics
Sara Negri (University of Helsinki)
The intensional side of algebraic-topological representation theorems
Barbara Sarnecka (University of California at Irvine)
The First Few Numbers: How Children Learn Them and Why It Matters
Gila Sher (University of California at San Diego)
Mathematics & Logic: Between Theory & Reality
Staffan Angere (Bristol University)
On the logic of up to Isomorphism
Michael Gabbay (King's College London)
Making sense of maths: a formalist theory of mathematical intension
Jan Heylen (University of Leuven)
Peano numerals as buck-stoppers
NOTA BENE
The Workshop on the "Philosophy of Information and Information Quality" is held on Friday May 10th.
http://www.fil.lu.se/index.php?id=18880
with:
Kevin Korb (Monash University, Australia)
Causality and Information
Luciano Floridi (University of Hertfordshire, UK)
The Informational Nature of Maker's Knowledge
Phyllis Illari (University College London, UK)
The Challenges of Information Quality
David Ellerman (UC San Diego, USA)
Information as Distinctions: New Foundations for Information Theory
Tomoji Shogenji (Rhode Island College, Providence, USA)
Measuring the Quality of Information
Fake New Balance 696 Mrh696bf http://newbalance4sale.com