The social sciences playa variety of multifaceted roles in the policymaking process. So varied are these roles, indeed, that it is futile to talk in the singular about the use of social science in policymaking, as if there were one constant relationship between two fixed and stable entities. Instead, to address this issue sensibly one must talk in the plural about uses of dif ferent modes of social scientific inquiry for different kinds of policies under various circumstances. In some cases, (...) the influence of social scientific research is direct and tangible, and the connection between the find ings and the policy is easy to see. In other cases, perhaps most, its influence is indirect-one small piece in a larger mosaic of politics, bargaining, and compromise. Occasionally the findings of social scientific studies are explicitly drawn upon by policymakers in the formation, implementation, or evaluation of particular policies. More often, the categories and theoretical models of social science provide a general background orientation within which policymakers concep tualize problems and frame policy options. At times, the in fluence of social scientific work is cognitive and informational in nature; in other instances, policymakers use social science primarily for symbolic and political purposes in order to le gitimate preestablished goals and strategies. Nonetheless, amid this diversity and variety, troubling general questions persistently arise. (shrink)

In this paper I am advocating a structuralist theory of mental representation. For a structuralist theory of mental representation to be defended satisfactorily, the naturalistic and causal constraints have to be satisfied first. The more intractable of the two, i.e., the naturalistic constraint, indicates that to account for the mental representation, we should not invoke “a full-blown interpreting mind”. So, the aim of the paper is to show how the naturalistic and causal constraints could be satisfied. It aims to offer (...) a strategy for grounding the structure of the mental representations in nature. The strategy that I offer is inspired by Marcello Barbieri’s code model of biosemiotics. (shrink)

Scientific models are often said to be more or less general depending on how many cases they cover. In this paper we argue that the cardinality of cases is insufficient as a metric of generality, and we present a novel account based on measure theory. This account overcomes several problems with the cardinality approach, and additionally provides some insight into the nature of assessments of generality. Specifically, measure theory affords a natural and quantitative way of describing local spaces (...) of possibility. The generality of models can be understood as the measure of possibilities to which the models apply. In order to illustrate our view, we consider the example of structural genomics, the ongoing project of building three-dimensional models of biological macromolecules like proteins. Using measure theory, we interpret the practice of homology modeling, where such models are understood to apply widely but imperfectly to the space of possible proteins. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Adjudicating the Debate Over Two Models of Nature AppreciationSheila Lintott (bio)It seems commonplace to point out that we aesthetically appreciate a wide variety of objects: that is, art objects are not the only good candidates for aesthetic appreciation.1 We know from experience that one can aesthetically appreciate not only Georgia O'Keefe's White Trumpet Flower, but also a white trumpet flower. Similarly, we can aesthetically appreciate both a pictorial (...) representation of the human form and that form instantiated in certain prime specimens. We do so, moreover, without classifying either flowers or human beings as art objects. Yet, the paradigm of aesthetic appreciation today, in both everyday life and in educative contexts, is the appreciation of art, which explains why we tend to try to understand what makes aesthetic appreciation appropriate in terms of what makes art appreciation appropriate. This approach may not be entirely mistaken, for beginning with the familiar is always a good plan. However, it must be done with care, otherwise important differences between our relationships with the art we appreciate and with the nature we appreciate may be overlooked, thereby obscuring salient differences in the appreciation of each.In this essay, I focus on the issue of the appropriate aesthetic appreciation of nature and offer an overview of a contemporary debate on the topic. I begin with a general discussion of art and nature appreciation. I then summarize Kendall Walton's theory of appropriate art appreciation and explain his skepticism regarding the possibility of appropriate and inappropriate nature appreciation. Next, I discuss two models according to which Walton is mistaken, as the philosophers who present these models, Allen Carlson and Noël Carroll, do so to illustrate how nature appreciation can be properly considered appropriate or inappropriate. It may seem that given the recent proliferation of models of nature appreciation, the last thing we should seek is yet another model. However, in the end, I shall argue the need for a new and different kind of model, one that is a revisionist and extensionist model of nature appreciation. [End Page 52]Art and Nature AppreciationConcerning the perceptual activity of the audience, how we ought to appreciate artworks is largely uncontroversial. Perhaps this is why Carlson opens his attempt to understand the aesthetic appreciation of nature with a presentation of the aesthetic appreciation of art, explaining that "with art objects there is a straightforward sense in which we know both what and how to aesthetically appreciate."2 Although not all artworks offer "straightforward" examples of aesthetic appreciation, Carlson's general point is reasonably motivated. As Kendall Walton succinctly explains: "Paintings and sculptures are to be looked at; sonatas and songs are to be heard. What is important about these works of art, as works of art, is what can be seen or heard in them."3 That we ought to look at paintings and listen to sonatas seems obvious for at least two reasons. First, via formal education and informal interactions, we have grown familiar with the conventions of art appreciation; second, such conventions find experiential reinforcement when, for example, our auditory sense is tickled by a Mozart concerto.4Underlying our relative lack of confidence when it comes to nature appreciation is the obvious fact that nature, unlike art, is not an artifact. Nature was not made by beings like us; it was made neither for our use, nor for our entertainment, nor for our appreciation.5 As Carlson puts it, "art objects are our own creations; it is for this reason that we know what is and what is not part of a work, which of its aspects are of aesthetic significance, and how to appreciate them" (ANE, 41). We need, therefore, a model of nature appreciation that will serve as a source of education regarding how best to appreciate nature and will offer the confidence we lack and the guidance we seek.It might seem that we should simply apply our knowledge of art to nature appreciation — that is, appreciate nature as if it were art. However, as numerous philosophers have noticed, this approach is mistaken.6 The mistake is both theoretical and practical. Theoretically, it is a category error... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Adjudicating the Debate Over Two Models of Nature AppreciationSheila Lintott (bio)It seems commonplace to point out that we aesthetically appreciate a wide variety of objects: that is, art objects are not the only good candidates for aesthetic appreciation.1 We know from experience that one can aesthetically appreciate not only Georgia O'Keefe's White Trumpet Flower, but also a white trumpet flower. Similarly, we can aesthetically appreciate both a pictorial (...) representation of the human form and that form instantiated in certain prime specimens. We do so, moreover, without classifying either flowers or human beings as art objects. Yet, the paradigm of aesthetic appreciation today, in both everyday life and in educative contexts, is the appreciation of art, which explains why we tend to try to understand what makes aesthetic appreciation appropriate in terms of what makes art appreciation appropriate. This approach may not be entirely mistaken, for beginning with the familiar is always a good plan. However, it must be done with care, otherwise important differences between our relationships with the art we appreciate and with the nature we appreciate may be overlooked, thereby obscuring salient differences in the appreciation of each.In this essay, I focus on the issue of the appropriate aesthetic appreciation of nature and offer an overview of a contemporary debate on the topic. I begin with a general discussion of art and nature appreciation. I then summarize Kendall Walton's theory of appropriate art appreciation and explain his skepticism regarding the possibility of appropriate and inappropriate nature appreciation. Next, I discuss two models according to which Walton is mistaken, as the philosophers who present these models, Allen Carlson and Noël Carroll, do so to illustrate how nature appreciation can be properly considered appropriate or inappropriate. It may seem that given the recent proliferation of models of nature appreciation, the last thing we should seek is yet another model. However, in the end, I shall argue the need for a new and different kind of model, one that is a revisionist and extensionist model of nature appreciation. [End Page 52]Art and Nature AppreciationConcerning the perceptual activity of the audience, how we ought to appreciate artworks is largely uncontroversial. Perhaps this is why Carlson opens his attempt to understand the aesthetic appreciation of nature with a presentation of the aesthetic appreciation of art, explaining that "with art objects there is a straightforward sense in which we know both what and how to aesthetically appreciate."2 Although not all artworks offer "straightforward" examples of aesthetic appreciation, Carlson's general point is reasonably motivated. As Kendall Walton succinctly explains: "Paintings and sculptures are to be looked at; sonatas and songs are to be heard. What is important about these works of art, as works of art, is what can be seen or heard in them."3 That we ought to look at paintings and listen to sonatas seems obvious for at least two reasons. First, via formal education and informal interactions, we have grown familiar with the conventions of art appreciation; second, such conventions find experiential reinforcement when, for example, our auditory sense is tickled by a Mozart concerto.4Underlying our relative lack of confidence when it comes to nature appreciation is the obvious fact that nature, unlike art, is not an artifact. Nature was not made by beings like us; it was made neither for our use, nor for our entertainment, nor for our appreciation.5 As Carlson puts it, "art objects are our own creations; it is for this reason that we know what is and what is not part of a work, which of its aspects are of aesthetic significance, and how to appreciate them" (ANE, 41). We need, therefore, a model of nature appreciation that will serve as a source of education regarding how best to appreciate nature and will offer the confidence we lack and the guidance we seek.It might seem that we should simply apply our knowledge of art to nature appreciation — that is, appreciate nature as if it were art. However, as numerous philosophers have noticed, this approach is mistaken.6 The mistake is both theoretical and practical. Theoretically, it is a category error... (shrink)

In this article I present HYPER-REF, a model to determine the referent of any given expression in First-Order Logic. I also explain how this model can be used to determine the referent of a first-order theory such as First-Order Arithmetic. By reference or referent I mean the non-empty set of objects that the syntactical terms of a well-formed formula pick out given a particular interpretation of the language. To do so, I will first draw on previous work to (...) make explicit the notion of reference and its hyperintensional features. Then I present HYPER-REF and offer a heuristic method for determining the reference of any formula. Then I discuss some of the benefits and most salient features of HYPER-REF, including some remarks on the nature of self-reference in formal languages. (shrink)

In this paper I review the Neo-Davidsonian semantics of prepositional phrases and secondary predication. I argue that certain types of examples pose challenge to this semantics. I present an alternative to the Neo-Davidsonian analysis which successfully deals with the problematic examples. The core idea lies in representing theta-roles not as functions from events to their participants, but rather as argument-labels encoding the role of each argument in a given verb. As a result, natural-language predicates can now be treated in the (...) manner in which relations are treated in the relational model of data, that is, as naming sets of tuples in which every object is given together with its role named by a corresponding attribute (a theta-role). Such a representation allows the employment of relational algebra operators to calculate the extensions of complex predicates (predicates built out of atomic predicates and/or atomic predicates and prepositions). I lay out the foundations of a relational FOL appropriate for the representation of natural-language predicates and present solutions to the problematic examples. From a practical perspective, the expressions of a relational FOL can be translated to a relational algebra or SQL, which makes it possible to operate with these three languages on the same relational model of data. From a philosophical perspective, a relational FOL permits a return to ‘property-based’ semantics, one in which properties named by predicates are those of individuals, and not of events. (shrink)

In this essay I will examine several features of the dominant contemporary view about the nature and functions of practical reason, a view finding its most natural home in deontological theories within the Kantian tradition.

GUM is a linguistically-motivated ontology originally developed to support natural language processing systems by offering a level of representation intermediate between linguistic forms and domain knowledge. Whereas modeling decisions for individual domains may need to be responsive to domain-specific criteria, a linguistically-motivated ontology offers a characterization that generalizes across domains because its design criteria are derived independently both of domain and of application. With respect to this mediating role, the use of GUM resembles the adoption of upper ontologies as tools (...) for mediating across domains and for supporting domain modeling. This paper briefly introduces the ontology, setting out its origins, design principles and applications. The example cases for this special issue are then described, illustrating particularly some of the principal differences and similarities of GUM to non-linguistically motivated upper ontologies. (shrink)

This paper is devoted to some generalizations of explanatory potential of connectionist approaches to theoretical problems of the philosophy of mind. Are considered both strong, and weaknesses of neural network models. Connectionism has close methodological ties with modern neurosciences and neurophilosophy. And this fact strengthens its positions, in terms of empirical naturalistic approaches. However, at the same time this direction inherits weaknesses of computational approach, and in this case all system of anticomputational critical arguments becomes applicable to the connectionst models (...) of mind. The last developments in the field of deep learning gave rich empirical material for cognitive sciences. Multilayered networks, mathematical models of associative dynamics of learning, self-organizing neuronets and all that allow to explain the principles of human conceptual organizing and after this to emulate these processes in computer systems. At all engineering achievements of this technology there is a traditional criticism from representatives of cognitive psychology who cannot accept a thesis about learning ability of a neuronet on the basis of redistribution of scales. Process of learning of natural intelligence, according to cognitive models, happens due to attraction of knowledge broadcast in a symbolical form (mental representations, concepts) at the expense of the systems of output knowledge expressed in the propositional contents. Some philosophical aspects of «neural metaphor» in modern cognitive sciences create the problem field which demands comprehensive understanding, the first step towards which is taken in this work. (shrink)

I argue that informational models of consciousness, including those proposed by the Integrated Information Theory, don’t presuppose or entail any particular view about the physical or metaphysical nature of consciousness. Such models only tell us how certain properties of consciousness can be mathematically described, thus providing a quantitative characterization of the phenomenon of consciousness that may contribute to the development of new methods of assessment and guide the explanatory project by supplying additional constraints on theoretical proposals. While informational models (...) are in principle compatible with multiple physical interpretations, a preliminary argument in favour of the continuity between informational approaches and the mechanistic project in neuroscience can be made based on historical precedents. (shrink)

It is well-known that classical models of belief are not realistic representations of human doxastic capacity; equally, models of actions involving beliefs, such as decisions based on beliefs, or changes of beliefs, suffer from a similar inaccuracies. In this paper, a general framework is presented which permits a more realistic modelling both of instantaneous states of belief, and of the operations involving them. This framework is motivated by some of the inadequacies of existing models, which it overcomes, whilst retaining (...) technical rigour in so far as it relies on known, natural logical and mathematical notions. The companion paper (Towards a “sophisticated” model of belief dynamics. Part II) contains an application of this framework to the particular case of belief revision. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reading the Bloody "Face of Nature":The Persecution of Religion in Hawthorne's The Marble FaunMartin Kevorkian (bio)Perhaps The Marble Faun is a novel which needs to be seen in a certain light to be fully revealed. Although Hawthorne has always had his admirers and defenders among literary critics, this novel has sometimes been selected for unfavorable comparison"; this 1941 assessment by Dorothy Waples (224) still aptly describes the critical (...) terrain and the challenge of reading Hawthorne's last complete novel. In recent scholarship, Nancy Bentley's The Ethnography of Manners (1995) has been influential in marking The Marble Faun for continued unfavorable comparison. Geoffrey Sanborn (1998), in building a case for the postcolonial intelligence of Herman Melville, uses Bentley's argument about the novel's disregard for the "lower orders of creation" to set up Hawthorne as a representative of the typically blinkered "white male writers" against whose limitations Melville shines (18, 214n33). Hawthorne, especially in The Marble Faun, has become a kind of whipping boy for American literary history.Be that as it may, my concern is not to establish Hawthorne's status as a victim of criticism, but rather to seek a recovery of what may be sacrificed in hasty dismissals of The Marble Faun. The present article proposes that this novel arrives at its greatest insights by a consideration of the dynamics of exclusionary violence as such. Henry James lamented the absence of "real psychology" in the novel, and Ludwig Lewisohn complained about its lack of "acceptable intellectual or moral content" (cited in Waples 1941, 224). Yet the novel's achievement may be seen to meet both these criteria, in part because it delivers an analysis of intellectual history as a history of mimetic sacrifice. In response to Waples's terms of challenge—the need for a certain light that reveals—I suggest that mimetic theory's reading of the Enlightenment allows the novel to disclose more critical historical intelligence than has generally been attributed to it. [End Page 133]This reading will focus on the interaction of three characters: the mysterious Miriam, the mysterious Donatello, and the even more mysterious figure known as the Model. In setting up the action of the narrative, the novel divulges little about the backgrounds of any of these characters but places them in a situation with a readily discernible structure: the relationships between the figures may be defined by the element of pursuit. Donatello follows Miriam wherever she goes. But he is not the only one who does so. The hazy figure of the Model likewise shadows Miriam. The Model's pursuit of Miriam may precede Donatello's, or the two pursuits may be somehow coeval; the novel refuses to specify either pursuit as original, focusing instead on the late-stage escalation of resentment between Donatello and the Model.This mimetic pursuit culminates in the central violent event of the novel: Donatello, claiming authorization from Miriam's glance, hurls the Model from a precipice. I have argued elsewhere that when the protagonists thus decisively act to exclude the shadowy character known as the Model, they enact the foundational move of Enlightenment discourse and the ideal of Platonic dialogue upon which that discourse is based.1 Michel Serres summarizes the Platonic-Enlightenment strategy of communicational purity and clarity:To hold a dialogue is to suppose a third man and to seek to exclude him; a successful communication is the exclusion of the third man. The most profound dialectical problem is not the problem of the Other, who is only a variety—or a variation—of the Same, it is the problem of the third man. We might call this third man the demon, the prosopopeia of noise.(1982, 67)Miriam and Donatello, the united protagonists, indeed demonize the Model in these terms. What I would now add to that equation is the value of the Model's vocational identity: he is a Capuchin monk. Within the communicational framework of my earlier analysis, the most telling details were detected in Hawthorne's emphasis on the Model's "noisy" and "hazy" profile. In hurling the Model from the edge of the precipice and thus silencing his interruptions, Donatello secures for... (shrink)

The increased interactivity and connectivity of computational devices along with the spreading of computational tools and computational thinking across the fields, has changed our understanding of the nature of computing. In the course of this development computing models have been extended from the initial abstract symbol manipulating mechanisms of stand-alone, discrete sequential machines, to the models of natural computing in the physical world, generally concurrent asynchronous processes capable of modelling living systems, their informational structures and dynamics on both symbolic (...) and sub-symbolic information processing levels. Present account of models of computation highlights several topics of importance for the development of new understanding of computing and its role: natural computation and the relationship between the model and physical implementation, interactivity as fundamental for computational modelling of concurrent information processing systems such as living organisms and their networks, and the new developments in logic needed to support this generalized framework. Computing understood as information processing is closely related to natural sciences; it helps us recognize connections between sciences, and provides a unified approach for modeling and simulating of both living and non-living systems. (shrink)

The nature of the scientific method has been a main concern of philosophy from Plato to Mill. In that period logic has been considered to be a part of the methodology of science. Since Mill, however, the situation has completely changed. Logic has ceased to be a part of the methodology of science, and no Discourse on method has been written. Both logic and the methodology of science have stopped dealing with the process of discovery, and generally with the (...) actual process of scientific research. As a result, several first-rate scientists, from Feynman and Weinberg to Dyson and Hawkins, have concluded that philosophy has become useless and totally irrelevant to science. The aim of this paper is to give some indications as to how to develop a logic concerned with the process of discovery and a methodology of science dealing with the actual process of scientific research. (shrink)

In a previous paper we investigated the extraction of proof-theoretic properties of natural deduction derivations from their impredicative translation into System F. Our key idea was to introduce an extended equational theory for System F codifying at a syntactic level some properties found in parametric models of polymorphic type theory. A different approach to extract proof-theoretic properties of natural deduction derivations was proposed in a recent series of papers on the basis of an embedding of intuitionistic propositional logic into a (...) predicative fragment of System F, called atomic System F. In this paper we show that this approach finds a general explanation within our equational study of second-order natural deduction, and a clear semantic justification in terms of parametricity. (shrink)

Legal scholarship exploring the nature of evidence and the process of juridical proof has had a complex relationship with formal modeling. As evident in so many fields of knowledge, algorithmic approaches to evidence have the theoretical potential to increase the accuracy of fact finding, a tremendously important goal of the legal system. The hope that knowledge could be formalized within the evidentiary realm generated a spate of articles attempting to put probability theory to this purpose. This literature was both (...) insightful and frustrating. Much light was shed on the legal system, but it also quickly became evident that the tools of probability theory were in many ways ill-constructed for the task. Fundamental incompatibilities between the structure of legal decision making and the extant formal tools were identified, and it became evident that many of the purported explanations of legal phenomena were internally inconsistent. As a consequence, interest in this type of formal modeling declined, and attention was directed toward different kinds of explanations of the phenomena. Perhaps under the influence of a recent trend toward various types of formal modeling in legal scholarship, a recent burst of articles, rather than attempting to explain the macro structure of trials, which was the previous object of interest, attempts to quantify the probative value of various items of evidence in ways consistent with the formal features of various probability theories, and then to study decision making from that perspective. For example, the value of evidence is often purported to be its likelihood ratio, that is, the probability of discovering or receiving the evidence given a hypothesis (e.g., the defendant did it) divided by the probability of discovering or receiving the evidence given the negation of the hypothesis (the defendant didn't do it). Alternatively, the value of evidence is purported (more contextually) to be the information gain it provides, defined as the increase in probability it provides for a hypothesis above the probability of the hypothesis based on the other available evidence. Both conceptions then assume that all of the various probability assessments conform or ought to conform to the dictates of Bayes' theorem (that maintains consistency among such assessments); empirical studies are then done testing the extent to which this is so and proposing how the law can increase the probability that it is so. The general criticisms of using Bayes' theorem as a formal model of juridical proof are well known and were integral to the last wave of interest in formal modeling of the evidentiary process. This paper thus for the most part puts aside that more general issue, and focuses specifically on mathematical modeling of the value of particular items of evidence. The paper demonstrates that formal modeling has only limited value in explaining the value of legal evidence, much more limited than those constructing and discussing the models assume, and thus that the conclusions they draw about the value of evidence are unwarranted. This is done through a discussion of four recent examples that attempt to quantify evidence relating to, respectively, carpet fibers, infidelity, DNA random-match evidence, and character evidence used to impeach a witness. This article thus makes two contributions. First, and most importantly, it is another demonstration of the complex relationship between algorithmic tools and legal decision making. Second, at a minimum it points out serious pitfalls for analytical or empirical studies of juridical proof. (shrink)

According to the "confrontation model," integrated history and philosophy of science operates like an empirical science. It tests philosophical accounts of science against historical case studies much like other sciences test theory against data. However, the confrontation model's critics object that historical facts can neither support generalizations nor genuinely test philosophical theories. Here I argue that most of the model's defects trace to its usual framing in terms of two problematic accounts of empirical inference: the hypothetico-deductive method (...) and enumerative induction. This framing can be taken to suggest an unprofitable one-off confrontation between particular historical facts and general philosophical theories. I outline more recent accounts of empirical inquiry, which describe an iterative back-and-forth movement between concrete empirical exemplars to their abstract descriptions. Reframed along similar lines, the confrontation model continues to offer both conceptual insight and practical guidance for a naturalized philosophy of science. (shrink)

We study definability in terms of monotone generalized quantifiers satisfying Isomorphism Closure, Conservativity and Extension. Among the quantifiers with the latter three properties - here called CE quantifiers - one finds the interpretations of determiner phrases in natural languages. The property of monotonicity is also linguistically ubiquitous, though some determiners like an even number of are highly non-monotone. They are nevertheless definable in terms of monotone CE quantifiers: we give a necessary and sufficient condition for such definability. We further identify (...) a stronger form of monotonicity, called smoothness, which also has linguistic relevance, and we extend our considerations to smooth quantifiers. The results lead us to propose two tentative universals concerning monotonicity and natural language quantification. The notions involved as well as our proofs are presented using a graphical representation of quantifiers in the so-called number triangle. (shrink)

Models of nature have usually referred to ecological, or more generally, scientific understandings, and have seldom included cultural factors. Recently, however, there has been a trend toward defining nature as a “social construction,” that is, as an artifact of human social and linguistic capability. I argue that constructionism attempts to assimilate nature to an exclusively anthropocentric “reality,” and that it should be seen as expressing long-term industrialist tendencies to separate the “human” and the “natural” realms and to (...) assimilate the latter to the former. Consequently, the constructionist approach, rather than offering us a fertile means of incorporating cultural influences within environmental theorizing, is better viewed as a cognitive counterpart to industrialism’s physical assimilation of the natural world. (shrink)

The nature of the scientific method has been a main concern of philosophy from Plato to Mill. In that period logic has been considered to be a part of the methodology of science. Since Mill, however, the situation has completely changed. Logic has ceased to be a part of the methodology of science, and no Discourse on method has been written. Both logic and the methodology of science have stopped dealing with the process of discovery, and generally with the (...) actual process of scientific research. As a result, several first-rate scientists, from Feynman and Weinberg to Dyson and Hawkins, have concluded that philosophy has become useless and totally irrelevant to science. The aim of this paper is to give some indications as to how to develop a logic concerned with the process of discovery and a methodology of science dealing with the actual process of scientific research. (shrink)

There exists a widespread consensus amongst contemporary jurisprudents, positivists and non-positivists alike, that the meaning of ‘obligation’ should not radically shift from law to morality, or any of the other domains of practical reason. Yet there is limited effort in contemporary discussions of legal obligation to engage with the metaphysics of normativity with an eye to a well-founded account of those elements that deliver its non-conditional character. On a recent occasion I discussed the shortcomings of a prominent positivist account of (...) legal obligation, that of Jules Coleman. In this chapter I turn to a prominent non-positivist account, the model of principle, and argue that, even though it identifies key elements or conditions of normativity simpliciter, it stops short of delivering a conclusive account of unconditional legal obligation, an account that would place legal obligation in the same continuum with all other types of obligation. Taking up from where the model of principle halts, I propose a complementary—if more fundamental—account of normativity simpliciter, which I dub the model of norms. I make a case for it, by looking into universal conditions of normativity and, in conclusion, offer some more specific remarks about the advantages of the model of norms over other competing models. Part 2 looks into the account of legal obligation tendered by the model of principle. According to it, law is an instance of action-directing action or action that purports to get other agents to comply with the ends it sets out to attain. The idea here is that the very logic of action-direction draws moral reasons—principles—into the picture of legal obligation, as the one item that can explain how and whether the facts of a social practice, which purports to direct action, come to acquire the status of reasons for action for the subjects of law. Subsequently, this model is contrasted with an alternative model of obligation that takes facts of authority to constitute reasons of action in virtue solely of their structure. In conclusion it is argued that, in contrast to the second model, the model of principle manages to capture what is distinctive about action-directing action in the domain of law—that is, the special normative significance of the possibility to coerce others under a scheme of public institutions. Part 3 opens by pointing to a more widespread worry that needs to be addressed before the model of principle can be deemed fit for the role it is employed—the worry relates to the ability of principles to constitute genuine reasons for action. In particular, the enquiry investigates the nature of principles and their ability to avoid certain flaws that might pertain to reasons for action in general. In taking up this line of enquiry the paper looks into the more general debate on normativity with a view to specifying requirements that anything which purports to be a reason ought to meet. I employ a rationalist analysis of normativity, which brings the idea that intentional thought is normative to bear on the analysis of the meaning of normative terms, such as ‘ought’, ‘obligation’, ‘duty’. In conclusion, I argue that the content of normativity consists in normative facts—ie norms—which purport to model the content of ideal—or counterfactual—states of the will. Such norms give exhaustively the content of normativity. In light of the above, part 4 advances a two-layered model of norms, with the higher level being populated by norms simpliciter, and the lower by norms in a domain. When considered jointly the two layers ground the possibility of non-conditional obligation without evoking moral realism and the concomitant suspicion of scepticism. On the face of it some key advantages of the model of norms are discussed over the two other models of legal obligation, that of principle and that of authority. On the one hand norms resist the ‘talking past each other objection’ which is commonly levelled against principles. On the other, norms are much better suited to account for the moral limits of action-directing action than either principles or facts of authority, for they illustrate cogently that the grounds of any reason for action already include a concern for others’ autonomy. (shrink)

From the nineteen sixties onwards a branch of philosophy of science has come to development, called history-oriented philosophy of science. This development constitutes a reaction on the then prevailing logical empiricist conception of scientific knowledge. The latter was increasingly seen as suffering from insurmountable internal problems, like e. g. the problems with the particular "observational-theoretical distinction" on which it drew. In addition the logical empiricists' general approach was increasingly criticized for two external shortcomings. Firstly, the examples of scientific knowledge (...) that the logical empiricists were focusing on were con sidered as too simplistic to be informative on the nature of real life science. Secondly, it was felt that the attention of these philosophers of science was restricted to the static aspects of scientific knowledge, while neglecting its developmental aspects. History-oriented philosophy of science has taken up the challenge implicit in the latter two criticisms, i. e. to develop accounts of science that would be more adequate for understanding the development 1 of real life science. One of the more successful products of this branch of philosophy of science is Lakatos's theory of scientific development, sometimes called the "methodology of scientific research programmes". This theory conceives science as consisting of so called research program mes developing in time, and competing with each other over the issue which one generates the best explan~tions of the phenomena that they address. (shrink)

The Chinese concept of wen is examined here in the context of contemporary gene theory and the "cultural branch" of gene theory called "memetics." The Chinese notion of wen is an untranslatable term meaning "pattern," "structure," "writing," and "literature." Wen hua—generally translated as "culture"—signifies the process through which one adopts wen. However, this process is not simply one of civilizational mimesis or imitation but the "creation" of a new pattern. Within a gene-wen debate we are able to read genes neither (...) in terms of nature or culture but, in a Chinese way, in terms of "nature-culture." "Posthuman" or "transhuman" models that celebrate the creation of techno-biobodies (cyborgs) as the continuation of the human by nonhuman means are still dependent on a clear distinction between nature and technology (culture) that is rooted in the Greek and Christian traditions. bioengineering does not do more than gradually replacing the "given" by the "made" until the body is seen as a commodity malleable in the hands of modern technology. A wen-based genetics offers a new perspective on nature-culture continuity because it is not trapped in nature but involved in a concept of wen that a Western mind tends to identify too quickly with natural necessity. (shrink)

Evolutionary developmental biologists categorize many different kinds of things, from ontogenetic stages to modules of gene activity. The process of categorization—the establishment of “kinds”—is an implicit part of describing the natural world in consistent, useful ways, and has an essentially practical rather than philosophical basis. Kinds commonly serve one of three purposes: they may function (1) as practical tools for communication; (2) to support prediction and generalization; or (3) as a basis for theoretical discussions. Beyond the minimal requirement that classifications (...) reflect biological reality, what sorts of kinds or classification will be useful in advancing a research program depends on the epistemological context. Thus, the important meaning of “natural” in “natural kinds” is not “natural with respect to nature,” but “natural with respect to the question.” This conclusion arises from the recognition that the proper role of concepts (e.g. natural kind, module, homology, model) is not to answer biological questions, but rather to help frame them. From a scientist’s perspective, arguing about the wording (or existence) of a single definition of “natural” or “kind” is beside the point: we get more work done by letting the question at hand determine what kinds of kinds are natural, on the basis of their ability to help answer it. We should be content to let “natural kinds” remain vague, multivalent, and–therefore broadly useful. For a philosopher like Hacking, the diverse, disparate, and ultimately incommensurable uses of the term “natural kind” have diluted its value so far that it loses all meaning. For practicing scientists, however, defining useful kinds in the context of particular questions and systems remains a productive epistemological strategy. (shrink)

In the paper I discuss the problem of the nature of the relationship between objects and their properties. There are three contexts of the problem: of comparison, of change and of interaction. Philosophical explanations of facts indicated in the three contexts need reference to properties and to a proper understanding of a relationship between them and their bearers. My aim is to get closer to this understanding with the use of some models but previously I present the substantialist theory (...) of object and shortly argue for its main theses. The two models enabling us the understanding of the subject–properties structure are: the plastic stuff model and the functional model. On the ground of the first a subject is compared to a piece of plastic stuff which is informed by different shapes. Properties are ways how a subject is, they “give” some “figure” to a subject. The core idea of the second model is that essences (performing the role of subjects) are immanent functional laws governing correlations of properties. As such they are similar to mathematical functions which are saturated by values. The relationship between a subject and properties can be grasped by analogy to such a saturation. (shrink)

The notion of maximal greatness is arguably part of the very concept of God: something greater than God is not even possible. But how should we understand this notion? The aim of this paper is to provide a Śaivist answer to this question by analyzing the form of theism advocated in the Pratyabhijñā tradition. First, I extract a model of divine greatness, the Hierarchical Model, from Nagasawa’s work "Maximal God". According to the Hierarchical Model, God is that (...) than which nothing could be greater by virtue of being better suited than all other beings in relation to certain great-making properties (§1). I then offer an analysis of the form of theism advocated in the Pratyabhijñā tradition by discussing passages from the works of Somānanda, the founder of the Pratyabhijñā school, and of Utpaladeva, the most prominent of Somānanda’s disciples. I argue that the Pratyabhijñā theist cannot account for divine greatness in terms of the Hierarchical Model. My argument is that the Hierarchical Model requires a comparison between God and other beings that cannot be made with the Pratyabhijñā God (§2). Finally, I develop an original alternative model, the Unlimited Nature Model, that accounts for God’s maximal greatness in a way that suits Pratyabhijñā’s theism. According to the Unlimited Nature Model, the nature of all ordinary beings is metaphysically limited as a result of realizing only a small portion of the potential of what could be, and God is maximally great because only he has a completely unlimited nature (§3). (shrink)

The article is devoted to the analysis of ontological and epistemological models of the transcendent and transcendental in ancient philosophy, which allows us to understand the genesis and foundations of the main variants of metaphysics in classical thought. In general, constructions of ancient Greek thought are characterized by the understanding of the transcendent as "other" being, the higher sphere of the "cosmos of nature", which has specific spatio-temporal properties, which is outside the immanent world of man. Ontological terms, (...) the Cosmos was subdivided into earthly being, in which a man lives, and being "beyond", inaccessible to a man because of his bodily and vital limitations. In epistemological terms the transcendent was considered incomprehensible for sensory cognition, but accessible for cognition of the speculative, although not in full. The metaphysical model of the transcendental created by antiquity did not provide for the existence of an independent "human cosmos" isolated from the external world. The main task of the transcendental method was to determine the conditions by which it is possible to think of the data of empirical observations. (shrink)

The article considers the changing status of natural beauty in the twentieth century. This situation is presented with reference to extreme changes of interest connected with this field of value. The article begins by exploring some current theoretical presuppositions concerning this field . The focus of the following sections is on a pioneering text, which ended a long period of indifference to natural beauty – namely, Ronald W. Hepburn’s “Contemporary Aesthetics and the Neglect of Natural Beauty” . This famous essay (...) is considered in relation to both the general problem of the distinction and the subsequent development of models of the aesthetic appreciation of nature in the second half of the twentieth century , which were profoundly anticipated by Hepburn. (shrink)

Since its inception, experimental social psychology has arguably been of two minds about the nature and role of theory. Contemporary social psychology's experimental approach has been strongly informed by the “nomological-deductive” approach of Carl Hempel in tandem with the “hypothetico-deducive” approach of Karl Popper. Social psychology's commitment to this hybrid model of science has produced at least two serious obstacles to more fruitful theorizing about human experience: the problem of situational specificity, and the manifest impossibility of formulating meaningful (...) general laws of human social behavior. It is argued that a social psychology based on the search for this kind of lawfulness, under the auspices of either a strict or loose interpretation of the largely Hempelian model, is ultimately unworkable. An alternative approach to social psychology that is attentive both to the need for understanding individual situations and behaviors and to the need for generalized understanding of actual human behaviors is offered. This approach is grounded in the hermeneutic tradition. (shrink)

Formulation of a general model of evolution is presented which is based upon the recognition of the ?biosocial? entity, that is the biosphere and human society, as a component?system. It can be demonstrated that the interactions of the components (moleculas, cells, organisms, ecosystems in the biological realms and people, artifacts and ideas in the societies) have replicative organization. We suggest an explanation for the spontaneous emergence of replicative function and organization, a process called autogenesis. During autogenesis, hierarchical levels (...) of replicative organization emerge and compartmentalization and convergence of replicative information occurs. Questions of the origin and evolution of life are discussed. The replicative paradigm can also be applied to the processes of cultural evolution, in which complex replicative networks of people, ideas, and man?made artifacts show all stages and phenomena of autogenesis. Finally, the present state of evolution of the whole global biosocial system is discussed. (shrink)

Since its inception, experimental social psychology has arguably been of two minds about the nature and role of theory. Contemporary social psychology's experimental approach has been strongly informed by the “nomological-deductive” approach of Carl Hempel in tandem with the “hypothetico-deducive” approach of Karl Popper. Social psychology's commitment to this hybrid model of science has produced at least two serious obstacles to more fruitful theorizing about human experience: the problem of situational specificity, and the manifest impossibility of formulating meaningful (...) general laws of human social behavior. It is argued that a social psychology based on the search for this kind of lawfulness, under the auspices of either a strict or loose interpretation of the largely Hempelian model, is ultimately unworkable. An alternative approach to social psychology that is attentive both to the need for understanding individual situations and behaviors and to the need for generalized understanding of actual human behaviors is offered. This approach is grounded in the hermeneutic tradition. (shrink)

The concept of natural behavior is a key element in current Dutch policy-making on animal welfare. It emphasizes that animals need positive experiences, in addition to minimized suffering. This paper interprets the concept of natural behavior in the context of the scientific framework for welfare assessment. Natural behavior may be defined as behavior that animals have a tendency to exhibit under natural conditions, because these behaviors are pleasurable and promote biological functioning. Animal welfare is the quality of life as perceived (...) by the animal. Animals have evolved cognitive-emotional systems (“welfare needs”) to deal with a variable environment. Animals do not only have so-called physiological needs such as the need for food, water, and thermal comfort. They also need to exercise certain natural behaviors such as rooting or nest-building in pigs, and scratching or dust-bathing in poultry. All needs must be taken into account in order to assess overall welfare. The degree of need satisfaction and frustration can be assessed from scientific information about the intensity, duration, and incidence of (welfare) performance criteria such as measurements of behavior and/or (patho)physiology. Positive welfare value relates to how animals are inclined to behave under natural conditions, in preference tests, and in consumer-demand studies. Negative welfare value relates to stress, frustration, abnormal behavior, aggression, and reduced fitness. Examples are given to illustrate how the need to perform natural behaviors can be assessed following the general principles for welfare assessment, providing a first approximation of how different natural behaviors affect animal welfare. (shrink)

Spinoza’s remarks on the exemplar or model of human nature, while few and brief, have far-reaching consequences for his ethics. While commentators have offered a variety of interpretations of the model and its implications, there has been near unanimous agreement on one point, that the identity of the model is the free man, described from E4P66S to E4P73. Since the free man is completely self-determining and, thus, perfectly free and rational, this reading indicates that Spinoza’s ethics (...) sets exceptionally high goals, aiming to make us purely active beings. While this conclusion has been embraced in some quarters—particularly by those who see his ethics as aiming to make us like God—it has also been criticized as intolerant of human weakness and vulnerability. Most work on this subject has been concerned to explain what it means for the free man to serve as the model. This is a difficult task, since Spinoza pointedly claims that it is impossible for human beings to become completely self-determining and, thus, free men. Consequently, it is unclear what implications his claims about the free man have for us, ordinary humans. This paper takes a different approach: I will show that reading the free man as the model of human nature, while intuitively appealing, does not stand up to close scrutiny. The argument for this claim has two prongs: the first asserts that there is not sufficient textual evidence to establish that Spinoza intended the free man to serve as the model; the second asserts that this reading is impossible to reconcile with Spinoza’s other philosophical commitments. In particular, Spinoza holds that we pursue the model of human nature, as well as the general ethical goals of attaining our good and perfection, under the guidance of reason. It would be inconsistent with this claim for Spinoza’s ethics to be founded upon attaining a goal that reason reveals as unattainable and, even, confused. In addition to this negative thesis, I will also defend a positive one: the model of human nature should rather be understood as representing the greatest possible perfection of our nature as it is revealed by reason. The free man meanwhile should be understood as working toward a different goal, determining what is good and bad in the emotions. In making this claim, we offer a very different picture of Spinoza’s ethical goals, for reason shows that our nature is conatus, which is a finite mode and, as such, necessarily determined by and passive with respect to other finite modes. Consequently, a model derived from reason will represent the perfection of this nature as passive to some extent. In this way, I provide a picture of Spinoza’s ethics that takes a more sympathetic view of human weakness and vulnerability. (shrink)

"The term 'model' has become fashionable". What Mary Hesse characterized in the mid-1960s as a trend in logic, mathematics, and the natural sciences, applies today in general for a broad spectrum of disciplines. Today models appear to be of "extraordinary importance" compared to the first half of the twentieth century, when models were neither mentioned nor contemplated, either generally in scientific publications or specifically in the philosophy of science. It is even assumed that models are "the key to (...) science" and that today's science is largely... (shrink)

This volume addresses the question of time from the perspective of the time of nature. Its aim is to provide some insights about the nature of time on the basis of the different uses of the concept of time in natural sciences. Presenting a dialogue between philosophy and science, it features a collection of papers that investigate the representation, modeling and understanding of time as they appear in physics, biology, geology and paleontology. It asks questions such as: whether (...) or not the notions of time in the various sciences are reducible to the same physical time, what status should be given to timescale differences, or what are the specific epistemic issues raised by past facts in natural sciences. The book first explores the experience of time and its relation to time in nature in a set of chapters that bring together what human experience and physics enable metaphysicians, logicians and scientists to say about time. Next, it studies time in physics, including some puzzling paradoxes about time raised by the theory of relativity and quantum mechanics. The volume then goes on to examine the distinctive problems and conceptions of time in the life sciences. It explores the concept of deep time in paleontology and geology, time in the epistemology of evolutionary biology, and time in developmental biology. Each scientific discipline features a specific approach to time and uses distinctive methodologies for implementing time in its models. This volume seeks to define a common language to conceive of the distinct ways different scientific disciplines view time. In the process, it offers a new approach to the issue of time that will appeal to a wide range of readers: philosophers and historians of science, metaphysicians and natural scientists - be they scholars, advanced students or readers from an educated general audience. (shrink)

This paper draws upon my research into the posthumously published fragmentary remains of Hölderlin and Novalis's philosophical reflections to describe how their explanations of the possibility of self-consciousness are far more convincing than those provided by their philosophical contemporaries, and still have much to contribute to contemporary debates concerning the nature of 'consciousness' and 'selfhood.' The paper begins by sketching the background to their accounts of self-consciousness, that is, Fichte's critique of Kant's 'reflection model' of self-consciousness and the (...) subsequent critique of Fichte's 'solution' to this problem by more orthodox Kantians. I shall then present an account of how Hölderlin and Novalis may be said to enact a 'synthesis' of the opposed Kantian and Fichtean positions, to formulate an account of self-consciousness that on one hand acknowledges the power of—in Henrich's words—Fichtes ursprüngliche Einsicht into the inadequacy of the Kantian 'reflection model,' whilst, on the other hand, re-appropriating such a 'reflection model.' They thus argue that I am only aware of myself as T by means of a reflective act, whilst at the same time arguing that such awareness nevertheless involves a non-reflective 'dimension.' For Hölderlin and Novalis, therefore, consciousness is always intentionally directed, and yet in being intentionally directed, it is also non-reflectively related to itself or "self-luminous" sea conception of consciousness which has similarities with Sartre's conception of the 'pre-reflective cogito.'. (shrink)

Scientific cognitivism, a main position in Western environmental aesthetics, claims scientific knowledge plays a major role in the aesthetic appreciation of nature. However, the claim is controversial. This study reexamines the history of United States environmental attitudes around the nineteenth century and claims art has played the main role in nature appreciation, even with the emphasis on scientific knowledge. This paper proposes a tri-stage, Scientific Knowledge-Aesthetic Value Transformation Model and argues nature appreciation is indirectly related to (...) knowledge. Scientific knowledge plays a part in the first, pre-appreciation stage and helps build the impression of nature that bridges scientific cognition with aesthetic appreciation in the second, impression-rebuilt stage. Finally, the engagement model is required in the third, appreciation stage. This paper also presents a two-dimensional evaluation criterion to assess various approaches of nature appreciation and artworks. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the (...) normative principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific theories. The book (...) describes the role played by this metamathematical framework in three main aspects: considerations of formal languages employed to axiomatize scientific theories, the role of the axiomatic method itself, and the way set-theoretical structures, which play the role of the models of theories, are developed. The authors also discuss the differences and philosophical relevance of the two basic ways of aximoatizing a scientific theory, namely Patrick Suppes’ set theoretical predicates and the "da Costa and Chuaqui" approach. This book engages with important discussions of the nature of scientific theories and will be a useful resource for researchers and upper-level students working in philosophy of science. (shrink)

My charge in this chapter is to set out the positive case supporting massively modular models of the human mind.1 Unfortunately, there is no generally accepted understanding of what a massively modular model of the mind is. So at least some of our discussion will have to be terminological. I shall begin by laying out the range of things that can be meant by ‘modularity’. I shall then adopt a pair of strategies. One will be to distinguish some things (...) that ‘modularity’ definitely can’t mean, if the thesis of massive modularity is to be even remotely plausible. The other will be to look at some of the arguments that have been offered in support of massive modularity, discussing what notion of ‘module’ they might warrant. It will turn out that there is, indeed, a strong case in support of massively modular models of the mind on one reasonably natural understanding of ‘module’. But what really matters in the end, of course, is the substantive question of what sorts of structure are adequate to account for the organization and operations of the human mind, not whether or not the components appealed to in that account get described as ‘modules’. So the more interesting question before us is what the arguments that have been offered in support of massive modularity can succeed in showing us about those structures, whatever they get called. (shrink)

Philosophers of science have used various formulations of the "random mutation--natural selection" scheme to explain the development of scientific knowledge. But the uncritical acceptance of this evolutionary model has led to substantive problems concerning the relation between fact and theory. The primary difficulty lies in the fact that those who adopt this model (Popper and Kuhn, for example) are led to claim that theories arise chiefly through the processes of relatively random change. Systems theory constitutes a general (...) criticism of this model insofar as it demonstrates the necessity of supplementing this mechanism with the non-random influences exercised by the internal organization of a system on its own development. (shrink)

Our cognitive competence is well accounted for by our evolutionary niche in the world's scheme of things. The development of inquiry in natural science is best understood on analogy with exploration -- to be sure, not in the geographical mode but rather exploration in nature's parametric space of such physical quantities as temperature, pressure, and field strength. The technology-mediated exploration at issue here involves an interaction between us humans and nature that becomes increasingly difficult as we move ever (...) farther away from the home base of the accustomed environment of our evolutionary heritage. The course of scientific progress accordingly involves a technological escalation -- an ascent to successively higher levels of technological sophistication that is unavoidably required for the production of the requisite observational data. (shrink)

In a theological understanding of nature, what is the significance of herons? This article reflects on the question of herons by first describing how bird migration can be included in a theological approach to nature. To explore the theological meaning of migration, theology must model nature as defined by the idea of 'emplacement'. Next, it investigates how the migration of herons challenges and complements our sense of dwelling by detailing the different ways that herons are emplaced (...) as migratory birds. It concludes by offering three insights into the place of herons in a philosophical theology of nature. First, migrating herons and other non-human animals penetrate into nature as both radically particular creatures and anonymously general ones. Second, herons push us to understand the theological meaning of the otherness of Otherness. Third, non-human animals remind us to move beyond solipsistic views of our emplacement. Together with a general description of the elements of emplacement that are added by the migration of herons, we see how we are theologically influenced by the 'intimate distance' of herons. (shrink)

In the dissertation we study the complexity of generalized quantifiers in natural language. Our perspective is interdisciplinary: we combine philosophical insights with theoretical computer science, experimental cognitive science and linguistic theories. -/- In Chapter 1 we argue for identifying a part of meaning, the so-called referential meaning (model-checking), with algorithms. Moreover, we discuss the influence of computational complexity theory on cognitive tasks. We give some arguments to treat as cognitively tractable only those problems which can be computed in polynomial (...) time. Additionally, we suggest that plausible semantic theories of the everyday fragment of natural language can be formulated in the existential fragment of second-order logic. -/- In Chapter 2 we give an overview of the basic notions of generalized quantifier theory, computability theory, and descriptive complexity theory. -/- In Chapter 3 we prove that PTIME quantifiers are closed under iteration, cumulation and resumption. Next, we discuss the NP-completeness of branching quantifiers. Finally, we show that some Ramsey quantifiers define NP-complete classes of finite models while others stay in PTIME. We also give a sufficient condition for a Ramsey quantifier to be computable in polynomial time. -/- In Chapter 4 we investigate the computational complexity of polyadic lifts expressing various readings of reciprocal sentences with quantified antecedents. We show a dichotomy between these readings: the strong reciprocal reading can create NP-complete constructions, while the weak and the intermediate reciprocal readings do not. Additionally, we argue that this difference should be acknowledged in the Strong Meaning hypothesis. -/- In Chapter 5 we study the definability and complexity of the type-shifting approach to collective quantification in natural language. We show that under reasonable complexity assumptions it is not general enough to cover the semantics of all collective quantifiers in natural language. The type-shifting approach cannot lead outside second-order logic and arguably some collective quantifiers are not expressible in second-order logic. As a result, we argue that algebraic (many-sorted) formalisms dealing with collectivity are more plausible than the type-shifting approach. Moreover, we suggest that some collective quantifiers might not be realized in everyday language due to their high computational complexity. Additionally, we introduce the so-called second-order generalized quantifiers to the study of collective semantics. -/- In Chapter 6 we study the statement known as Hintikka's thesis: that the semantics of sentences like ``Most boys and most girls hate each other'' is not expressible by linear formulae and one needs to use branching quantification. We discuss possible readings of such sentences and come to the conclusion that they are expressible by linear formulae, as opposed to what Hintikka states. Next, we propose empirical evidence confirming our theoretical predictions that these sentences are sometimes interpreted by people as having the conjunctional reading. -/- In Chapter 7 we discuss a computational semantics for monadic quantifiers in natural language. We recall that it can be expressed in terms of finite-state and push-down automata. Then we present and criticize the neurological research building on this model. The discussion leads to a new experimental set-up which provides empirical evidence confirming the complexity predictions of the computational model. We show that the differences in reaction time needed for comprehension of sentences with monadic quantifiers are consistent with the complexity differences predicted by the model. -/- In Chapter 8 we discuss some general open questions and possible directions for future research, e.g., using different measures of complexity, involving game-theory and so on. -/- In general, our research explores, from different perspectives, the advantages of identifying meaning with algorithms and applying computational complexity analysis to semantic issues. It shows the fruitfulness of such an abstract computational approach for linguistics and cognitive science. (shrink)