CfP: Fourth International Meeting of the APMP (October 23-27, 2017, Salvador da Bahia, Brazil)

Call for papers
We welcome paper proposals within the area of the philosophy of mathematical practice. A title and abstract (250-500 words) should be sent to gisele.secco@ufrgs.br, before January 31, 2017. Notification will be sent out by April 30th. Post-doctoral fellows and doctoral students are highly invited to send proposals.

Registration
All contributing speakers and discussants are requested to confirm their participation before May 30th by sending an e-mail containing name and affiliation and paying a conference fee of US$ 100, which will include congress material, coffee breaks and the conference dinner meal. Participants without a permanent position are entitled to a discount, paying a fee of US$ 50; similarly for those who may attend the conference without presenting a communication. This should be settled in advance via transfer (more details to be defined).

Keynote speakers
Luiz Carlos Pereira – Brazil
Jemma Lorenat – USA
Valeria Giardino – France
José Ferreirós – Spain
Erich Reck – USA

Round Tables
Platonism in Mathematical Practice
Elaine Landry (USA) / Oswaldo Chateaubriand (Brazil) / Marco Panza (France)

Formal and informal proofs
Jessica Carter (Denmark) / Paolo Mancosu (USA) / Max Dickmann (France)

Workshops
On the relationship between geometry and arithmetic: the theories of proportion from Euclid to Hilbert
Organizer: Davide Crippa (Czech Republic)
Speakers: Vincenzo De Risi (Germany) / Davide Crippa (Czech Republic) / Eduardo Giovannini (Argentina)

Varieties of visualization in mathematics
Organizer: Silvia De Toffoli (USA)
Speakers: Silvia De Toffoli (USA) / Javier Legris (Argentine) / Danielle Macbeth (USA)

Education and mathematical practice
Organizer: Gert Schubring (Brazil)
Speakers: Gert Schubring (Brazil) /Tinne Hoff Kjeldsen (Dennmark) / Nicola Oswald (Germany)

Contradictory objects in mathematical practice
Organizer: Walter Carnielli (Brazil)
Speakers: Walter Carnielli (Brazil) / Giorgio Venturi (Brazil) / Abilio Rodriguez (Brazil)

Organizing Committee
Abel Lassalle Casanave – Brazil —– Chair
Frank Thomas Sautter – Brazil
Wagner Sanz – Brazil
Gisele Secco – Brazil

Scientific Committee
Luis Carlos Arboleda – Colombia
Jessica Carter – Denmark
Oswaldo Chateaubriand – Brazil
Elaine Landry – USA
Paolo Mancosu – USA
Marco Panza – France -—- Chair

(download this cfp in pdf format)


CfA: Foundations of Mathematical Structuralism

12-14 October 2016
Munich Center for Mathematical Philosophy, LMU Munich

In the course of the last century, different general frameworks for the foundations of mathematics have been investigated. The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been other developments that call into question the whole method of set theory as a foundational discipline. Category-theoretic methods that focus on structural relationships and structure-preserving mappings between mathematical objects, rather than on the objects themselves, have been in play since the early 1960s. But in the last few years they have found clarification and expression through the development of homotopy type theory. This represents a fascinating development in the philosophy of mathematics, where category-theoretic structural methods are combined with type theory to produce a foundation that accounts for the structural aspects of mathematical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of mathematics can be explored more fruitfully.

The main objective of the conference is to reevaluate the different perspectives on mathematical structuralism in the foundations of mathematics and in mathematical practice. To do this, the conference will explore the following research questions: Does mathematical structuralism offer a philosophically viable foundation for modern mathematics? What role do key notions such as structural abstraction, invariance, dependence, or structural identity play in the different theories of structuralism? To what degree does mathematical structuralism as a philosophical position describe actual mathematical practice? Does category theory or homotopy type theory provide a fully structural account for mathematics?

Confirmed Speakers

  • Prof. Steve Awodey (Carnegie Mellon University)
  • Dr. Jessica Carter (University of Southern Denmark)
  • Prof. Gerhard Heinzmann (Université de Lorraine)
  • Prof. Geoffrey Hellman (University of Minnesota)
  • Prof. James Ladyman (University of Bristol)
  • Prof. Elaine Landry (UC Davis)
  • Prof. Hannes Leitgeb (LMU Munich)
  • Dr. Mary Leng (University of York)
  • Prof. Øystein Linnebo (University of Oslo)
  • Prof. Erich Reck (UC Riverside)

Call for Abstracts

We invite the submission of abstracts on topics related to mathematical structuralism for presentation at the conference. Abstracts should include a title, a brief abstract (up to 100 words), and a full abstract (up to 1000 words), blinded for peer review. Authors should send their abstracts (in pdf format), together with their name, institutional affiliation and current position to mathematicalstructuralism2016@lrz.uni-muenchen.de. We will select up to five submissions for presentation at the conference. The conference language is English.

Dates and Deadlines

Submission deadline: 30 June, 2016
Notification of acceptance: 31 July, 2016
Registration deadline: 1 October, 2016
Conference: 12 – 14 October, 2016

For further details on the conference, please visit: http://www.mathematicalstructuralism2016.philosophie.uni-muenchen.de/


CfA: Canadian Society for History and Philosophy of Mathematics Annual Meeting

Call for Abstracts

Canadian Society for History and Philosophy of Mathematics Annual Meeting
University of Calgary, May 29-31, 2016

Special Session: Mathematics and Logic in the 19th and 20th Century

Kenneth May Lecturer: Dr. Jamie Tappenden, Department of Philosophy, University of Michigan

The CSHPM will be holding its 2016 Annual Meeting at the University of Calgary in conjunction with the 2016 Congress of the Humanities and Social Sciences. The meeting will be held Sunday through Tuesday, May 29-31, 2016.

Members are invited to present papers on any subject relating to the history of mathematics, its use in the teaching of mathematics, the philosophy of mathematics, or a related topic. Talks in either English or French are welcome.

Please send your title and abstract (200 words or less) in Word or in the body of an email by February 1, 2016 to:

For the Special Session:

Thomas Drucker
Department of Mathematics
University of Wisconsin-Whitewater
Whitewater, WI 53190-1790
druckert@uww.edu

For the General Session:

Eisso Atzema
Department of Mathematics & Statistics
University of Maine
Orono, ME 04469
atzema@math.umaine.edu


Case Studies in Mathematical Practice

The primary goal of this workshop is to shed light on mathematical thought and understanding by developing a rich collection of case studies drawn from the historical and current practice of mathematicians. A secondary goal is to examine the methodology of case studies with an eye towards determining which questions in the philosophy of mathematics are amenable to solution by case study methods, and which questions are not. One recurring theme of the workshop concerns the ways in which the development of new conceptual and representational resources can contribute to an increase in the intelligibility of a mathematical domain.
Workshop Leader: Kenneth Manders, University of Pittsburgh
Location: Université Paris Diderot, Paris, France
Dates: June 29, 2015 – July 4, 2015

Confirmed Participants:

  • Andrew Arana, University of Illinois at Urbana-Champaign
  • Karine Chemla, Université Paris Diderot
  • Jessica Carter, University of Southern Denmark
  • Jeremy Heis, University of California, Irvine
  • Douglas Marshall, Carleton College
  • Marco Panza, Université Paris Panthéon-Sorbonne

For information on funding available for graduate students and recent PhDs to attend the workshop, as well as further scheduling and logistical information, please visit the workshop website at csmpparis.org.
While this event is open to the public, all who attend the workshop must register for the
workshop by sending an e-mail to csmpparis “at” gmail.com. We ask that everyone who
plans to attend register by no later than Friday, June 19, 2015.


Call for Nominations

In preparation for the PMA’s first general election, PMA members are asked to nominate candidates to stand for election for the following positions:
President  (current occupant: Mic Detlefsen)
Vice President (current occupant: Colin McLarty)
Treasurer (current occupant: Elaine Landry)
Five additional Board members (two for 3-year terms; two for 2-year terms; one for a 1-year term).
(Current Board members are: Patricia Blanchette, Dan Isaacson, Sol Feferman, Jessica Carter, Mathieu Marion, Erich Reck, Greg Restall.)
Only members of the PMA should be nominated.
Please send nominations to Patricia Blanchette (blanchette.1@nd.edu) by October 15.
Thanks very much.
– Patricia Blanchette for the Nominating Committee
(Nominating Committee: Patricia Blanchette, Colin McLarty, Dirk Schlimm, Elaine Landry, Stewart Shapiro, Richard Zach, Robert Thomas)

Grigori Mints (1939-2014)

The PMA has received word of the death of Grigori (Grisha) Mints on May 29th. Lanier Anderson has posted a memorial tribute to the Stanford Philosophy Website.


CfP: Modern Logic 1850-1950, East and West

Submissions are open  for a special volume in Springer’s series Studies in Universal Logic, on the topic:

Modern Logic 1850-1950, East and West.

This volume honors Irving Anellis (1946-2013), founder of the journal Modern Logic (subsequently The Review of Modern Logic) whose more than 140 articles, books, and edited works span the entire history of modern logic.

Topics for the special issue include but are not limited to:

  1.  Mathematical logic: proof theory and meta-mathematics, applications of logic to mathematical structures.
  2. Work of Bertrand Russell in set theory and logic, and of Charles Sanders Peirce in algebra and algebraic logic.
  3. History of proof theory, especially in respect to the Loewenheim-Skolem Theorem and Herbrand’s fundamental theorem; logic trees; natural deduction.
  4. History of logic and mathematics in the Soviet Union and Russia.

Extended versions of work previously published in conference proceedings can be submitted but authors should make it clear how their submission improves upon the conference publication.

Papers should be submitted by email as a .pdf attachment to both guest editors:

Francine F. Abeles: fabeles@kean.edu
Mark E. Fuller: mark.fuller@uwc.edu

The deadline for submission is: 31 May 2014.