Propositional Logic

  • Dirk van Dalen
Part of the Universitext book series (UTX)

Abstract

Traditionally, logic is said to be the art (or study) of reasoning; so in order to describe logic in this tradition, we have to know what ‘reasoning’ is. According to some traditional views reasoning consists of the building of chains of linguistic entities by means of a certain relation ‘... follows from ....’, a view which is good enough for our present purpose. The linguistic entities occurring in this kind of reasoning are taken to be sentences, i.e. entities that express a complete thought, or state of affairs. We call those sentences declarative. This means that, from the point of view of natural language, our class of acceptable linguistic objects is rather restricted.

Keywords

Fermat Unden 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Dirk van Dalen
    • 1
  1. 1.Mathematisch instituutRijksuniversiteit UtrechtTA UtrechtThe Netherlands

Personalised recommendations