This book examines the geometrical notion of orthogonality, and shows how to use it as the primitive concept on which to base a metric structure in affine geometry. The subject has a long history, and an extensive literature, but whatever novelty there may be in the study presented here comes from its focus on geometries hav­ ing lines that are self-orthogonal, or even singular (orthogonal to all lines). The most significant examples concern four-dimensional special-relativistic spacetime (Minkowskian geometry), and its var­ ious sub-geometries, and these will be prominent throughout. But the project is intended as an exercise in the foundations of geome­ try that does not presume a knowledge of physics, and so, in order to provide the appropriate intuitive background, an initial chapter has been included that gives a description of the different types of line (timelike, spacelike, lightlike) that occur in spacetime, and the physical meaning of the orthogonality relations that hold between them. The coordinatisation of affine spaces makes use of constructions from projective geometry, including standard results about the ma­ trix represent ability of certain projective transformations (involu­ tions, polarities). I have tried to make the work sufficiently self­ contained that it may be used as the basis for a course at the ad­ vanced undergraduate level, assuming only an elementary knowledge of linear and abstract algebra.

There are good reasons to believe that nonstandard analysis, in some ver­ sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at the upper undergraduate level, but the work as a whole, including the later applications, may be more suited to a beginning graduate course. This prefacedescribes my motivationsand objectives in writingthe book. For the most part, these remarks are addressed to the potential instructor. Mathematical understanding develops by a mysterious interplay between intuitive insight and symbolic manipulation. Nonstandard analysis requires an enhanced sensitivity to the particular symbolic form that is used to ex­ press our intuitions, and so the subject poses some unique and challenging pedagogical issues. The most fundamental ofthese is how to turn the trans­ fer principle into a working tool of mathematical practice. I have found it vi Preface unproductive to try to give a proof of this principle by introducing the formal Tarskian semantics for first-order languages and working through the proofofLos's theorem.

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Robert Goldblatt is Professor of Pure Mathematics at New Zealand's Victoria University. 1983 edition.

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation of quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible 'cover semantics' for propositional and quantified relevant logic, adapting ideas from the Kripke-Joyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists.

Many systems of quantified modal logic cannot be characterised by Kripke''s well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general ''admissible semantics'', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation of quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible ''cover semantics'' for propositional and quantified relevant logic, adapting ideas from the Kripke–Joyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists.

There are good reasons to believe that nonstandard analysis, in some ver­ sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at the upper undergraduate level, but the work as a whole, including the later applications, may be more suited to a beginning graduate course. This prefacedescribes my motivationsand objectives in writingthe book. For the most part, these remarks are addressed to the potential instructor. Mathematical understanding develops by a mysterious interplay between intuitive insight and symbolic manipulation. Nonstandard analysis requires an enhanced sensitivity to the particular symbolic form that is used to ex­ press our intuitions, and so the subject poses some unique and challenging pedagogical issues. The most fundamental ofthese is how to turn the trans­ fer principle into a working tool of mathematical practice. I have found it vi Preface unproductive to try to give a proof of this principle by introducing the formal Tarskian semantics for first-order languages and working through the proofofLos''s theorem.

There are good reasons to believe that nonstandard analysis, in some ver­ sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at the upper undergraduate level, but the work as a whole, including the later applications, may be more suited to a beginning graduate course. This prefacedescribes my motivationsand objectives in writingthe book. For the most part, these remarks are addressed to the potential instructor. Mathematical understanding develops by a mysterious interplay between intuitive insight and symbolic manipulation. Nonstandard analysis requires an enhanced sensitivity to the particular symbolic form that is used to ex­ press our intuitions, and so the subject poses some unique and challenging pedagogical issues. The most fundamental ofthese is how to turn the trans­ fer principle into a working tool of mathematical practice. I have found it vi Preface unproductive to try to give a proof of this principle by introducing the formal Tarskian semantics for first-order languages and working through the proofofLos's theorem.

This book examines the geometrical notion of orthogonality, and shows how to use it as the primitive concept on which to base a metric structure in affine geometry. The subject has a long history, and an extensive literature, but whatever novelty there may be in the study presented here comes from its focus on geometries hav­ ing lines that are self-orthogonal, or even singular (orthogonal to all lines). The most significant examples concern four-dimensional special-relativistic spacetime (Minkowskian geometry), and its var­ ious sub-geometries, and these will be prominent throughout. But the project is intended as an exercise in the foundations of geome­ try that does not presume a knowledge of physics, and so, in order to provide the appropriate intuitive background, an initial chapter has been included that gives a description of the different types of line (timelike, spacelike, lightlike) that occur in spacetime, and the physical meaning of the orthogonality relations that hold between them. The coordinatisation of affine spaces makes use of constructions from projective geometry, including standard results about the ma­ trix represent ability of certain projective transformations (involu­ tions, polarities). I have tried to make the work sufficiently self­ contained that it may be used as the basis for a course at the ad­ vanced undergraduate level, assuming only an elementary knowledge of linear and abstract algebra.

This book examines the geometrical notion of orthogonality, and shows how to use it as the primitive concept on which to base a metric structure in affine geometry. The subject has a long history, and an extensive literature, but whatever novelty there may be in the study presented here comes from its focus on geometries hav­ ing lines that are self-orthogonal, or even singular (orthogonal to all lines). The most significant examples concern four-dimensional special-relativistic spacetime (Minkowskian geometry), and its var­ ious sub-geometries, and these will be prominent throughout. But the project is intended as an exercise in the foundations of geome­ try that does not presume a knowledge of physics, and so, in order to provide the appropriate intuitive background, an initial chapter has been included that gives a description of the different types of line (timelike, spacelike, lightlike) that occur in spacetime, and the physical meaning of the orthogonality relations that hold between them. The coordinatisation of affine spaces makes use of constructions from projective geometry, including standard results about the ma­ trix represent ability of certain projective transformations (involu­ tions, polarities). I have tried to make the work sufficiently self­ contained that it may be used as the basis for a course at the ad­ vanced undergraduate level, assuming only an elementary knowledge of linear and abstract algebra.

There are good reasons to believe that nonstandard analysis, in some ver­ sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at the upper undergraduate level, but the work as a whole, including the later applications, may be more suited to a beginning graduate course. This prefacedescribes my motivationsand objectives in writingthe book. For the most part, these remarks are addressed to the potential instructor. Mathematical understanding develops by a mysterious interplay between intuitive insight and symbolic manipulation. Nonstandard analysis requires an enhanced sensitivity to the particular symbolic form that is used to ex­ press our intuitions, and so the subject poses some unique and challenging pedagogical issues. The most fundamental ofthese is how to turn the trans­ fer principle into a working tool of mathematical practice. I have found it vi Preface unproductive to try to give a proof of this principle by introducing the formal Tarskian semantics for first-order languages and working through the proofofLos's theorem.

A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Robert Goldblatt is Professor of Pure Mathematics at New Zealand's Victoria University. 1983 edition.

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation of quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible 'cover semantics' for propositional and quantified relevant logic, adapting ideas from the Kripke-Joyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists.

Many systems of quantified modal logic cannot be characterised by Kripke''s well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general ''admissible semantics'', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation of quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible ''cover semantics'' for propositional and quantified relevant logic, adapting ideas from the Kripke–Joyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists.

There are good reasons to believe that nonstandard analysis, in some ver­ sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at the upper undergraduate level, but the work as a whole, including the later applications, may be more suited to a beginning graduate course. This prefacedescribes my motivationsand objectives in writingthe book. For the most part, these remarks are addressed to the potential instructor. Mathematical understanding develops by a mysterious interplay between intuitive insight and symbolic manipulation. Nonstandard analysis requires an enhanced sensitivity to the particular symbolic form that is used to ex­ press our intuitions, and so the subject poses some unique and challenging pedagogical issues. The most fundamental ofthese is how to turn the trans­ fer principle into a working tool of mathematical practice. I have found it vi Preface unproductive to try to give a proof of this principle by introducing the formal Tarskian semantics for first-order languages and working through the proofofLos''s theorem.

There are good reasons to believe that nonstandard analysis, in some ver­ sion or other, will be the analysis of the future. KURT GODEL This book is a compilation and development of lecture notes written for a course on nonstandard analysis that I have now taught several times. Students taking the course have typically received previous introductions to standard real analysis and abstract algebra, but few have studied formal logic. Most of the notes have been used several times in class and revised in the light of that experience. The earlier chapters could be used as the basis of a course at the upper undergraduate level, but the work as a whole, including the later applications, may be more suited to a beginning graduate course. This prefacedescribes my motivationsand objectives in writingthe book. For the most part, these remarks are addressed to the potential instructor. Mathematical understanding develops by a mysterious interplay between intuitive insight and symbolic manipulation. Nonstandard analysis requires an enhanced sensitivity to the particular symbolic form that is used to ex­ press our intuitions, and so the subject poses some unique and challenging pedagogical issues. The most fundamental ofthese is how to turn the trans­ fer principle into a working tool of mathematical practice. I have found it vi Preface unproductive to try to give a proof of this principle by introducing the formal Tarskian semantics for first-order languages and working through the proofofLos's theorem.

This book examines the geometrical notion of orthogonality, and shows how to use it as the primitive concept on which to base a metric structure in affine geometry. The subject has a long history, and an extensive literature, but whatever novelty there may be in the study presented here comes from its focus on geometries hav­ ing lines that are self-orthogonal, or even singular (orthogonal to all lines). The most significant examples concern four-dimensional special-relativistic spacetime (Minkowskian geometry), and its var­ ious sub-geometries, and these will be prominent throughout. But the project is intended as an exercise in the foundations of geome­ try that does not presume a knowledge of physics, and so, in order to provide the appropriate intuitive background, an initial chapter has been included that gives a description of the different types of line (timelike, spacelike, lightlike) that occur in spacetime, and the physical meaning of the orthogonality relations that hold between them. The coordinatisation of affine spaces makes use of constructions from projective geometry, including standard results about the ma­ trix represent ability of certain projective transformations (involu­ tions, polarities). I have tried to make the work sufficiently self­ contained that it may be used as the basis for a course at the ad­ vanced undergraduate level, assuming only an elementary knowledge of linear and abstract algebra.