Online research in philosophy

Faith and sin prior to the Fragments -- Sin and salvation in the Philosophical fragments -- Anxiety and beyond -- Sin and salvation from the Three discourses -- To the three stages -- Sin and salvation in the Concluding unscientific postscript -- Sin, society, and the individual in the Two ages.

We show in this paper that all fragments of intuitionistic propostional logic based on a subset of the connectives $\wedge, \vee, \rightarrow, \neg$ satisfy interpolation. Fragments containing $\leftrightarrow$ or ¬¬ are briefly considered.

The logic RM and its basic fragments (always with implication) are considered here as entire consequence relations, rather than as sets of theorems. A new observation made here is that the disjunction of RM is definable in terms of its other positive propositional connectives, unlike that of R. The basic fragments of RM therefore fall naturally into two classes, according to whether disjunction is or is not definable. In the equivalent quasivariety semantics of these fragments, which consist of subreducts of Sugihara algebras, this corresponds to a distinction between strong and weak congruence properties. The distinction is explored here. A result of Avron is used to provide a local deduction-detachment theorem for the fragments without disjunction. Together with results of Sobociski, Parks and Meyer (which concern theorems only), this leads to axiomatizations of these entire fragments — not merely their theorems. These axiomatizations then form the basis of a proof that all of the basic fragments of RM with implication are finitely axiomatized consequence relations.

Early memoranda, 1773-75.--A fragment on government.--An introduction to the principles of morals and legislation.--The limits of jurisprudence defined.--Indirect legislation.--Panopticon papers.--Rationale of judicial evidence.--Pannomial fragments.--Chrestomathia.--On the art of invention.--Parliamentary reform catechism.--The book of fallacies.--Last epigrams and sayings.