Introduction

Abstract

This is an exploratory study whose purpose is to investigate the possibility of, and if possible lay some of the foundations for, a unified science of language and logic. Here and throughout the term language’ is to be understood to include any code or symbol system, natural or artificial, which functions or has the potential of functioning as a medium of linguistic communication. The term ‘logic’ is intended to include both deductive and inductive systems of inference in any language. A ‘science’ is to be understood in the usual sense of a conceptual picture and accompanying mathematical formalism within which hypotheses can be expressed precisely and tested out empirically under clear rules of evidence.