71 |
Reality as simulation : A comparative study of the selfmodel theory of subjectivity and biological realism.Huq, Laboni January 2015 (has links)
The empirical study of consciousness is a young field still in its pre paradigmatic stage and so in need of a unifying framework. This comparative literature review examines two theories of consciousness, Thomas Metzinger’s the self-model theory of subjectivity and Antti Revonsuo’s Biological realism, theories which both try to provide such a framework for the science of consciousness. This paper gives an overview of some of the more central parts of each theory, along with criticism directed towards them. The paper show that these theories, although on the surface very similar, disagree on some fundamental philosophical questions due to differences in their underlying background assumptions. The theories also slightly differ in their view on some methodological questions, as well as in their view of certain aspects on consciousness.
|
72 |
On chain domains, prime rings and torsion preradicals.Van den Berg, John Eric. January 1995 (has links)
Abstract available in pdf file.
|
73 |
Undecidability of intuitionistic theoriesBrierley, William. January 1985 (has links)
No description available.
|
74 |
Resemblance: A Logico-philosophical AnalysisTasdelen, Iskender 01 November 2005 (has links) (PDF)
Indiscernibility, interchangeability and resemblance relations may be named as weak-identity relations or identity-like relations. Indeed,identical objects can be thought to
satisfy all these three relations. According to realist view, these relations are defined on the basis of properties of objects. While indiscernibility is a context-independent relation, since indiscernibility is defined in terms of all properties of objects, interchangeability and resemblance relations are defined in terms of some significant
properties of objects and thus they should be regarded as context-dependent.
We should consider the following points while comparing rivalling theories of resemblance:
1. The theory explaining resemblance relations between objects should cover as many domains as possible. Instead of simply admitting that objects of a given type may resemble each other, the theory should explain how these relations are possible.
2. Objects do not just resemble or they do not / resemblance is a relation that admits degrees. Thus the theory providing a finer analysis of close and weak resemblances should be preferred.
In comparison to resemblance nominalism, realist theory of resemblance is strongerwith respect to both points. The criticism that realist view may not explain degrees of resemblance can be rejoined by removing the indeterminacy as to the nature of this notion.Among knowledge representation systems, property and attribute systems provide a simple but strong models for analytic ontology. Weak identity relations can easily be defined in these systems and the results following from these definitions can be seen to conform to our intuitions about weak
identity relations.
|
75 |
Algebraic model theory for languages without equalityElgueta Montó, Raimon 25 May 1994 (has links)
In our opinion, it is fair to distinguish two separate branches in the origins of model theory. The first one, the model theory of first-order logic, can be traced back to the pioneering work of L. Lowenheim, T. Skolem, K. Gödel, A. Tarski and A.I. MaI 'cev, published before the mid 30's. This branch was put forward during the 40s' and 50s’ by several authors, including A. Tarski, L. Henkin, A. Robinson, J. Los. Their contribution, however, was rather influenced by modern algebra, a discipline whose development was being truly fast at the time. Largely due to this influence, it was a very common usage among these authors lo the equality symbol belonging lo the language. Even when a few years later the algebraic methods started to be supplanted to a large extent by the set-theoretical technique that mark present-day theory, the consideration of the equality a constant in the language still subsisted.
The second branch is the model theory of equational logic. It was born with the seminal work of G. Birkhoff which established the first basic tools and results of what later developed the part of universal algebra known as the theory of varieties and quasivarieties. The algebraic character of this other branch of model theory was clearer and stronger, for it simply emerged as the last stop in the continuous process of abstraction in algebra.
Amid these two branches of model theory, which suffered a rapid growth at the time, there appeared the work done by Mal'cev in the early 1950's and the late 60's, which some influence in the future development of the discipline, in the old Soviet Union. During the period mentioned above, he developed a first-order model theory that retained much of the spirit of the period and diverged openly from the model theory developed in the West. In particular, he put forward the model theory of universal Horn logic with equality along the of Birkhoff's theory of varieties, and showed that such logic forms a right setting for a large part of universal algebra, including the theory of presentations and free structures. The most worth-mentioning peculiarities of Mal'cev's program were the following: first, he kept on dealing with first-order languages with equality; second, he adopted notions of homomorphism and congruence that had little to do with the relational part of the language.
This well-roted tradition of developing model theory in the presence of an equality symbol to express the identity relation, which goes back to its very origin, finally broken when logicians from the PoIish School started program similar to that of Mal'cev for another type of UHL, viz. general sentential logic. Indeed, in spite of the fact that the algebraic character of sentential logic was evident early in its development (chiefly because classical sentential calculus could be completely reduced to the quasi-equational theory of Boolean algebras), the natural models of arbitrary sentential calculus quickly took the form of logical matrices, that is, algebras endowed with a unary relation on their universe. This matrix semantics so became the first attempt of starting a systematic development of a model theory for first-order languages without equality. Beginning with the publication of a paper by Los in 1949, matrix semantics was successfully developed over the next three decades by a number of different authors in Poland, including J. Los himself, R. Suszko, R. Wojcicki and J. Zygmunt.
The present evolution of these issues points towards an effort of encompassing the theory of varieties and quasi-varieties and the model theory of sentential logic, by means of the development of a program similar to Mal’cev’s for UHL without equality. We recognize that this evolution has been fast and notorious in the last decade, thanks mainly to the work done by J. Czelakowski, W. Blok and D. Pigozzi among others. For example, the first author has been developing a model theory of sentential logic inherits a lot of the algebraic character of Mal’cev’s theory of sentential logic originated by Birkhoff. On the other hand, Blok and Pigozzi, in a paper published in 1992, have succeeded in the development of a model theory –based on the Leibniz operator introduced by them– that does comprises for the first time both equational logic and sentential logic, and so strengthens Czelakowsk’s program. What enables such a simultaneous treatment in their approach in the observation that equational logic can be viewed as an example of a 2-dimensional sentential calculus and thus admits a matrix semantics, this time a matrix being an algebra together with a congruence on the algebra.
A characteristic of decisive importance in Blok and Pigozzi's approach in their apparent conviction that only reduced models really possess the algebraic character of the models of quasi-equational theories. We give up such a conviction and the restriction to particular types of languages.
The main purpose of this paper is to outline some basic aspects of the model theory for first-order languages that definitively do not include the equality symbol and which account of both the full and the reduced semantics. The theory is intended to follow as much as possible of the Mal'cev's tradition by pronounced algebraic character and mainly covering topics fairly well studied in universal algebra (that is the reason for giving the term “algebraic” to our model theory). Most of the work, that extends to general languages and fairly clarifies some recent trends in algebraic logic, constitutes the foundations of a model theory of UHL without equality. An important number of the results in the paper run side by side with some well-known results of either classical model theory or universal algebra; so, we make an effort to highlight the concepts and techniques only applied in these contexts although, in some sense, they find a more general setting in ours. The outgrowth of the current interest in the model theory of UHL without equality is the emergence of several applications mainly in algebraic logic and computer science. Therefore we also discuss the way that the developed theory relates to algebraic logic. Actually, we maintain that our approach provides an appropriate context to investigate the availability of nice algebraic semantics, not only for the traditional deductive systems that arise in sentential logic, but also for some other types of deductive systems that are attracting increasing attention at the time. The reason is that all of them admit as interpretation as universal Horn theories without equality.
As we said before, the absence of symbol is the language to mean the identity relation is central to this work. Traditionally, the equality in classical model theory has had a representation is the moral language and has been understood in an absolute sense, i.e., for any interpretation of the language, the interest of model-theorists has been put on the relation according to which two members of the universe are the same or has no other logical relation. We break this tradition by introducing a weak form of equality predicate and not presupposing its formal representation by a symbol of the language. Then the main problem consists, broadly speaking, in the investigation of the relationship between the features of this weaker equality in a given class of structures and the fulfillment of certain properties by this class.
This is not at all recent treatment of the equality; for instance, it underlies the old notion of Lindenbaum-Tarski algebra in the model theory of sentential logic, and more recently contributions to the study of algebraic for semantics logics. Our contribution amounts to no more than providing a broader framework for the investigation of this question in the domain of first-order logic, the universal Horn fragment.
Several points stand out for they govern all our approach. First, the extended use we make of two unlike notions of homomorphism, whose difference relies on the importance each one attaches to relations; this is a distinction that no longer exists in universal algebra but does exist in classical model theory. Secondly, the availability of two distinct adequate semantics easily connected through an algebraic operation, which consists in factorizing the structures in such a way that the Leibniz equality and the usual identity relation coincide. We believe this double semantics is what is mainly responsible for the interest of the model theory for languages without equality as a research topic; in spite of their equivalence from a semantical point of view, they furnish several stimulating problems regarding their comparability from an algebraic perspective. Thirdly, the two extensions that the notion of congruence on an algebra admits when dealing with general structures over languages without equality, namely, as a special sort of binary relation associated to a structure, here called congruence, and as the relational part of a structure, which is embodied in the concept of filter extension. Finally, and not because of this less important, the nice algebraic description that our equality predicate has as the greatest one of the congruence on a structure. This fact allows to replace the fundamental (logical) concept of Leibniz equality by an entirely algebraic notion, and to put the main emphasis on the algebraic methods. Actually, it seems to us that other forms of equality without such a property hardly give rise to model theories that work out so beautifully.
The work is organized in 10 chapters. The first three contain basic material that is essential to overcome the small inadequacies of some approaches to the topic formerly provided by other authors. Chapter 1 reviews some terminology and notation that will appear repeteadly thereafter, and presents some elementary notions and results of classical model theory that remains equal for languages without equality. Chapter 2 states and characterizes algebraically the fundamental concept of equality in the sense of Leibniz which we deal with all over the paper. Finally, in Chapter 3 we discuss the semantical consequences of factorizing a structure by a congruence and show that first-order logic without equality has two complete semantics related by a reduction operator (Theorem 3.2.1). Right here we pose out if the central problem to which most of the subsequent work is devoted, i.e., the investigation of the algebraic properties that the full reduced model classes of an elementary theory exhibit.
Chapter 4 contains the first difficult results in the work. By a rather obvious generalization of proofs known from classical model theory, we obtain Birkhoff-type characterizations of full classes of axiomatized by certain sorts of first-order without equality, and apply these results to derive analogue characterizations for the corresponding reduced classes.
Chapter 5 is a central one; it examines the primary consequences of dealing with the relational part of a structure as the natural extension of congruences when passing from algebraic to general fist-order languages without equality. A key observation in this case is that the sets of structures of an algebraic complete lattice. It is proved that this classes is just the quasinvarieties of structure. The Leibniz operator is defined right here as a primary criterion to distinguish properties of the Leibniz equality in a class of models. Using the operator, a fundamental hierarchy of classes.
Chapter 7 examines how the characterizations of reduced quasinvarieties (relative varieties) obtained in Chapter 4 can be improved when we deal with the special types of classes introduced formerly. Chapters 6, 8 and 9 provide an explicit generalization of well-known results from universal algebra. Concretely, in Chapter 6 we present the main tools of Subdirect Representation Theory for general first-order structures without equality. Chapter 8 deals with the existence of free structures both in full and reduced classes. This Chapter also includes the investigation of a correspondence between (quasi)varieties and some lattice structures associated with the Herbrand structures, correspondence that offers the possibility of turning the logical methods used in the theory of varieties and quasivarieties into purely algebraic ones (Theorems 8.3.3 and 8.3.6). In Chapter 9 we set the problem of finding Mal'cev-type conditions for properties concerning posets of relative congruences or relative filler extensions of members of quasivarieties.
Finally, Chapter 10 discusses briefly the relation between algebraic logic and the approach to model theory outlined in the previous chapters, providing that some vindication to it. Of course, we cannot say whether this work will ultimately have a bearing on the resolution of any of the problem of algebraic logic, but for us, it could at least provide fresh insights in this exciting branch of logic.
|
76 |
Printed circuit board (PCB) loss characterization up-to 20 GHz and modeling, analysis and validationRajagopal, Abhilash, January 2007 (has links) (PDF)
Thesis (M.S.)--University of Missouri--Rolla, 2007. / Vita. The entire thesis text is included in file. Title from title screen of thesis/dissertation PDF file (viewed November 26, 2007) Includes bibliographical references (p. 112-113).
|
77 |
A formal framework for linguistic tree query /Lai, Catherine. January 2005 (has links)
Research. Thesis (M.Sc.)--University of Melbourne, Dept. of Computer Science and Software Engineering, 2006. / Typescript. Includes bibliographical references (leaves 163-170).
|
78 |
Model misspecification theory and applications /McCloud, Nadine. January 2008 (has links)
Thesis (Ph. D.)--State University of New York at Binghamton, Department of Economics, 2008. / Includes bibliographical references.
|
79 |
Non-algebraic Zariski geometriesSustretov, Dmitry January 2012 (has links)
The thesis deals with definability of certain Zariski geometries, introduced by Zilber, in the theory of algebraically closed fields. I axiomatise a class of structures, called 'abstract linear spaces', which are a common reduct of these Zariski geometries. I then describe what an interpretation of an abstract linear space in an algebraically closed field looks like. I give a new proof that the structure "quantum harmonic oscillator", introduced by Zilber and Solanki, is not interpretable in an algebraically closed field. I prove that a similar structure from an unpublished note of Solanki is not definable in an algebraically closed field and explain the non-definability of both structures in terms of geometric interpretation of the group law on a Galois cohomology group H<sup>1</sup>(k(x), μ<sub>n</sub>). I further consider quantum Zariski geometries introduced by Zilber and give necessary and sufficient conditions that a quantum Zariski geometry be definable in an algebraically closed field. Finally, I take an attempt at extending the results described above to complex-analytic setting. I define what it means for quantum Zariski geometry to have a complex analytic model, an give a necessary and sufficient conditions for a smooth quantum Zariski geometry to have one. I then prove a theorem giving a partial description of an interpretation of an abstract linear space in the structure of compact complex spaces and discuss the difficulties that present themselves when one tries to understand interpretations of abstract linear spaces and quantum Zariski geometries in the compact complex spaces structure.
|
80 |
Some aspects of introductory continuous logicMalca, Edgar Omar Otiniano January 2015 (has links)
Orientador: Prof. Dr. Vinicius Cifú Lopes / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Matemática , 2015. / We study metric structures by examining their model-theoretic properties under the
view of continuous logic. Also, we compare three of those structures by ultraproduct
techniques. In particular, we give characteristics of Urysohn¿s space among separable
metric spaces.
|
Page generated in 0.0789 seconds