This paper deals with two issues. First, it identifies structured propositions with logical procedures. Second, it considers various rigorous definitions of the granularity of procedures, hence also ...

This is a preview. Log in through your library . Abstract A propositional system of modal logic is second-order if it contains quantifiers ∀p and ∃p, which, in the standard interpretation, are ...

IN the course of a review of Lewis Carroll's “Game of Logic” (p. 3), Mr. A. Sidgwick says incidentally that “In Mr. Venn's scheme propositions either tell us that a compartment is empty or tell us ...

My aim in this paper is to discuss some problems and issues connected with the notion of the "a priori." I should state at the beginning that my own position is what might be termed ...