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

Valérie Lynn Therrien

Pensées Canadiennes 10 (2012) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Revision history

View on PhilPapers

Author's Profile

Valérie Lynn Therrien

McGill University

Archival history

Archival date: 2016-05-19
View all versions

Categories

Mathematical Logic in Philosophy of Mathematics

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

Keywords

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

Reprint years

Analytics

Added to PP
2016-05-19

Downloads
413 (#54,249)

6 months
72 (#76,592)

Historical graph of downloads since first upload

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

How can I increase my downloads?