•  1023
    All Properties are Divine or God exists
    Logic and Logical Philosophy 3 (27): 329-350. 2018.
    A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to 3 suggest a sufficient kinship to Gödelian o…Read more
  •  155
    We show that we in ways related to the classical Square of Opposition may define a Cube of Opposition for some useful statements, and we as a by-product isolate a distinct directive of being inviolable which deserves attention; a second central purpose is to show that we may extend our construction to isolate hypercubes of opposition of any finite cardinality when given enough independent modalities. The cube of opposition for obligations was first introduced publically in a lecture for the Squa…Read more
  •  114
    On Beliefs
    Nordic Journal of Philosophical Logic 1 79-94. 1996.
    The paper provides some observations that support the view, such as with Nathan Salmon, that we have full substitutivity of coextensional names in belief contexts. Further, the paper notes some consequences for doxastic modalites in an induced Millian logic of belief.
  •  91
    We present a strategy to avoid versions of Humean and counterfactual skepticism based upon a deontologist theory of justification, a partial guideline for how to side step Gettier problems for certain statements and the assumption that certain statements are compelling. As an upshot the threats of Humean skeptical arguments disappear for some subjects and classes of statements.
  •  89
    We give an interpretation of classical set theory in librationist set theory.
  •  84
    A Theory of Knowledge
    Dissertation, University of California, Santa Barbara. 1993.
    In this dissertation I present a new solution to the renowned Gettier problem. My solution, which in a sense represents a defense of a rather traditional epistemological approach, is based upon a distinction between primary and secondary beliefs. I argue that primary beliefs are known if justified and true, whereas secondary beliefs are known if they are believed on the basis of a known primary belief. Much emphasis is put upon defending this approach against potential objections, but I also dra…Read more
  •  73
    A recursive definition of knowledge is proposed, to deal with Gettier style difficulties, and provide a framework for a variety of recursionist theories of knowledge.
  •  51
    The inadequacy of a proposed paraconsistent set theory
    Review of Symbolic Logic 4 (1): 106-108. 2011.
    We show that a paraconsistent set theory proposed in Weber (2010) is strong enough to provide a quite classical nonprimitive notion of identity, so that the relation is an equivalence relation and also obeys full substitutivity: a = b -> F(b)). With this as background it is shown that the proposed theory also proves the negation of x=x. While not by itself showing that the proposed system is trivial in the sense of proving all statements, it is argued that this outcome makes the system inadequat…Read more
  •  26
    Librationist Closures of the Paradoxes
    Logic and Logical Philosophy 21 (4): 323-361. 2012.
    We present a semi-formal foundational theory of sorts, akin to sets, named librationism because of its way of dealing with paradoxes. Its semantics is related to Herzberger’s semi inductive approach, it is negation complete and free variables (noemata) name sorts. Librationism deals with paradoxes in a novel way related to paraconsistent dialetheic approaches, but we think of it as bialethic and parasistent. Classical logical theorems are retained, and none contradicted. Novel inferential princi…Read more
  •  13
    This paper analyzes the use of diagrams in mathematical reasoning and puts forward examples where diagrams are useful. It is not suggested that diagrammatic reasoning is sometimes necessary to justify mathematical results, but rather that such reasoning in some cases may be useful in discovering new theorems or in their communication. The topic could to a large extent have been treated by psychological research, it seems. Some typos interfere with the presentation. In the references, the title o…Read more