eBook - ePub
Logics and Languages
Max Cresswell
This is a test
Condividi libro
- 284 pagine
- English
- ePUB (disponibile sull'app)
- Disponibile su iOS e Android
eBook - ePub
Logics and Languages
Max Cresswell
Dettagli del libro
Anteprima del libro
Indice dei contenuti
Citazioni
Informazioni sul libro
Originally published in 1973, this book shows that methods developed for the semantics of systems of formal logic can be successfully applied to problems about the semantics of natural languages; and, moreover, that such methods can take account of features of natural language which have often been thought incapable of formal treatment, such as vagueness, context dependence and metaphorical meaning.
Parts 1 and 2 set out a class of formal languages and their semantics. Parts 3 and 4 show that these formal languages are rich enought to be used in the precise description of natural languages.
Appendices describe some of the concepts discussed in the text.
Domande frequenti
Come faccio ad annullare l'abbonamento?
Ă semplicissimo: basta accedere alla sezione Account nelle Impostazioni e cliccare su "Annulla abbonamento". Dopo la cancellazione, l'abbonamento rimarrĂ attivo per il periodo rimanente giĂ pagato. Per maggiori informazioni, clicca qui
Ă possibile scaricare libri? Se sĂŹ, come?
Al momento è possibile scaricare tramite l'app tutti i nostri libri ePub mobile-friendly. Anche la maggior parte dei nostri PDF è scaricabile e stiamo lavorando per rendere disponibile quanto prima il download di tutti gli altri file. Per maggiori informazioni, clicca qui
Che differenza c'è tra i piani?
Entrambi i piani ti danno accesso illimitato alla libreria e a tutte le funzionalitĂ di Perlego. Le uniche differenze sono il prezzo e il periodo di abbonamento: con il piano annuale risparmierai circa il 30% rispetto a 12 rate con quello mensile.
Cos'è Perlego?
Perlego è un servizio di abbonamento a testi accademici, che ti permette di accedere a un'intera libreria online a un prezzo inferiore rispetto a quello che pagheresti per acquistare un singolo libro al mese. Con oltre 1 milione di testi suddivisi in piÚ di 1.000 categorie, troverai sicuramente ciò che fa per te! Per maggiori informazioni, clicca qui.
Perlego supporta la sintesi vocale?
Cerca l'icona Sintesi vocale nel prossimo libro che leggerai per verificare se è possibile riprodurre l'audio. Questo strumento permette di leggere il testo a voce alta, evidenziandolo man mano che la lettura procede. Puoi aumentare o diminuire la velocità della sintesi vocale, oppure sospendere la riproduzione. Per maggiori informazioni, clicca qui.
Logics and Languages è disponibile online in formato PDF/ePub?
SĂŹ, puoi accedere a Logics and Languages di Max Cresswell in formato PDF e/o ePub, cosĂŹ come ad altri libri molto apprezzati nelle sezioni relative a Philosophie e Sprache in der Philosophie. Scopri oltre 1 milione di libri disponibili nel nostro catalogo.
Informazioni
PART ONE
Propositional Languages
CHAPTER ONE
Syntax and Semantics of Propositional Languages
Our aim in this book will be to set out and discuss artificial languages which can exhibit many if not all of the semantical features of natural languages. Such an aim will necessitate a very general definition of a wide class of languages. Part I of the book will prepare the way by studying the general form of the languages of propositional logic, particularly the languages of intensional logic.
Syntax
By a propositional language â we mean an ordered pair âŠÎ, S⪠where Î = âŠÎ0, âŚ, Îk⪠is a finite sequence of pairwise disjoint, possibly empty, finite sets, and S is the smallest set such that:
1.1 Î0âS.1.2 If δâ În (1 ⊽ n ⊽ k) and Îą1âŚ,Îąn â S then âŠÎ´, Îą1âŚ,Îąn⪠â S.17
What the definition comes to is this. The union of all the sets in Î, denoted by Î+, is the set of symbols18 or words of â and S is the set of sentences or (well-formed) formulae. Î0 is the set of simple sentence symbols (for by 1.1 any member of Î0 is a member of S, i.e., a sentence) and În (1 ⌠n ⌠k) is the set of n-place propositional functors. An n-place propositional functor is a symbol which when placed before n sentences forms another (complex) sentence. This is what 1.2 says. Those familiar with propositional logic, who may be finding all this rather too abstract, should think of the propositional calculus as a propositional language. Î0 is the set of âpropositional variablesâ, Î1 contains one member, the symbol ~, Î2 may contain the symbols â, â¨, . , ⥠and perhaps a few others.19 In this case k = 2; and indeed most versions of the propositional calculus contain at most 2-place functors.
Other propositional logics (modal logics, e.g., with the symbols L and M, or ⥠and â ; in Î1) also fall under our definition. There is however one important restriction, that is that Î0 is finite. In most propositional logics the simple sentence symbols are denumerably infinite and in some, e.g. PC itself, it is crucial that this should be so. There are not too complicated ways of achieving an infinite number of simple sentence symbols out of a finite alphabet (e.g. p, pâ˛, pâł, pâ´, pâłâł etc.) but they take us a little beyond the definition we have given.
The only restriction we have placed on the members of Î+ is that they be finite and have no common members. This does not rule out the possibility that a complex sentence might also be a symbol. Suppose for instance that Î0 = {Îą} and Î1 = {δ, âŠÎ´, ÎąâŞ}. Then Î0 and Î1 are disjoint but âŠÎ´, ι⪠is both a functor and a complex sentence. Since this is undesirable for all sorts of reasons we shall say that a propositional language is grounded iff for no δ â În and Îą1, âŚ, Îąn â S is âŠÎ´, Îą1, âŚ, Îąn⪠â Î+. We shall assume that all the propositional languages we discuss are grounded.
Apart from these restrictions the members of Î+ may be anything we please. At first this may seem a little strange. Since we speak about them as symbols shouldnât we say what symbols are ? And since we talk about functors making complex sentences out of simpler ones shouldnât we say something about how the putting together is done? The answer is that, fortunately, for the semantical analysis of a language we do not, at this stage at least, have to answer these questions. When we actually use a language of course the members of Î+ canât be just any old things. E.g., suppose Big Ben is a member of Î0 and Walter Scott a member of Î1, then the sequence (ordered pair) whose first member is Walter Scott and whose second Big Ben is a sentence of our language, and it is a little difficult to see how such a language would be any good in practice. For languages actually in use the symbols can perhaps be regarded as classes of utterances.20 We shall have a little more to say on this problem later: for the moment we simply repeat that symbols can be anything we like and that sentences are set-theoretical entities (sequences) made up out of the symbols according to 1.1 and 1.2.
The rules 1.1 and 1.2 may be regarded as specifying the syntax of propositional languages, for they determine the class of grammatically well-formed sentences of these languages. Before we proceed to semantics we shall describe these rules in a slightly different way which will lend itself to fairly easy generalization when we come to more elaborate languages. In describing a propositional language we make use of the notion of a syntactic category.21 In propositional languages one of these is the category of sentence, while the others are all categories of functors.
A functor is a symbol which, occurring as the first member of a sequence of symbols of certain syntactical kinds, makes a sequence of the same or another syntactical kind. If δ â În then δ placed before n members of the category sentence forms another sequence of the category sentence.
In Chapter Five we shall use âFâ to denote a class of functors and use a subscript to indicate the kind of functor. We shall be using 0 to indicate the category of sentence. Since an n-place propositional functor forms a sentence, i.e. a thing of category 0, out of n other things of category 0 we can represent the class of n-place functors as
Here the ordered n + 1-tuple of 0âs may be said to be the category index of n-place propositional functors. The first member of the n + 1-tuple tells us that what is formed by the functor is a thing of category 0 and the last n members tell us that this is formed out of n other things of catego...