
GENERAL PHILOSOPHY OF SCIENCE
– Roman Frigg, Ioannis Votsis, R. Frigg, I. Votsis

7

Tarski's conceptual analysis of semantical notions
– Solomon Feferman
 2002


Logic in the 1930s: Type Theory and Model Theory
– Georg Schiemer, Erich H. Reck
 2013


Gödel’s Incompleteness Theorems
– Guram Bezhanishvili

11

Does Mathematics Need New Axioms?
– Solomon Feferman
 1999


A Structural Approach to Diophantine Definability
– Mihai Prunescu
 1999


Classical Logic I: FirstOrder Logic
– Wilfrid Hodges


The Universal Algebra of First Order Logic
– Noel Vaillant

2

From IF to BI A Tale of Dependence and Separation
– Samson Abramsky, Jouko Väänänen


Foundations for Mathematical Structuralism ∗
– Uri Nodelman, Edward N. Zalta, Uri Nodelman, Edward N. Zalta


MATHEMATICAL TRUTH REGAINED
– Robert Hanna

3

Is the Continuum Hypothesis a definite mathematical problem?
– Solomon Feferman

1

Abstract Computerizing Mathematical Text with
– Fairouz Kamareddine, J. B. Wells

1

A critical look at design, verification, and validation of large scale simulations
– D. E. Stevenson

7

What is Neologicism?
– Bernard Linsky, Edward N. Zalta
 2006


What is Neologicism? 2 What is Neologicism? ∗
– Bernard Linsky, Edward N. Zalta

6

On the Translation of HigherOrder Problems into FirstOrder Logic
– Manfred Kerber, Manfred Kerber
 1994

3

Representing Scientific Representation
– Roman Frigg
 2003

1

Identity, Indiscernibility, and Philosophical Claims
– Decio Krause, Antonio M. N. Coelho
 2002
