Paul Oppenheimer

Paul Oppenheimer
Stanford University | SU · Center for the Study of Language and Information

About

14
Publications
986
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
438
Citations
Introduction
Paul Oppenheimer works at the Center for the Study of Language and Information, Stanford University. Paul does research in metaphysics and logic. One of Paul's current projects is research on fictional objects and fictional properties. Paul is an assistant editor of the Stanford Encyclopedia of Philosophy and a visiting lecturer at the University of Adelaide.

Publications

Publications (14)
Article
The target article uses the metaphysics of properties to make its meta-ethical claims. This comment discusses two general points in the metaphysics of properties. The first point has to do with the conditions for property identity. Philosophers who accept the existence of properties have proposed a variety of criteria for their identity. The standa...
Article
Full-text available
In this paper, we present a formalism for handling polysemy in spatial expressions based on supervaluation semantics called standpoint semantics for polysemy (SSP). The goal of this formalism is, given a prepositional phrase, to define its possible spatial interpretations. For this, we propose to characterize spatial prepositions by means of a trip...
Chapter
Full-text available
Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of con- cepts, under this reconstruction, has a non-modal algebra of concepts, a concept-con...
Article
Full-text available
The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, h...
Article
Full-text available
Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. In contrast, Whitehead and Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description opera...
Article
This work examines the accuracy of a parallel moving least squares algorithm for solving the governing equations of the hydrodynamic formulation of quantum mechanics. The algorithm solves the associated linear least squares problems using either normal equations or QR factorization. The accuracy of the algorithm is studied for both the free particl...
Article
This article documents the first implementation of a parallel algorithm for solving the governing equations of the hydrodynamic formulation of quantum mechanics. The algorithm employs a quantum trajectory method (QTM) based on the serial algorithm introduced by Wyatt and Lopreore. The OpenMP API is employed to parallelize the code across the quantu...
Article
Using exact diagonalization, we calculate the density of states of the two-dimensional Hubbard model on a 4×4 square lattice at U/t=0.5, 4, and 10, and even number of electrons with filling factors n ranging from a quarter filling up to half filling. We compare the ground-state energy and density of states at U/t=0.5 and 4 with second-order perturb...
Article
An implementation of the Lanczos algorithm for the exact diagonalization of the two dimensional Hubbard model on a 4[times]4 square lattice on the Connection Machine CM-2 system is described. The CM-2 is a massively parallel machine with distributed memory. The program is written in C/PARIS. This implementation minimizes memory usage by generating...

Network

Cited By

Projects

Projects (2)
Project
Explore and evaluate strategies for the semantics of predicates that occur only in fiction and for the associated ontology and metaphysics.