Logical StudiesFirst published in 2000. In this volume are eight essays; with the first three essays deal with the problem of logical truth. Their aim is to elucidate what is meant by saying that logical truth is formal-dependent of form and independent of content-or that logical truth is tautologous. The next is on study of distributive normal forms that awakened my interest in modality. The next three essays are in the field of modal logic. Related to modal logic are the problems of the conditional (the if-then) and of entailment (logical consequence) on which the final essay is based. |
Other editions - View all
Common terms and phrases
asserting q axiom or theorem calculus called Cc-relation combinations of truth-values compatible complex of E-sentences concept conjunction connexion constituent-individual constitution contingent contrary-to-fact conditional asserting counterfactual condition decision problem demonstrated denying Deontic Logic disjunctive normal form E-constituents entails q existence-constituents expresses the tautology false field of influence follows ground for asserting identical impossible proposition inductive grounds intensionally Logic of Properties Logic of Propositions logic of relative logical constants logical truth Łukasiewicz M(p & q material implication means modal logic Mohammedans molecular complex names of properties necessary proposition necessary relatively negation nomic assertion notion open individual perfect disjunctive normal possible relatively Principle Proof properties denoted propositional logic propositions expressed Px→Qx q & r/t question relation relatively to q representation Ryx & Rxx segment sentences strict implication strictly implies syllogism symbols systems of modal tion tional Truth of Logic truth-function truth-table unit line variables well-formed formulae