<--- Back to Details
First PageDocument Content
Mathematical logic / Philosophical logic / Philosophy of language / Veracity / Philosophers of mathematics / Tractatus Logico-Philosophicus / Principia Mathematica / Proposition / Ludwig Wittgenstein / Philosophy / Logic / Analytic philosophy
Date: 2007-02-19 14:19:11
Mathematical logic
Philosophical logic
Philosophy of language
Veracity
Philosophers of mathematics
Tractatus Logico-Philosophicus
Principia Mathematica
Proposition
Ludwig Wittgenstein
Philosophy
Logic
Analytic philosophy

PANAYOT BUTCHVAROV Bergmann and Wittgenstein on Generality I G

Add to Reading List

Source URL: metaphysica.de

Download Document from Source Website

File Size: 108,97 KB

Share Document on Facebook

Similar Documents

Uber lormal unentscheidbare S~tze der Principia Mathematica und verwandter Systeme I~). Von Kur~ GSdel in Wien. it Die Entwicklung der Mathematik in der Richtung zu grS~erer

DocID: 1tvWg - View Document

Constructible universe / IP / Model theory / Mathematics / Creativity / Logic / Principia Mathematica

frobenioidspdf

DocID: 1qLne - View Document

Logic / Philosophy / Abstraction / Philosophical logic / Existential graph / Diagrammatic reasoning / Quantifier / First-order logic / Charles Sanders Peirce / Polish notation / Philosophy of logic / Principia Mathematica

Notation - Book of Abstracts

DocID: 1qeIU - View Document

Model theory / Mathematical logic / Formal languages / Predicate logic / Metalogic / First-order logic / Principia Mathematica / Interpretation / Well-formed formula / Lambda calculus / Constructible universe / Structure

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University

DocID: 1pIZx - View Document

Automated theorem proving / Logic programming / Integral calculus / Free variables and bound variables / Mathematical notation / Predicate logic / Substitution / Term / Integration by substitution / Principia Mathematica

Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

DocID: 1pCMW - View Document