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

Upload history

Archival date: 2016-05-19
View other versions

Added to PP index
2016-05-19

Total views
156 ( #33,920 of 2,439,465 )

Recent downloads (6 months)
20 ( #33,065 of 2,439,465 )

How can I increase my downloads?

Downloads since first upload

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

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Home | Topics | About PhilArchive | OAI-PMH | Contact us

This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications).

Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation

Page generated Mon Aug 2 14:29:34 2021 on philpapers-web-65948fd446-wp78j

Debug information

cache stats: hit=23534, miss=24375, save=
autohandler : 78 ms
called component : 72 ms
entry_basics : 27 ms
entry_stats : 24 ms
get_entry : 11 ms
entry_stats_query : 3 ms
save cache object : 1 ms
retrieve cache object : 0 ms
init renderer : 0 ms
setup : 0 ms
auth : 0 ms
stat_db : 0 ms
menu : 0 ms

pid: 138