INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC

Valérie Lynn Therrien

Pensées Canadiennes 10 (2012)

Download Edit this record How to cite View on PhilPapers

Abstract

This article has no associated abstract. (fix it)

Keywords

Löwenheim-Skolem Paradox First-Order Logic Second-Order Logic Predicate Logic Foundations of Mathematics

Categories

Mathematical Logic in Formal Sciences

Paradoxes, Miscellaneous in Logic and Philosophy of Logic

Set Theory as a Foundation, Misc in Philosophy of Mathematics

Theories of Mathematics, Misc in Philosophy of Mathematics

(categorize this paper)

PhilPapers/Archive ID

THEILT

Revision history

Archival date: 2016-05-19
View upload history

References found in this work BETA

Models and Reality.Putnam, Hilary

Introduction to Metamathematics.Kleene, Stephen Cole

Extensions of First Order Logic.Manzano, María

On Second-Order Logic.Boolos, George S.

The Road to Modern Logic—An Interpretation.Ferreirós, José

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2016-05-19

Total views
101 ( #28,350 of 44,421 )

Recent downloads (6 months)
15 ( #36,922 of 44,421 )

How can I increase my downloads?

Downloads since first upload

This graph includes both downloads from PhilArchive and clicks to external links.