Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science

DOI10.1080/01445340500141586zbMath1095.03006OpenAlexW2067977000WikidataQ58553775 ScholiaQ58553775MaRDI QIDQ5717551

Paolo Mancosu

Publication date: 10 January 2006

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340500141586

zbMATH Keywords

semanticsnominalismfinitism

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (7)

Two Unpublished Contributions by Alfred Tarski ⋮ Carnapian and Tarskian semantics ⋮ Ontology of Logic and Mathematics in Lvov-Warsaw School ⋮ Numbers and propositions versus nominalists: yellow cards for Salmon \& Soames ⋮ The 2007 Annual Conference of the Australasian Association for Logic ⋮ The Early Formation of Modal Logic and its Significance: A Historical Note on Quine, Carnap, and a Bit of Church ⋮ \textit{Sign and object}: Quine's forgotten book project

Cites Work

• What are logical notions?
• The Road to Modern Logic—An Interpretation
• Steps toward a constructive nominalism
• Mathematical explanation: problems and prospects.

This page was built for publication: Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science