Consider the problem which set V of propositional variables suffices for StabV `i A whenever `c A, where StabV := {¬¬P → P | P ∈ V }, and `c and `i denote derivability in classical and intuitionistic implicational logic, respectively. We give a direct proof that stability for the final propositional variable of the (implicational) formula A is sufficient; as a corollary one obtains Glivenko’s t...

The Peirce project (named after Charles Sanders Peirce) is an international collabora-tive project aiming to construct a freely available conceptual graphs workbench to support research in the conceptual graphs community in areas such as natural language processing, enterprise modelling, program speciication and veriication, management information systems , conceptual information retrieval, med...

Percutaneous venous and retrograde arterial catheterization by the Seldinger technique (Seldinger, 1953), or its modification, is a routine procedure in many cardiovascular diagnostic and research laboratories. The incidence and nature of complications after these procedures vary from one group of investigators to another. Reports and reviews of such complications are available (Peirce, I95I; P...

Page 1 of 10 Jon Dorbolo © 1995 Analogue An analogue is an equivalent or counterpart in an analogy. When President Bush said that "Saddam Hussein is another Hitler" he was claiming that the President of contemporary Iraq is the analogue of the Fuhrer of WWII Germany. Whether such comparisons are strong and reasonable is a matter for logical analysis. What matters here is that Peirce is providin...

Though Peirce and Frege played crucial roles in the development of modern logic, there has been so far little scholarly work comparing their positions on the nature of logic. I offer here a comparative study of their views on logic and I show that, although they developed their views independently from each other and with very different projects in mind, their positions are extremely similar (e...