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)...

Logic plays a fundamental role in Kant’s transcendental philosophy. The general presupposition is that Kant’s logic can be subsumed under the Aristotelian tradition. However, with respect to this presupposition some problems arise in Kant’s philosophy. This thesis takes a new approach to Kant’s logic: Instead of imposing a logical framework on Kant’s thought this thesis aims at deriving the log...

Although Kant envisaged a prominent role for logic in the argumentative structure of his Critique of pure reason [12], logicians and philosophers have generally judged Kant’s logic negatively. What Kant called ‘general’ or ‘formal’ logic has been dismissed as a fairly arbitrary subsystem of first order logic, and what he called ‘transcendental logic’ is considered to be not a logic at all: no s...

Symbol Grounding tries to answer the question as to how it is possible for a computer program to use symbols which are not arbitrarily inter-pretable. Whereas the signs in conventional programs are just \parasitic on the meaning in our heads", grounded symbols should possess at least some \intrinsic meaning." This paper gives a brief overview of what Symbol Grounding is and summarizes some of t...

We discuss the model theory of two popular approaches to lexical semantics and their relation to transcendental logic.