Skip to main content
SpringerLink
Log in
Book cover

Dictionary of Logic as Applied in the Study of Language

Concepts/Methods/Theories

  • Book
  • © 1981

Overview

Editors:
  1. Witold Marciszewski

    1. University of Warsaw, Białystok Branch, Poland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Melbourne International Philosophy Series (MIPS, volume 9)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (72 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Abstraction Operator

    • W. Marciszewski
    Pages 1-3

  3. Algebraic Structures

    • W. Marek
    Pages 4-13

  4. Algorithms

    • P. Dembiński
    Pages 14-18

  5. Analyticity

    • W. Marciszewski
    Pages 19-21

  6. Antinomies

    • S. Krajewski
    Pages 22-29

  7. Arithmetic

    • W. Marek
    Pages 30-32

  8. Automata

    • A. Skowron
    Pages 33-38

  9. Automata, Finite

    • J. Grzymała-Busse
    Pages 39-42

  10. Categorial Grammar

    • W. Marciszewski
    Pages 43-51

  11. Classes, Theory of

    • W. Marciszewski
    Pages 52-54

  12. Combinatory Logic

    • A. Grzegorczyk
    Pages 55-58

  13. Completeness

    • S. Krajewski
    Pages 59-62

  14. Computability Abstract Theory

    • A. Grzegorczyk
    Pages 63-64

  15. Consequence

    • S. J. Surma
    Pages 65-67

  16. Consistency

    • S. Krajewski
    Pages 68-69

  17. Counterexample, the Method of

    • W. Marciszewski
    Pages 70-73

  18. Decidability

    • S. Krajewski
    Pages 74-78

  19. Deduction Theorem

    • S. J. Surma
    Pages 79-81

  20. Deductive Method

    • W. Marciszewski
    Pages 82-84
Back to top

Keywords

About this book

1. STRUCTURE AND REFERENCES 1.1. The main part of the dictionary consists of alphabetically arranged articles concerned with basic logical theories and some other selected topics. Within each article a set of concepts is defined in their mutual relations. This way of defining concepts in the context of a theory provides better understand­ ing of ideas than that provided by isolated short defmitions. A disadvantage of this method is that it takes more time to look something up inside an extensive article. To reduce this disadvantage the following measures have been adopted. Each article is divided into numbered sections, the numbers, in boldface type, being addresses to which we refer. Those sections of larger articles which are divided at the first level, i.e. numbered with single numerals, have titles. Main sections are further subdivided, the subsections being numbered by numerals added to the main section number, e.g. I, 1.1, 1.2, ... , 1.1.1, 1.1.2, and so on. A comprehensive subject index is supplied together with a glossary. The aim of the latter is to provide, if possible, short defmitions which sometimes may prove sufficient. As to the use of the glossary, see the comment preceding it.

Editors and Affiliations

  • University of Warsaw, Białystok Branch, Poland

    Witold Marciszewski

Bibliographic Information

  • Book Title: Dictionary of Logic as Applied in the Study of Language

  • Book Subtitle: Concepts/Methods/Theories

  • Editors: Witold Marciszewski

  • Series Title: Melbourne International Philosophy Series

  • DOI: https://doi.org/10.1007/978-94-017-1253-8

  • Publisher: Springer Dordrecht

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Science+Business Media Dordrecht 1981

  • Hardcover ISBN: 978-90-247-2123-8Published: 31 July 1981

  • Softcover ISBN: 978-90-481-8257-2Published: 30 December 2010

  • eBook ISBN: 978-94-017-1253-8Published: 29 June 2013

  • Edition Number: 1

  • Number of Pages: XIV, 436

  • Topics: Logic, Philosophy of Language

Publish with us

Policies and ethics

Back to top

Search

Navigation