Three Problems in Westphal's Transcendental Proof of Realism

Internal Realism: Transcendental Idealism?

Structural Realism and Abductive-Transcendental Arguments

The paper deals with an attempt to present an “abductive-transcendental” argument in favour of a particular version of structural realism (SR), dubbed Intermediate SR. In the first part of the paper the general structure of transcendental arguments is scrutinized with a close view on Kant’s original version and the prospect of their abductive variation. Then the role of symmetries in modern phy...

Deciding polynomial-transcendental problems

This paper presents a decision procedure for a certain class of sentences of first order logic involving integral polynomials and a certain specific analytic transcendental function trans(x) in which the variables range over the real numbers. The list of transcendental functions to which our decision method directly applies includes exp(x), the exponential function with respect to base e, ln(x)...

Formalizing a Proof that e is Transcendental

A transcendental number is one that is not the root of any non-zero polynomial having integer coefficients. It immediately follows that no rational number q is transcendental, since q can be written as a/b where a and b are integers, and thus q is a root of bx − a. Furthermore, the transcendentals are a proper subset of the irrationals, since for example the irrational √ 2 is a root of x − 2. T...

Three varieties of realism in computer graphics

This paper describes three varieties of realism that need to be considered in evaluating computer graphics images and defines the criteria that need to be met if each kind of realism is to be achieved. The paper introduces a conceptual framework for thinking about realism in images, and describes a set of research tools for measuring image realism and assessing its value in graphics applications.