In this paper we prove that the free algebras in a subvariety equation image of the variety equation image of semi-Heyting algebras are directly decomposable if and only if equation image satisfies the Stone identity.

This book throws new light on the way in which the Internet impacts on democracy. Based on Jürgen Habermas' discourse-theoretical reconstruction of democracy, it examines one of the world's largest, most diverse but also most unequal democracies, Brazil, in terms of the broad social and legal effects the internet has had. Focusing on the Brazilian constitutional evolution, the book examines how the Internet might impact on the legitimacy of a democratic order and if, and how, it might yield opportunities for (...) democratic empowerment. The book also assesses the ways in which law, as an institution and a system, reacts to the changes and challenges brought about by the Internet: the ways in which law may retain its strength as an integrative force, avoiding a 'virtual' legitimacy crisis. (shrink)

The rise of foundational dualism and the eclipse of the body -- "Body am I entirely, and nothing else": non-reductive materialism and the struggle against dualism -- Toward a materialist phenomenology of religion -- The phenomenology of embodiment and the study of religion -- Religious bodies as social artifacts -- Holding social constructionism in check: the recovery of the active, lived body -- A cultural neurophenomenology of religion: enter the embodied mind -- The eclipse of practice: textualism at large -- (...) "Ceci n'est pas un texte": from textualism to practice -- Expanding the conversation on emplaced religion -- Mobility, networks, and ecology. (shrink)

The central aim of the present investigation is to shed light on Nietzsche’s understanding of happiness and a good life, starting from Nietzsche’s appropriation of Plato’s and Aristotle’s doctrine of a hierarchy of human beings and forms of life.

La pena natural es una situación paradójica que se puede presentar cuando el autor de un delito, al cometerlo o a causa de éste, ha sufrido un daño igual o mayor al que padecería si el juez de la causa le aplicara la pena estatal prevista para tal conducta. Se da con frecuencia al juzgar ciertos accidentes viales, cuando el acusado ya carga el peso de ser quien, por imprudencia, mató a su pareja o familiar cercano, por ejemplo. Pero ¿en (...) qué situaciones y cómo cabe recurrir a la pena natural? En esta investigación, Manuel Serrano explora las diversas aristas y posturas en pugna que atraviesan este tema, donde se cruzan cuestiones como la idea de la “culpa compensada”, la prohibición de aplicar castigo doble por un mismo hecho (non bis in idem) y la clemencia judicial. El autor desmonta la estructura conceptual de la pena natural, estudia jurisprudencia argentina y recorre producciones teóricas de juristas que se han preocupado por este asunto complejo, profundo y poco abordado del derecho penal. (shrink)

O texto que ora apresentamos é o conteúdo de uma Palestra proferida em Agosto de 2011, em Lisboa, e discute alguns pareceres de Hegel sobre o ensino da filosofia na Universidade, e especilamente nos Liceus. Nosso objetivo é discorrer sobre as três fundamentais “lições” que se pode inferir das meditações hegelianas acerca do ensino da filosofia, a saber: 1) o professor tem que pensar; 2) a filosofia (e o filosofar) não é tão-somente um mero formalismo; 3) a dialéctica se configura (...) como textura, conteúdo, do real e como ocupação nuclear de uma penetração pensante do ser. Primeiramente, nossa argumentação evidencia que, para Hegel, o professor tem que pensar porque este ato é uma exigência fundante do seu trabalho docente de formação. No segundo momento, demonstramos que Hegel se posiciona contrário à tese que afirma o formalismo na contraposição filosofia versus filosofar. Em terceiro lugar, expomos que, para Hegel, o ensino e a aprendizagem devem se ocupar, necessariamente, da dialéctica, na medida em que esta não é um mero instrumento da técnica pedagógica, mas porque ela é constitutiva do pensar e da manifestação do ser no mundo. (shrink)

This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...) the lattice of subvarieties lambda (Q subscript 3) of the variety Q subscript 3. (shrink)

Este artigo tem como objetivo principal investigar a relação existente entre a percepção da felicidade dos brasileiros, sua satisfação com a vida e a satisfação com o regime democrático no período de 2017 a 2020. Nossa hipótese de trabalho postula que o declínio da felicidade e da satisfação com a vida, de uma forma geral, guarda relação de associação com a satisfação com a democracia e suas instituições. Assim, o artigo sugere que felicidade e democracia no Brasil são duas variáveis (...) associadas que ajudam a explicar em parte as fragilidades de nosso regime democrático e devem ser foco de atenção de nossas políticas públicas. A base empírica deste artigo é a sétima onda da Pesquisa Mundial de Valores (WVS, 2017-2020), por meio de pesquisa quantitativa, tipo survey, que utilizaremos para demonstrar nosso argumento. (shrink)

This paper discusses the logical space of alternative conceptual engineering projects, with a specific focus on (1) the processes, (2) the targets and goals, and (3) the methods of such projects. We present an overview of how these three aspects interact in the contemporary literature and discuss those alternative projects that have yet to be explored based on our suggested typology. We show how choices about each element in a conceptual engineering project constrain the possibilities for the others, thereby giving (...) rise to distinct groupings of possible projects under the banner of conceptual engineering. We conclude with a critical reflection on the potential ethical issues that arise as a result of effectively putting conceptual engineering into practice. (shrink)

The ethics of autonomous vehicles has received a great amount of attention in recent years, specifically in regard to their decisional policies in accident situations in which human harm is a likely consequence. Starting from the assumption that human harm is unavoidable, many authors have developed differing accounts of what morality requires in these situations. In this article, a strategy for AV decision-making is proposed, the Ethical Valence Theory, which paints AV decision-making as a type of claim mitigation: different road (...) users hold different moral claims on the vehicle’s behavior, and the vehicle must mitigate these claims as it makes decisions about its environment. Using the context of autonomous vehicles, the harm produced by an action and the uncertainties connected to it are quantified and accounted for through deliberation, resulting in an ethical implementation coherent with reality. The goal of this approach is not to define how moral theory requires vehicles to behave, but rather to provide a computational approach that is flexible enough to accommodate a number of ‘moral positions’ concerning what morality demands and what road users may expect, offering an evaluation tool for the social acceptability of an autonomous vehicle’s ethical decision making. (shrink)

A satisfactory construal of the subject matter of free will debates must allow for disagreements along two axes. First, it must allow for the possibility of higher order disagreements, or disagreements about what concepts, phenomena, or practices an account of free will is supposed to capture or explain. Second, it must allow for the fact of variation in the extent to which theories are bound by antecedent pre-philosophical thought, talk, and practices. A promising way of accommodating these two thoughts is (...) to treat free will in broadly functionalist terms. On the account proposed here, free will is a power that makes sense of everyday responsibility practices. This construal is not widely shared, but it allows for the possibility that we might have false beliefs about the nature of free will, while still making sense of central philosophical debates about free will. (shrink)

Compreender a violência na sociedade contemporânea requer o mapeamento dos fatores geradores de atos violentos bem como sua prevenção por meio de políticas públicas e de processos educacionais. Este artigo traz algumas reflexões sobre a racionalidade comunicativa e a violência escolar no contexto da crescente exclusão social e a crise de horizontes utópicos para a construção da educação e da formação de sujeitos de direitos. A abordagem metodológica está ancorada na perspectiva da análise de conteúdo de Laurence Bardin (2016), do (...) documento ‘Violência escolar e bullying: relatório sobre a situação mundial’, publicado pela Organização das Nações Unidas para a Educação, a Ciência e a Cultura (UNESCO). São analisadas as pretensões de validade das informações e dos dados considerados relevantes por meio da elaboração de dois eixos principais para analisar a violência escolar apresentada no relatório: a) definições e amparos legais; b) impactos e principais desafios sobre a violência escolar e o bullying. Nessa perspectiva, recorreremos à Racionalidade Comunicativa, ponto central da Teoria do Agir Comunicativo, de Jürgen Habermas, para refletir sobre os achados e saber quais as bases consideradas relevantes para se construir uma educação para a paz alicerçada no diálogo e no entendimento. (shrink)

The variety O2 of double Ockham algebras consists of the algebras (A ∨, ∧, f,g 0,1) of type (2,2,1,1,0,0) where (A; ∨, ∧,f, 0,1) and (A; ∨, ∧,g 0,1) are Ockham algebras. In [16], M. Sequeira introduced several subvarieties of O2. In this paper we give a construction of free double Ockham algebras on a partially ordered set. We also describe free objects for the subvarieties of O2 considered in [16].

Apresentaremos as possíveis aplicações pedagógicas das suas reflexões, como a utilização da imprecisão científica de Heisenberg e da concepção de técnica em Heidegger, a partir da análise histórico-filosófica dos seus escritos, tomando-os como fundamentação a necessária e significativa melhoria da educação técnico-científica.

Primeiramente fazemos uma breve discussão sobre a concepção defendida por Gramsci acerca do que caracteriza um intelectual, bem como sua função social nas distintas formações sociais, como desdobramento de tal reflexão do autor sardo, apresentamos sua conhecida distinção, operada no “Caderno 12”, entre os „intelectuais tradicionais‟ e os „intelectuais orgânicos‟ destacando sua práxis social. Por fim, valendo-nos dos escritos do autor no “Caderno 13”, ressaltamos a importância do intelectual orgânico na constituição do partido revolucionário.First we give a brief discussion about (...) the concept advocated by Gramsci about what characterizes an intellectual as well as its social function in different social formations, as a consequence of such a reflection of the author Sardinian, presented his famous distinction, operated in the "Notebook 12" between the 'traditional intellectuals' and 'organic intellectuals' highlighting its social praxis. Finally, drawing upon the writings of the author in "Notebook 13", highlight the importance of the organic intellectual in the constitution of the revolutionary party. (shrink)

We generalize a previous result about dynamically consistent menu preferences to the case where preferences are not necessarily complete. We show that, as it is the case when preferences are complete, a subjective state space version of dynamic consistency is linked to a comparative theory of preference for flexibility. In words, an objective signal is interpreted as an event in the agent’s subjective state space and the agent acts in a dynamically consistent way after that if and only if we (...) can attribute all the differences between the agent’s preferences before and after the signal to the fact that the agent values flexibility more before the signal than after. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)

This article proposes a reflection on the persistence of Nazi jurisdictional models in contemporary legal theory, briefly comparing the work of authors such as Wolf, Larenz, Schmitt, Dworkin and Alexy. It aims to demonstrate the authoritarian and radically undemocratic character of certain theoretical constructions used in adjudication, particularly in Brazil. For this purpose, three representative judicial decisions from 2016 are analyzed, highlighting typical structural features of Nazi legal theory which remain accepted by current legal theory, such as the disregard for (...) legality, the personification of the community as judge and the appeal to social values which are taken as self-evident. (shrink)

Firms engage in corporate social responsibility (CSR) because they consider that some kind of competitive advantage accrues to them. We contend that resource-based perspectives (RBP) are useful to understand why firms engage in CSR activities and disclosure. From a resource-based perspective CSR is seen as providing internal or external benefits, or both. Investments in socially responsible activities may have internal benefits by helping a firm to develop new resources and capabilities which are related namely to know-how and corporate culture. In (...) effect, investing in social responsibility activities and disclosure has important consequences on the creation or depletion of fundamental intangible resources, namely those associated with employees. The external benefits of CSR are related to its effect on corporate reputation. Corporate reputation can be understood as a fundamental intangible resource which can be created or depleted as a consequence of the decisions to engage or not in social responsibility activities and disclosure. Firms with good social responsibility reputation may improve relations with external actors. They may also attract better employees or increase current employees’ motivation, morale, commitment and loyalty to the firm. This article contributes to the understanding of why CSR may be seen as having strategic value for firms and how RBP can be used in such endeavour. (shrink)

Mapeando brevemente alguns eventos desencadeados pelo período denominado, por alguns cientistas, como Antropoceno, este estudo busca estabelecer um observatório deste período através da ótica do campo das artes, do cinema e da filosofia. Pretende-se compreender como práticas artísticas podem ser concebidas de forma a sublinhar as incoerências referentes à intervenção humana no sistema e na atmosfera terrestre. Para tal, este estudo recruta trabalhos de artistas como Alice Miceli, Andrei Tarkovsky e Jacob Kirkegaard, em suas potencialidades de prevenção, educação e crítica (...) em relação a distintas implicações relacionadas ao desastre nuclear de Chernobyl. Assim, é compreendida a possibilidade de trabalhos de arte em atuar como revisita histórica e análise geo-histórica, bem como meios de potencializar críticas às injustiças provocadas pelo Antropoceno.Palavras-chave: Arte contemporânea; Antropoceno; Energia nuclear; Justiça Climática. (shrink)

Considering the basic assumption that the modern Law and State theory does not only bear similarities, but also draws true epistemological parallels to theconstructions of Theology, Hans Kelsen intends to lay bare the ideological meaning that lies at the very core of the traditional dualism which constitutes Law and State into autonomous entities. Taking into account Kelsen´s original perceptions – which are seconded by more recent contributions from Claude Lefort and Hans Lindahl’s political and symbolic concepts and from Carl Schmitt’s (...) notions on political theology – our intention is now to demonstrate the highly conservative role played by the duality of the Law/State structure, whose aim is to remove, from under the sway of legal control, a considerable part of the State’s actions.Herebelow, therefore, we will analyse the very legitimacy of the so-called “Public Law,” which seems to point to a trend towards shunning the legal power regulation. Finally, based on the functional method pioneered by Ernst Cassirer, legal institutions such as “collective will” and “public interest” will be problematised, in order to ascertain whether they contain theological, conservative and authoritarian traits incompatible with the conceptual and substantial unity intrinsic to the Rule of Law. (shrink)

O objetivo deste artigo é discutir a noção humiana de "crença", frequentemente vita como adendo "psicológico" à correta doutrina epistemológica do autor. Tenta-se sugerir que são partilha das obsessões da epistemologia contemporânea.

O artigo visa discutir o papel que a obra de John Rawls possui para o projeto teórico de Rainer Forst. Trata-se de acompanharas principaisleituras que Forst realiza sobre esse autor e discutir algumas consequências que podem ser delas depreendidas para seu modelo crítico. Assim, em primeiro lugar, discute-se a tentativa de Forst em aproximar os critérios de reciprocidade e universalidade, de seu princípio de justificação, à teoria de Rawls, ao mesmo tempo em que acusa Rawls de que sua configuração da (...) posição original atribui conteúdos substantivos aos princípios de justiça, que, na verdade, só poderiam ser concebidos comoum princípio fundamental de justificação (I). Em seguida, observa-se a leitura que Forst realiza sobre o debate entre Habermas e Rawls, a fim de extrair uma alternativa a ambos. Novamente Forst faz um movimento de aproximação e crítica a Rawls (II). Em um terceiro momento, examina-se outra tentativa de aproximação e superação à obra de Rawls, mas dessa vezatravés da distinção entre duas imagens da justiça(III). Por fim, o artigo apresenta duas interpretações gerais sobe essas leituras: que existem certas constantes nos argumentos que unem e que pretendem superar Rawls; e que contém possíveis problemas,com consequências que ocasionam certos entraves para sua teoriaem sua pretensão de ser crítica. (shrink)

The Luck Problem has existed in one form or another since David Hume, at least. It is perhaps as old as Stoic objections to the Epicurean swerve. Although the general issue admits of different formulations with subtly different emphases, the characterization of it that will serve as my target focuses on “cross-worlds” luck, a kind of luck that arises when the decision-making of agents is indeterministic.

Conceptual engineering means to provide a method to assess and improve our concepts working as cognitive devices. But conceptual engineering still lacks an account of what concepts are (as cognitive devices) and of what engineering is (in the case of cognition). And without such prior understanding of its subject matter, or so it is claimed here, conceptual engineering is bound to remain useless, merely operating as a piecemeal approach, with no overall grip on its target domain. The purpose of this (...) programmatic paper is to overcome this knowledge gap by providing some guidelines for developing the theories of concepts and of cognition that will ground the systematic unified framework needed to effectively implement conceptual engineering as a widely applicable method for the cognitive optimization of our conceptual devices. (shrink)

Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on dependent type theory. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. Lean is an ongoing and long-term effort, but it already provides many useful components, integrated development environments, and a rich API (...) which can be used to embed it into other systems. It is currently being used to formalize category theory, homotopy type theory, and abstract algebra. We describe the project goals, system architecture, and main features, and we discuss applications and continuing work. (shrink)

Formal verification involves the use of logical and computational methods to establish claims that are expressed in precise mathematical terms. These can include ordinary mathematical theorems, as well as claims that pieces of hardware or software, network protocols, and mechanical and hybrid systems meet their specifications. In practice, there is not a sharp distinction between verifying a piece of mathematics and verifying the correctness of a system: formal verification requires describing hardware and software systems in mathematical terms, at which point (...) establishing claims as to their correctness becomes a form of theorem proving. Conversely, the proof of a mathematical theorem may require a lengthy computation, in which case verifying the truth of the theorem requires verifying that the computation does what it is supposed to do. The gold standard for supporting a mathematical claim is to provide a proof, and twentieth-century developments in logic show most if not all conventional proof methods can be reduced to a small set of axioms and rules in any of a number of foundational systems. With this reduction, there are two ways that a computer can help establish a claim: it can help find a proof in the first place, and it can help verify that a purported proof is correct. Automated theorem proving focuses on the “finding” aspect. Resolution theorem provers, tableau theorem provers, fast satisfiability solvers, and so on provide means of establishing the validity of formulas in propositional and first-order logic. Other systems provide search procedures and decision procedures for specific languages and domains, such as linear or nonlinear expressions over the integers or the real numbers. Architectures like SMT combine domain-general search methods with domain-specific procedures. Computer algebra systems and specialized mathematical software packages provide means of carrying out mathematical computations, establishing mathematical bounds, or finding mathematical objects. A calculation can be viewed as a proof as well, and these systems, too, help establish mathematical claims. Automated reasoning systems strive for power and efficiency, often at the expense of guaranteed soundness. Such systems can have bugs, and it can be difficult to ensure that the results they deliver are correct. In contrast, interactive theorem proving focuses on the “verification” aspect of theorem proving, requiring that every claim is supported by a proof in a suitable axiomatic foundation. This sets a very high standard: every rule of inference and every step of a calculation has to be justified by appealing to prior definitions and theorems, all the way down to basic axioms and rules. In fact, most such systems provide fully elaborated “proof objects” that can be communicated to other systems and checked independently. Constructing such proofs typically requires much more input and interaction from users, but it allows us to obtain deeper and more complex proofs. The Lean Theorem Prover aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. The goal is to support both mathematical reasoning and reasoning about complex systems, and to verify claims in both domains. (shrink)

Conceptual engineering is the method for assessing and improving our concepts. However, little has been written about how best to conceive of concepts for the purposes of conceptual engineering. In this paper, I aim to fill this foundational gap, proceeding in three main steps: First, I propose a methodological framework for evaluating the conduciveness of a given concept of concept for conceptual engineering. Then, I develop a typology that contrasts two competing concepts of concept that can be used in conceptual (...) engineering — namely, the philosophical and psychological ones. Finally, I evaluate these two concepts of concept using the proposed methodological framework and I show that, when it comes to making conceptual engineering an actionable method, the psychological concept of concept outclasses its philosophical counterpart on all counts. This provides a baseline from which the concept of concept can be further improved for the purposes of conceptual engineering. (shrink)

The debate surrounding ‘big tech’ and antitrust has dominated public policy discourses over the past few years in many parts of the world. Noteworthy is that several countries and regions, including China, the European Union, and the United States, have launched investigations into the allegedly anticompetitive and exclusionary business practices of companies such as Amazon, Apple, Facebook, and Google and their Chinese counterparts, Alibaba and Tencent. This paper builds on the renewed interest in the topic and discusses in detail – (...) and from an ordoliberal perspective – the key characteristics of the digital economy, the business conduct of tech platforms, and the corresponding antitrust concerns, as well as possible reform steps which could help to strengthen modern-day competition law and policy (and antitrust enforcement). (shrink)

Understanding what motivates employees is essential to the success of organizational objectives. Therefore, properly capturing and explaining the full range of such motivations are important. However, the classical and most popular theories describing employee motives have neglected, if not omitted entirely, the importance of the ethical and spiritual dimensions of motivation. This has led to a model of a person as self-interested, amoral, and non-spiritual. In this paper, we attempt to expose this omission and offer a more complete taxonomy of (...) motivations which include these dimensions. Although more work will need to be done to fully develop the ethical and spiritual dimensions of motivation, the expanded taxonomy will provide the foundations and serve as a guide for such further research. Furthermore, this new categorization of motivations brings out the full dimensions of being human, which promises to lead to improved management practices with regard to employees and foster greater human flourishing in the workplace. (shrink)

"Manuel DeLanda is a distinguished writer, artist and philosopher. In his new book, he offers a fascinating look at how the contemporary world is characterized by an extraordinary social complexity. Since most social entities, from small communities to large nation-states, would disappear altogether if human minds ceased to exist, Delanda proposes a novel approach to social ontology that asserts the autonomy of social entities from the conceptions we have of them." Editorial.

O último livro escrito por Nietzsche, Ecce homo: como alguém se torna o que se é, é uma de suas obras mais controversas, tendo sido tomada como sinal de prepotência, como autoexposição egocêntrica e como prenúncio do colapso que interrompeu sua trajetória intelectual em janeiro de 1889. As controvérsias foram alimentadas, em parte, pela peculiar narrativa encontrada no livro – ele conta a si sua vida e obra em tom elogioso e hiperbólico –, em parte, pelo fato de que a (...) tardia publicação de Ecce homo, ocorrida apenas em 1908, favoreceu o contraste com o apócrifo A vontade de poder – reunião de anotações publicada em 1901 como ‘obra principal’ de Nietzsche. Nosso propósito neste artigo é refletir sobre as possíveis contribuições do teor ‘autobiográfico’ e ‘autocrítico’ de Ecce homo para o caminho de pensamento do filósofo alemão. Nossa hipótese é que a narrativa experimentada no livro possui uma íntima relação com temas precedentes da obra nietzschiana e com a tarefa da transvaloração de todos os valores. Por meio de uma autoencenação, da colocação de um certo ‘Nietzsche’ em cena, o filósofo avança em sua crítica à metafísica – e à sua versão popular, a moral cristã – enquanto realça a mundanidade de sua perspectiva, seu caráter contingente e seu condicionamento pelas “pequenas coisas”, decisão que nos parece carregar uma relevante dimensão filosófica: Nietzsche assume a parcialidade e explicita o interesse envolvido em sua tomada de posição no seio da cultura. (shrink)

Plural definite descriptions across many languages display two well-known properties. First, they can give rise to so-called non-maximal readings, in the sense that they ‘allow for exceptions’. Second, while they tend to have a quasi-universal quantificational force in affirmative sentences, they tend to be interpreted existentially in the scope of negation. Building on previous works, we offer a theory in which sentences containing plural definite expressions trigger a family of possible interpretations, and where general principles of language use account for (...) their interpretation in various contexts and syntactic environments. Our theory solves a number of problems that these previous works encounter, and has broader empirical coverage in that it offers a precise analysis for sentences that display complex interactions between plural definites, quantifiers and bound variables, as well as for cases involving non-distributive predicates. The resulting proposal is briefly compared with an alternative proposal by Križ, which has similar coverage but is based on a very different architecture and sometimes makes subtly different predictions. (shrink)

This book is conceived as an introductory text into the theory of syntactic and semantic information, and information flow.