Steve Awodey
- Published in print:
- 2006
- Published Online:
- September 2007
- ISBN:
- 9780198568612
- eISBN:
- 9780191717567
- Item type:
- book
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198568612.001.0001
- Subject:
- Mathematics, Algebra
This book is a text and reference book on Category Theory, a branch of abstract algebra. The book contains clear definitions of the essential concepts, which are illuminated with numerous accessible ...
More
This book is a text and reference book on Category Theory, a branch of abstract algebra. The book contains clear definitions of the essential concepts, which are illuminated with numerous accessible examples. It provides full proofs of all the important propositions and theorems, and aims to make the basic ideas, theorems, and methods of Category Theory understandable. Although it assumes few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; and monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided.Less
This book is a text and reference book on Category Theory, a branch of abstract algebra. The book contains clear definitions of the essential concepts, which are illuminated with numerous accessible examples. It provides full proofs of all the important propositions and theorems, and aims to make the basic ideas, theorems, and methods of Category Theory understandable. Although it assumes few mathematical pre-requisites, the standard of mathematical rigour is not compromised. The material covered includes the standard core of categories; functors; natural transformations; equivalence; limits and colimits; functor categories; representables; Yoneda's lemma; adjoints; and monads. An extra topic of cartesian closed categories and the lambda-calculus is also provided.
D. Huybrechts
- Published in print:
- 2006
- Published Online:
- September 2007
- ISBN:
- 9780199296866
- eISBN:
- 9780191711329
- Item type:
- book
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199296866.001.0001
- Subject:
- Mathematics, Geometry / Topology
This book provides a systematic exposition of the theory of Fourier-Mukai transforms from an algebro-geometric point of view. Assuming a basic knowledge of algebraic geometry, the key aspect of this ...
More
This book provides a systematic exposition of the theory of Fourier-Mukai transforms from an algebro-geometric point of view. Assuming a basic knowledge of algebraic geometry, the key aspect of this book is the derived category of coherent sheaves on a smooth projective variety. The derived category is a subtle invariant of the isomorphism type of a variety, and its group of autoequivalences often shows a rich structure. As it turns out — and this feature is pursued throughout the book — the behaviour of the derived category is determined by the geometric properties of the canonical bundle of the variety. Including notions from other areas, e.g., singular cohomology, Hodge theory, abelian varieties, K3 surfaces; full proofs and exercises are provided. The final chapter summarizes recent research directions, such as connections to orbifolds and the representation theory of finite groups via the McKay correspondence, stability conditions on triangulated categories, and the notion of the derived category of sheaves twisted by a gerbe.Less
This book provides a systematic exposition of the theory of Fourier-Mukai transforms from an algebro-geometric point of view. Assuming a basic knowledge of algebraic geometry, the key aspect of this book is the derived category of coherent sheaves on a smooth projective variety. The derived category is a subtle invariant of the isomorphism type of a variety, and its group of autoequivalences often shows a rich structure. As it turns out — and this feature is pursued throughout the book — the behaviour of the derived category is determined by the geometric properties of the canonical bundle of the variety. Including notions from other areas, e.g., singular cohomology, Hodge theory, abelian varieties, K3 surfaces; full proofs and exercises are provided. The final chapter summarizes recent research directions, such as connections to orbifolds and the representation theory of finite groups via the McKay correspondence, stability conditions on triangulated categories, and the notion of the derived category of sheaves twisted by a gerbe.
John L. Bell
- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198568520
- eISBN:
- 9780191717581
- Item type:
- book
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198568520.001.0001
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy
This is the third edition of a well-known graduate textbook on Boolean-valued models of set theory. The aim of the first and second editions was to provide a systematic and adequately motivated ...
More
This is the third edition of a well-known graduate textbook on Boolean-valued models of set theory. The aim of the first and second editions was to provide a systematic and adequately motivated exposition of the theory of Boolean-valued models as developed by Scott and Solovay in the 1960s, deriving along the way the central set theoretic independence proofs of Cohen and others in the particularly elegant form that the Boolean-valued approach enables them to assume. In this edition, the background material has been augmented to include an introduction to Heyting algebras. It includes chapters on Boolean-valued analysis and Heyting-algebra-valued models of intuitionistic set theory.Less
This is the third edition of a well-known graduate textbook on Boolean-valued models of set theory. The aim of the first and second editions was to provide a systematic and adequately motivated exposition of the theory of Boolean-valued models as developed by Scott and Solovay in the 1960s, deriving along the way the central set theoretic independence proofs of Cohen and others in the particularly elegant form that the Boolean-valued approach enables them to assume. In this edition, the background material has been augmented to include an introduction to Heyting algebras. It includes chapters on Boolean-valued analysis and Heyting-algebra-valued models of intuitionistic set theory.
Sam Glucksberg
- Published in print:
- 2001
- Published Online:
- January 2008
- ISBN:
- 9780195111095
- eISBN:
- 9780199872107
- Item type:
- book
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780195111095.001.0001
- Subject:
- Psychology, Cognitive Psychology
The book presents a comprehensive account of how people understand metaphors and idioms in everyday discourse. Traditionally, figurative language has been considered to be derived from and more ...
More
The book presents a comprehensive account of how people understand metaphors and idioms in everyday discourse. Traditionally, figurative language has been considered to be derived from and more complex than literal language. The book presents an alternative view, arguing that figurative language makes use of the same kinds of linguistic and pragmatic operations that are used for literal language. A new theory of metaphor comprehension integrates linguistic, philosophical, and psychological perspectives to account for figurative language use. The theory's central tenet is that everyday conversational metaphors are used spontaneously to create new concepts and categories. Metaphor is special only in the sense that metaphorical categories are salient examples of the things that they represent. These categories get their names from the best examples of those categories. Thus, the literal “shark” can be a metaphor for any vicious and predatory creature. Because the same term, “shark”, is used for both its literal referent and for the metaphorical category, as in “my lawyer is a shark”, such terms have dual-reference. In this way, metaphors simultaneously refer to the abstract metaphorical category and to the most salient literal exemplar of that category, as in the expression “boys (literal) will be boys (metaphorical)”. The book concludes with a comprehensive treatment of idiom use, and an analysis and critique (written by Matthew McGlone) of conceptual metaphor in the context of how people understand both conventional and novel figurative expressions.Less
The book presents a comprehensive account of how people understand metaphors and idioms in everyday discourse. Traditionally, figurative language has been considered to be derived from and more complex than literal language. The book presents an alternative view, arguing that figurative language makes use of the same kinds of linguistic and pragmatic operations that are used for literal language. A new theory of metaphor comprehension integrates linguistic, philosophical, and psychological perspectives to account for figurative language use. The theory's central tenet is that everyday conversational metaphors are used spontaneously to create new concepts and categories. Metaphor is special only in the sense that metaphorical categories are salient examples of the things that they represent. These categories get their names from the best examples of those categories. Thus, the literal “shark” can be a metaphor for any vicious and predatory creature. Because the same term, “shark”, is used for both its literal referent and for the metaphorical category, as in “my lawyer is a shark”, such terms have dual-reference. In this way, metaphors simultaneously refer to the abstract metaphorical category and to the most salient literal exemplar of that category, as in the expression “boys (literal) will be boys (metaphorical)”. The book concludes with a comprehensive treatment of idiom use, and an analysis and critique (written by Matthew McGlone) of conceptual metaphor in the context of how people understand both conventional and novel figurative expressions.
Claude Hagège
- Published in print:
- 2010
- Published Online:
- May 2010
- ISBN:
- 9780199575008
- eISBN:
- 9780191722578
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199575008.003.0006
- Subject:
- Linguistics, Syntax and Morphology
This concluding chapter begins with a review of discussions in the preceding chapters. It then discusses adpositions as morpholexical units shedding light on a theory of linguistic categories; ...
More
This concluding chapter begins with a review of discussions in the preceding chapters. It then discusses adpositions as morpholexical units shedding light on a theory of linguistic categories; adpositions as midpoints and images of language leaks and diachronic drifts; and morphology as the most linguistic component of human languages.Less
This concluding chapter begins with a review of discussions in the preceding chapters. It then discusses adpositions as morpholexical units shedding light on a theory of linguistic categories; adpositions as midpoints and images of language leaks and diachronic drifts; and morphology as the most linguistic component of human languages.
Paul Crowther
- Published in print:
- 2010
- Published Online:
- May 2010
- ISBN:
- 9780199579976
- eISBN:
- 9780191722615
- Item type:
- book
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199579976.001.0001
- Subject:
- Philosophy, Aesthetics, History of Philosophy
This book explains the perceptual knowledge involved in aesthetic judgements. It does so by linking Kant's aesthetics to a critically upgraded account of his theory of knowledge. This upgraded theory ...
More
This book explains the perceptual knowledge involved in aesthetic judgements. It does so by linking Kant's aesthetics to a critically upgraded account of his theory of knowledge. This upgraded theory emphasizes conceptual and imaginative structures, which Kant terms respectively, ‘categories’ and ‘schemata’. By describing examples of aesthetic judgement, it is shown that these judgements must involve categories and fundamental schemata (even though Kant himself, and most other commentators, have not fully appreciated the fact). It is argued, in turn, that this shows the aesthetic to be not just one kind of pleasurable experience amongst others, but one based on factors necessary to objective knowledge and personal identity, and one, indeed, which plays a role in how these capacities develop. The explanation of how individual aesthetic judgements claim universal validity, and the aesthetic basis of art, however, requires that the Kantian position is developed further. This is done by exploring his ideas concerning critical comparisons in the cultivation of taste, and art's relation to aesthetic ideas and genius. By linking earlier points to a more developed account of comparative critical factors, the Kantian approach offers a satisfying and comprehensive explanation of aesthetic experience and fine art. It is shown to also encompass some kinds of avant-garde work that were previously thought to limit its relevance.Less
This book explains the perceptual knowledge involved in aesthetic judgements. It does so by linking Kant's aesthetics to a critically upgraded account of his theory of knowledge. This upgraded theory emphasizes conceptual and imaginative structures, which Kant terms respectively, ‘categories’ and ‘schemata’. By describing examples of aesthetic judgement, it is shown that these judgements must involve categories and fundamental schemata (even though Kant himself, and most other commentators, have not fully appreciated the fact). It is argued, in turn, that this shows the aesthetic to be not just one kind of pleasurable experience amongst others, but one based on factors necessary to objective knowledge and personal identity, and one, indeed, which plays a role in how these capacities develop. The explanation of how individual aesthetic judgements claim universal validity, and the aesthetic basis of art, however, requires that the Kantian position is developed further. This is done by exploring his ideas concerning critical comparisons in the cultivation of taste, and art's relation to aesthetic ideas and genius. By linking earlier points to a more developed account of comparative critical factors, the Kantian approach offers a satisfying and comprehensive explanation of aesthetic experience and fine art. It is shown to also encompass some kinds of avant-garde work that were previously thought to limit its relevance.
Jonathan Wolff and Avner De-Shalit
- Published in print:
- 2007
- Published Online:
- May 2007
- ISBN:
- 9780199278268
- eISBN:
- 9780191707902
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199278268.003.0004
- Subject:
- Political Science, Political Theory
This chapter argues the importance of examining not only what functionings a person achieves, but also his or her prospect of securing and sustaining a level of functioning should he or she attempt ...
More
This chapter argues the importance of examining not only what functionings a person achieves, but also his or her prospect of securing and sustaining a level of functioning should he or she attempt to do so. Key determinants of their prospects are: their probability of success, and what they have to sacrifice to achieve that probability of success. Thus, a key aspect of disadvantage is for one's functionings being or becoming insecure involuntarily, or when in order to secure certain functionings, one is forced to make other functionings insecure in a way that other people do not have to do. Accordingly, a policy of rectifying disadvantage would need to pay special attention to the question of how to secure functionings and how to avoid cross-category risk, i.e., when a risk spreads to other functionings. It is suggested that if a snapshot of a person's functioning is to be represented as a bar chart, the heights and widths of each bar should represent the functioning level achieved and the functioning's security, respectively.Less
This chapter argues the importance of examining not only what functionings a person achieves, but also his or her prospect of securing and sustaining a level of functioning should he or she attempt to do so. Key determinants of their prospects are: their probability of success, and what they have to sacrifice to achieve that probability of success. Thus, a key aspect of disadvantage is for one's functionings being or becoming insecure involuntarily, or when in order to secure certain functionings, one is forced to make other functionings insecure in a way that other people do not have to do. Accordingly, a policy of rectifying disadvantage would need to pay special attention to the question of how to secure functionings and how to avoid cross-category risk, i.e., when a risk spreads to other functionings. It is suggested that if a snapshot of a person's functioning is to be represented as a bar chart, the heights and widths of each bar should represent the functioning level achieved and the functioning's security, respectively.
Steve Awodey
- Published in print:
- 2006
- Published Online:
- September 2007
- ISBN:
- 9780198568612
- eISBN:
- 9780191717567
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198568612.003.0004
- Subject:
- Mathematics, Algebra
This chapter focuses on some of the connections between groups and categories. It focuses on three different aspects of the relationship between categories and groups: groups in a category, the ...
More
This chapter focuses on some of the connections between groups and categories. It focuses on three different aspects of the relationship between categories and groups: groups in a category, the category of groups, and groups as categories. There are some exercises in the last part of the chapter.Less
This chapter focuses on some of the connections between groups and categories. It focuses on three different aspects of the relationship between categories and groups: groups in a category, the category of groups, and groups as categories. There are some exercises in the last part of the chapter.
Justin Willis
- Published in print:
- 1993
- Published Online:
- October 2011
- ISBN:
- 9780198203209
- eISBN:
- 9780191675782
- Item type:
- book
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198203209.001.0001
- Subject:
- History, World Modern History
This is a history of the Kenyan city of Mombasa and its surrounding settlements from the mid-19th century to the height of colonial rule in the 1930s. The book places the island and town of Mombasa ...
More
This is a history of the Kenyan city of Mombasa and its surrounding settlements from the mid-19th century to the height of colonial rule in the 1930s. The book places the island and town of Mombasa in its African context, incorporating the findings of historical and anthropological research. It examines the institutions and social networks that simultaneously united and divided the people of the region before the colonial period, demonstrating both their interdependence and the creation of distinct population categories. The book traces the development of these institutions under British rule, when the demands of the colonial economy caused officials to attempt far-reaching changes to the social structure and to physically remake the town of Mombasa. This is a re-interpretation of the history of Mombasa and its hinterland, based on archival research. It offers insights into the nature of ethnic identity.Less
This is a history of the Kenyan city of Mombasa and its surrounding settlements from the mid-19th century to the height of colonial rule in the 1930s. The book places the island and town of Mombasa in its African context, incorporating the findings of historical and anthropological research. It examines the institutions and social networks that simultaneously united and divided the people of the region before the colonial period, demonstrating both their interdependence and the creation of distinct population categories. The book traces the development of these institutions under British rule, when the demands of the colonial economy caused officials to attempt far-reaching changes to the social structure and to physically remake the town of Mombasa. This is a re-interpretation of the history of Mombasa and its hinterland, based on archival research. It offers insights into the nature of ethnic identity.
Ruth Garrett Millikan
- Published in print:
- 2005
- Published Online:
- February 2006
- ISBN:
- 9780199284764
- eISBN:
- 9780191603167
- Item type:
- book
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0199284768.001.0001
- Subject:
- Philosophy, Philosophy of Language
Guiding the work of most linguists and philosophers of language today is the assumption that language is governed by rules. This volume presents a different way of viewing the partial regularities ...
More
Guiding the work of most linguists and philosophers of language today is the assumption that language is governed by rules. This volume presents a different way of viewing the partial regularities that language displays, the way they express norms and conventions. It argues that the central norms applying to language are non-evaluative; they are more like those norms of function and behavior that account for the survival and proliferation of biological species. Specific linguistic forms survive and are reproduced together with cooperative hearer responses because some portion of the time these patterns of production and response benefit both speakers and hearers. What needs to be reproduced, however, for a given language to survive is not specific conceptual rules or inference patterns, but only satisfaction conditions concerning distal objects and properties, and essential elements of hearer response. Thus, the psychological processes that support the use of proper names, of words for kinds, properties and so forth, need to be examined anew, resulting in a fairly uncompromising rejection of conceptual analysis as a tool in philosophy. Further results concern the distinction between the propositional content and the force of a linguistic utterance and a new description of illocutionary acts. It turns out that neither the intentionality of thought nor the intentionality of language is derived from the other. Also, the processes involved in understanding language are best modeled as a form of direct perception of the world parallel, for example, to perception mediated by the natural signs contained in structured light, and results in a radically new description of how children learn language.Less
Guiding the work of most linguists and philosophers of language today is the assumption that language is governed by rules. This volume presents a different way of viewing the partial regularities that language displays, the way they express norms and conventions. It argues that the central norms applying to language are non-evaluative; they are more like those norms of function and behavior that account for the survival and proliferation of biological species. Specific linguistic forms survive and are reproduced together with cooperative hearer responses because some portion of the time these patterns of production and response benefit both speakers and hearers. What needs to be reproduced, however, for a given language to survive is not specific conceptual rules or inference patterns, but only satisfaction conditions concerning distal objects and properties, and essential elements of hearer response. Thus, the psychological processes that support the use of proper names, of words for kinds, properties and so forth, need to be examined anew, resulting in a fairly uncompromising rejection of conceptual analysis as a tool in philosophy. Further results concern the distinction between the propositional content and the force of a linguistic utterance and a new description of illocutionary acts. It turns out that neither the intentionality of thought nor the intentionality of language is derived from the other. Also, the processes involved in understanding language are best modeled as a form of direct perception of the world parallel, for example, to perception mediated by the natural signs contained in structured light, and results in a radically new description of how children learn language.
Masahiko Aoki
- Published in print:
- 2010
- Published Online:
- May 2010
- ISBN:
- 9780199218530
- eISBN:
- 9780191711510
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199218530.003.0004
- Subject:
- Business and Management, Corporate Governance and Accountability, Strategy
Based on the recent development of epistemic game theory, this chapter attempts to resolve longstanding contested issues across social science disciplines about the nature and origin of institutions. ...
More
Based on the recent development of epistemic game theory, this chapter attempts to resolve longstanding contested issues across social science disciplines about the nature and origin of institutions. These issues include: institutions as a pre-play design vs. spontaneous order, deontic constraints vs. rational choice, regularity of actions vs. shared meanings, endogenous and exogenous views, and so on. It argues that for a societal order to evolve through the recursive play of societal games, some social cognitive categories such as formal laws, norms, rules, and ritual, and organizations need to mediate between physical actions and the behavioral beliefs of individual players. Thus, pure methodological individualism must be laid to rest in institutional analysis. From such perspectives this chapter describes how institutions evolve and what the roles of business corporations can be in that process.Less
Based on the recent development of epistemic game theory, this chapter attempts to resolve longstanding contested issues across social science disciplines about the nature and origin of institutions. These issues include: institutions as a pre-play design vs. spontaneous order, deontic constraints vs. rational choice, regularity of actions vs. shared meanings, endogenous and exogenous views, and so on. It argues that for a societal order to evolve through the recursive play of societal games, some social cognitive categories such as formal laws, norms, rules, and ritual, and organizations need to mediate between physical actions and the behavioral beliefs of individual players. Thus, pure methodological individualism must be laid to rest in institutional analysis. From such perspectives this chapter describes how institutions evolve and what the roles of business corporations can be in that process.
Dov-Ber Kerler
- Published in print:
- 1993
- Published Online:
- October 2011
- ISBN:
- 9780198151661
- eISBN:
- 9780191672798
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198151661.003.0008
- Subject:
- Literature, European Literature
The eighteenth century represents a shift from the old to the new and modern literature. It involved the reprinting, adaption, and transition of the original forms, which occurred in various stages ...
More
The eighteenth century represents a shift from the old to the new and modern literature. It involved the reprinting, adaption, and transition of the original forms, which occurred in various stages and in a systematic and organized fashion. Most examinations of this stage of reform have focused on the early and mid-eighteenth century, and little information is found towards the end of the century. To be able to understand it further, the chapter divides the changes that occurred into categories. Reprints are works that had only very minimal alteration, while re-editions have a larger number but more systemic change. Revision, on the other hand, is an extensive revision of the old form into a structure that fully adapts to modern concepts.Less
The eighteenth century represents a shift from the old to the new and modern literature. It involved the reprinting, adaption, and transition of the original forms, which occurred in various stages and in a systematic and organized fashion. Most examinations of this stage of reform have focused on the early and mid-eighteenth century, and little information is found towards the end of the century. To be able to understand it further, the chapter divides the changes that occurred into categories. Reprints are works that had only very minimal alteration, while re-editions have a larger number but more systemic change. Revision, on the other hand, is an extensive revision of the old form into a structure that fully adapts to modern concepts.
Steve Awodey
- Published in print:
- 2006
- Published Online:
- September 2007
- ISBN:
- 9780198568612
- eISBN:
- 9780191717567
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198568612.003.0008
- Subject:
- Mathematics, Algebra
This chapter presents the proof for the Yoneda Lemma, which is probably the single most used result in category theory. It is interesting how often it comes up, especially in view of the fact that it ...
More
This chapter presents the proof for the Yoneda Lemma, which is probably the single most used result in category theory. It is interesting how often it comes up, especially in view of the fact that it is a straightforward generalization of facts that are fairly easily shown in relation to monoids and posets. The topics discussed include set-valued functor categories, Yoneda embedding, limits in categories of diagrams, colimits in categories of diagrams, exponentials in categories of diagrams, and Topoi. Exercises are provided in the last part of the chapter.Less
This chapter presents the proof for the Yoneda Lemma, which is probably the single most used result in category theory. It is interesting how often it comes up, especially in view of the fact that it is a straightforward generalization of facts that are fairly easily shown in relation to monoids and posets. The topics discussed include set-valued functor categories, Yoneda embedding, limits in categories of diagrams, colimits in categories of diagrams, exponentials in categories of diagrams, and Topoi. Exercises are provided in the last part of the chapter.
E. J. Lowe
- Published in print:
- 2005
- Published Online:
- May 2006
- ISBN:
- 9780199254392
- eISBN:
- 9780191603600
- Item type:
- book
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0199254397.001.0001
- Subject:
- Philosophy, Metaphysics/Epistemology
The four-category ontology is a metaphysical system recognizing two fundamental categorial distinctions — these being between the particular and the universal, and between the substantial and the ...
More
The four-category ontology is a metaphysical system recognizing two fundamental categorial distinctions — these being between the particular and the universal, and between the substantial and the non-substantial — which cut across each other to generate four fundamental ontological categories. The four categories thus generated are substantial particulars (‘objects’), non-substantial particulars (‘modes’), substantial universals (‘kinds’), and non-substantial universals (‘attributes’). This ontology has a lengthy pedigree, with many commentators attributing a version of it to Aristotle on the basis of certain passages in one of his early works, the Categories. Although it has been revived or rediscovered at various times during the history of western philosophy, it has never found widespread favour, perhaps due to its apparent lack of parsimony and its commitment to universals. In pursuit of ontological economy, metaphysicians have generally preferred to recognize fewer than four fundamental ontological categories. This book contends that the four-category ontology has an explanatory power which is unrivalled by more parsimonious systems, and that this counts decisively in its favour. It provides a uniquely powerful explanatory framework for a unified account of causation, dispositions, natural laws, natural necessity, and many other related matters, such as the semantics of counterfactual conditionals. The book is divided into four parts: the first setting out the framework of the four-category ontology, the second focusing on its central distinction between object and property, the third exploring its applications in the philosophy of natural science, and the fourth dealing with fundamental issues of truth and realism.Less
The four-category ontology is a metaphysical system recognizing two fundamental categorial distinctions — these being between the particular and the universal, and between the substantial and the non-substantial — which cut across each other to generate four fundamental ontological categories. The four categories thus generated are substantial particulars (‘objects’), non-substantial particulars (‘modes’), substantial universals (‘kinds’), and non-substantial universals (‘attributes’). This ontology has a lengthy pedigree, with many commentators attributing a version of it to Aristotle on the basis of certain passages in one of his early works, the Categories. Although it has been revived or rediscovered at various times during the history of western philosophy, it has never found widespread favour, perhaps due to its apparent lack of parsimony and its commitment to universals. In pursuit of ontological economy, metaphysicians have generally preferred to recognize fewer than four fundamental ontological categories. This book contends that the four-category ontology has an explanatory power which is unrivalled by more parsimonious systems, and that this counts decisively in its favour. It provides a uniquely powerful explanatory framework for a unified account of causation, dispositions, natural laws, natural necessity, and many other related matters, such as the semantics of counterfactual conditionals. The book is divided into four parts: the first setting out the framework of the four-category ontology, the second focusing on its central distinction between object and property, the third exploring its applications in the philosophy of natural science, and the fourth dealing with fundamental issues of truth and realism.
Alex Simpson
- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780198566519
- eISBN:
- 9780191713927
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780198566519.003.0003
- Subject:
- Mathematics, Logic / Computer Science / Mathematical Philosophy
This chapter advocates a pragmatic approach to constructive set theory, using axioms based solely on set-theoretic principles that are directly relevant to (constructive) mathematical practice. The ...
More
This chapter advocates a pragmatic approach to constructive set theory, using axioms based solely on set-theoretic principles that are directly relevant to (constructive) mathematical practice. The aim is to leave the notion of set as unconstrained as possible, while remaining consistent with the ways in which sets are actually used in mathematical practice. Following this approach, the chapter presents theories ranging in power from weaker predicative theories to stronger impredicative ones. The theories considered all have sound and complete classes of category-theoretic models, obtained by axiomatizing the structure of an ambient category of classes together with its subcategory of sets. In certain special cases, the categories of sets have independent characterizations in familiar category-theoretic terms, and one thereby obtains a rich source of naturally occurring mathematical models for (both predicative and impredicative) constructive set theories.Less
This chapter advocates a pragmatic approach to constructive set theory, using axioms based solely on set-theoretic principles that are directly relevant to (constructive) mathematical practice. The aim is to leave the notion of set as unconstrained as possible, while remaining consistent with the ways in which sets are actually used in mathematical practice. Following this approach, the chapter presents theories ranging in power from weaker predicative theories to stronger impredicative ones. The theories considered all have sound and complete classes of category-theoretic models, obtained by axiomatizing the structure of an ambient category of classes together with its subcategory of sets. In certain special cases, the categories of sets have independent characterizations in familiar category-theoretic terms, and one thereby obtains a rich source of naturally occurring mathematical models for (both predicative and impredicative) constructive set theories.
Adele Goldberg
- Published in print:
- 2005
- Published Online:
- September 2007
- ISBN:
- 9780199268511
- eISBN:
- 9780191708428
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199268511.003.0006
- Subject:
- Linguistics, Theoretical Linguistics
As many psychologists have emphasized, human categorization is generally driven by some functional pressure, typically the need to predict or infer certain properties on the basis of perceived ...
More
As many psychologists have emphasized, human categorization is generally driven by some functional pressure, typically the need to predict or infer certain properties on the basis of perceived characteristics. In the case of language, the language learner's goal is to understand and to be understood: to comprehend and produce language. There is ample functional pressure to predict meaning on the basis of given lexical items and grammatical characteristics (comprehension). Conversely, there is pressure to predict the choice of lexical items and grammatical characteristics given the message to be conveyed (production). Since the sentences the child is learning to understand and produce form an open-ended set, it is not sufficient to simply memorize the sentences that have been heard. The child must necessarily generalize those patterns at least to some extent in order to understand and produce new utterances. In the first part of this chapter, it is argued that the predictive value of constructions encourages speakers to learn them. A second motivation for representing generalized constructions is suggested as well, namely that constructions are primed in production.Less
As many psychologists have emphasized, human categorization is generally driven by some functional pressure, typically the need to predict or infer certain properties on the basis of perceived characteristics. In the case of language, the language learner's goal is to understand and to be understood: to comprehend and produce language. There is ample functional pressure to predict meaning on the basis of given lexical items and grammatical characteristics (comprehension). Conversely, there is pressure to predict the choice of lexical items and grammatical characteristics given the message to be conveyed (production). Since the sentences the child is learning to understand and produce form an open-ended set, it is not sufficient to simply memorize the sentences that have been heard. The child must necessarily generalize those patterns at least to some extent in order to understand and produce new utterances. In the first part of this chapter, it is argued that the predictive value of constructions encourages speakers to learn them. A second motivation for representing generalized constructions is suggested as well, namely that constructions are primed in production.
D. Huybrechts
- Published in print:
- 2006
- Published Online:
- September 2007
- ISBN:
- 9780199296866
- eISBN:
- 9780191711329
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199296866.003.0001
- Subject:
- Mathematics, Geometry / Topology
Reviewing the basic notions of additive and abelian categories, left and right adjoint functors, and Serre functors, this chapter is mainly devoted to triangulated categories. In particular, criteria ...
More
Reviewing the basic notions of additive and abelian categories, left and right adjoint functors, and Serre functors, this chapter is mainly devoted to triangulated categories. In particular, criteria are established which decide when a given functor is fully-faithful or an equivalence. This is formulated in terms of spanning classes. The last section discusses exceptional objects in triangulated categories which lead naturally to the notion of orthogonal decompositions of categories.Less
Reviewing the basic notions of additive and abelian categories, left and right adjoint functors, and Serre functors, this chapter is mainly devoted to triangulated categories. In particular, criteria are established which decide when a given functor is fully-faithful or an equivalence. This is formulated in terms of spanning classes. The last section discusses exceptional objects in triangulated categories which lead naturally to the notion of orthogonal decompositions of categories.
D. Huybrechts
- Published in print:
- 2006
- Published Online:
- September 2007
- ISBN:
- 9780199296866
- eISBN:
- 9780191711329
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/acprof:oso/9780199296866.003.0002
- Subject:
- Mathematics, Geometry / Topology
This chapter briefly outlines the main steps in the construction of the derived category of an arbitrary abelian category. The homotopy category of complexes is considered as an intermediate step, ...
More
This chapter briefly outlines the main steps in the construction of the derived category of an arbitrary abelian category. The homotopy category of complexes is considered as an intermediate step, which is then localized with respect to quasi-isomorphisms. Left and right derived functors are explained in general, and particular examples are studied in more detail. Spectral sequences are treated in a separate section.Less
This chapter briefly outlines the main steps in the construction of the derived category of an arbitrary abelian category. The homotopy category of complexes is considered as an intermediate step, which is then localized with respect to quasi-isomorphisms. Left and right derived functors are explained in general, and particular examples are studied in more detail. Spectral sequences are treated in a separate section.
Richard Breen
- Published in print:
- 2004
- Published Online:
- November 2004
- ISBN:
- 9780199258451
- eISBN:
- 9780191601491
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0199258457.003.0001
- Subject:
- Political Science, European Union
Outlines the objectives and layout of the volume; discusses the main theories that have guided empirical research on intergenerational social mobility and the findings of this research; and explains ...
More
Outlines the objectives and layout of the volume; discusses the main theories that have guided empirical research on intergenerational social mobility and the findings of this research; and explains the main concepts and instruments (such as the class schema) that are used in the book.Less
Outlines the objectives and layout of the volume; discusses the main theories that have guided empirical research on intergenerational social mobility and the findings of this research; and explains the main concepts and instruments (such as the class schema) that are used in the book.
Henry Laycock
- Published in print:
- 2006
- Published Online:
- May 2006
- ISBN:
- 9780199281718
- eISBN:
- 9780191603594
- Item type:
- chapter
- Publisher:
- Oxford University Press
- DOI:
- 10.1093/0199281718.003.0006
- Subject:
- Philosophy, Philosophy of Language
The notion of an ‘ideal language’ or ‘concept-script’ is explicated and defended, and constraints upon formal systems imposed by the ideal of transparency are explored. It is argued that non-singular ...
More
The notion of an ‘ideal language’ or ‘concept-script’ is explicated and defended, and constraints upon formal systems imposed by the ideal of transparency are explored. It is argued that non-singular symbolisms, including non-singular variables, largely fail to satisfy such constraints. In general, the semantics of non-singular expressions do not transparently reflect the corresponding ontic categories. The conditions for the possibility of transparent non-singular assertions, freed from the concept of identity, are briefly explored. The questionable influence within philosophy of the ‘Classical’ Weltanschaung is highlighted.Less
The notion of an ‘ideal language’ or ‘concept-script’ is explicated and defended, and constraints upon formal systems imposed by the ideal of transparency are explored. It is argued that non-singular symbolisms, including non-singular variables, largely fail to satisfy such constraints. In general, the semantics of non-singular expressions do not transparently reflect the corresponding ontic categories. The conditions for the possibility of transparent non-singular assertions, freed from the concept of identity, are briefly explored. The questionable influence within philosophy of the ‘Classical’ Weltanschaung is highlighted.
