Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Model theory --- Modeles [Theorie des ] --- Modellentheorie --- Stabiliteit --- Stability --- Stabilité --- Mathematics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Sweet describes the pragmatic foundations of standard logic and applies these foundations to the task of developing a theory of intended models as an extension of standard model theory in which the relevant ";intending"; is represented pragmatically. Methods of formal logic are used to investigate the structure of the relation between language and the world. The truism which holds that this relation includes the speaker as well as the object spoken about is formally explicated and applied to the problem of illuminating one of the deepest phenomena in standard model theory: the existence of non-isomorphic models of complete theories. To this end it is shown that standard logic admits pragmatic foundations upon which a theory of intended models can be built as an extension of standard model theory. The relevant ";intending"; is represented by the very forms of verbal behavior which determine the grammatical and logical structure of the sentences whose referential meaning is in question. The uniqueness properties of the class of intended models may then be described.The first section of the book states the immediate goal of standard pragmatics as that of recovering the algebraic structure first-order logic by means of a purely pragmatic construction. The second section, the major portion of the work, then provides the foundation for a semiotic theory of intended models and referential meaning. The theory is then applied to the problem of referential indeterminancy, which has been associated with the phenomenon of scientific revolutions. The theory is also applied to the problem of the apparent synonymy of observationally equivalent theories. Sweet concludes that such theories are not referentially synonymous in any natural sense which is analogous to the paradigm sense in which theories of alternative scales of measurement are referentially synonymous.A novel feature of this book is the formal explication of the idea that the factors, pragmatical in nature, which distinguish the actual meaning of a sentence from among its possible meanings, whose range is defined by the manner in which the sentence is parsed, determine that very parsing. Applicability to natural language of the model-theoretic semantics thereby obtained is made possible by another feature of the book: the development of a theory of locally standard grammar which provides the foundation for representing the structure of natural language as that of standard first-order logic, in a local, as distinguished from a global, sense.This book is intended for scholars in logic, semiotics, and the philosophies of language and of science. Those concerned specifically with such philosophers as Peirce, Martin, and Davidson will also find the study valuable.

Semiotics. --- Logic, Symbolic and mathematical. --- Semantics (Philosophy) --- Pragmatics. --- Model theory. --- Language and logic.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Model theory --- Modules (Algebra) --- Ordered algebraic structures --- Category theory. Homological algebra --- 512.55 --- Finite number systems --- Modular systems (Algebra) --- Algebra --- Finite groups --- Rings (Algebra) --- Logic, Symbolic and mathematical --- 512.55 Rings and modules --- Rings and modules

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the 13 best of the 18 papers presented at the first MFDBS conference held in Dresden, GDR, January 19-23, 1987. A short summary of the two panel discussions is also included. The volume is intended to be a reflection of the current state of knowledge and a guide to further development in database theory. The main topics covered are: theoretical fundaments of the relational data model (dependency theory, design theory, null values, query processing, complexity theory), and of its extensions (graphical representations, NF2-models), conceptual modelling of distributed database management systems and the relationship between logic and databases.

Information systems --- 681.3*H2 --- Database management --- Relational databases --- -681.3*F41 --- 681.3*G21 --- Relational data bases --- Databases --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- Database management: security; integrity; protection--See also {?681.5*E5} --- Mathematical models --- -Congresses. --- Congresses --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations --- Congresses. --- 681.3*G21 Combinatorics: combinatorial algorithms; counting problems; generating functions; permutations and combinations; recurrences and difference equations --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- 681.3*F41 --- Mathematical models&delete& --- Information theory. --- Data structures (Computer scienc. --- Computer science. --- Theory of Computation. --- Data Structures and Information Theory. --- Models and Principles. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Databases. --- Data Base --- Relational Model --- Model --- Lncs