The meaning that expressions take on particular occasions often depends on the context in ways which seem to transcend its direct effect on context-sensitive parameters. ‘Truth-conditional pragmatics’ is the project of trying to model such semantic flexibility within a compositional truth-conditional framework. Most proposals proceed by radically ‘freeing up’ the compositional operations of language. I argue, however, that the resulting theories are too unconstrained, and predict flexibility in cases where it is not observed. These accounts fall into this position because (...) they rarely, if ever, take advantage of the rich information made available by lexical items. I hold, instead, that lexical items encode both extension and non-extension determining information. Under certain conditions, the non-extension determining information of an expression e can enter into the compositional processes that determine the meaning of more complex expressions which contain e. This paper presents and motivates a set of type-driven compositional operations that can access non-extension determining information and introduce bits of it into the meaning of complex expressions. The resulting multidimensional semantics has the tools to deal with key cases of semantic flexibility in appropriately constrained ways, making it a promising framework to pursue the project of truth-conditional pragmatics. (shrink)

We present a mathematical approach to defeasible reasoning based on arguments. This approach integrates the notion of specificity introduced by Poole and the theory of warrant presented by Pollock. The main contribution of this paper is a precise, well-defined system which exhibits correct behavior when applied to the benchmark examples in the literature. It aims for usability rather than novelty. We prove that an order relation can be introduced among equivalence classes of arguments under the equi-specificity relation. We also prove (...) a theorem that ensures the termination of the process of finding the justified facts. Two more lemmas define a reduced search space for checking specificity. In order to implement the theoretical ideas, the language is restricted to Horn clauses for the evidential context. The language used to represent defeasible rules has been restricted in a similar way. The authors intend this work to unify the various existing approaches to argument-based defeasible reasoning. (shrink)

How are biases encoded in our representations of social categories? Philosophical and empirical discussions of implicit bias overwhelmingly focus on salient or statistical associations between target features and representations of social categories. These are the sorts of associations probed by the Implicit Association Test and various priming tasks. In this paper, we argue that these discussions systematically overlook an alternative way in which biases are encoded, that is, in the dependency networks that are part of our representations of social categories. (...) Dependency networks encode information about how features in a conceptual representation depend on each other. This information determines the degree of centrality of a feature for a conceptual representation. Importantly, centrally encoded biases systematically disassociate from those encoded in salient-statistical associations. Furthermore, the degree of centrality of a feature determines its cross-contextual stability: in general, the more central a feature is for a concept, the more likely it is to survive into a wide array of cognitive tasks involving that concept. Accordingly, implicit biases that are encoded in the central features of concepts are predicted to be more resilient across different tasks and contexts. As a result, the distinction between centrally encoded and salient-statistical biases has important theoretical and practical implications. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations about the properties (...) of logical form—roughly, the level of linguistic representation which feeds into the interpretation procedures—and have substantial implications for traditional philosophical disputes about the nature of language. Specifically, contextualism and semantic minimalism, construed as competing hypotheses about the nature and degree of context-sensitivity at the level of logical form, suggest different approaches to the over-generation problem. In this paper, I explore the implications of pairing logicality with various forms of contextualism and semantic minimalism. I argue that to adequately solve the over-generation problem, logicality should be implemented in a constrained contextualist framework. (shrink)

: In this paper I will examine two conceptions of philosophy that were defended in Latin America during the last century. I believe that both models have to be put away and that we must build a new one, recovering elements of both of them. At the end of my paper I will consider very briefly what can we learn from this in order to construct a genuine philosophical dialogue between the United States and Latin America.

According to Kratzer’s influential account of epistemic must and might, these operators involve quantification over domains of possibilities determined by a modal base and an ordering source. Recently, this account has been challenged by invoking contexts of ‘epistemic tension’: i.e., cases in which an assertion that must\ is conjoined with the possibility that \, and cases in which speakers try to downplay a previous assertion that must\, after finding out that \. Epistemic tensions have been invoked from two directions. Von (...) Fintel and Gillies :351–383, 2010) propose a return to a simpler modal logic-inspired account: must and might still involve universal and existential quantification, but the domains of possibilities are determined solely by realistic modal bases. In contrast, Lassiter :117–163, 2016), following Swanson, proposes a more revisionary account which treats must and might as probabilistic operators. In this paper, we present a series of experiments to obtain reliable data on the degree of acceptability of various contexts of epistemic tension. Our experiments include novel variations that, we argue, are required to make progress in this debate. We show that restricted quantificational accounts à la Kratzer fit the overall pattern of results better than either of their recent competitors. In addition, our results help us identify the key components of restricted quantificational accounts, and on that basis propose some refinements and general constraints that should be satisfied by any account of the modal auxiliaries. (shrink)

Bi-intuitionistic logic is the result of adding the dual of intuitionistic implication to intuitionistic logic. In this note, we characterize the expressive power of this logic by showing that the first order formulas equivalent to translations of bi-intuitionistic propositional formulas are exactly those preserved under bi-intuitionistic directed bisimulations. The proof technique is originally due to Lindstrom and, in contrast to the most common proofs of this kind of result, it does not use the machinery of neither saturated models nor elementary (...) chains. (shrink)

La escritura. Entre la crisis logocéntrica de Occidente y la ascesis caligráfica de Oriente. La escritura japonesa como caso. Resumen de Tesis de doctorado en Filosofía de Guillermo Goicochea.

We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the use criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each be used in some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining between multisets. We motivate and state (...) basic definitions of relevant consequence relations, both in single conclusion (asymmetric) and multiple conclusion (symmetric) settings, as well as derivations and theories, guided by the use intuitions, and prove a number of results indicating that the definitions capture the desired results (at least in many cases). (shrink)

The purpose of this paper is to introduce everyday aesthetics in education. First, it presents everyday aesthetics as a subdiscipline within philosophical aesthetics, that revisits sensory perception as the backdrop of all experience, claims ordinary life is a proper venue for aesthetic inquiry, and problematizes the impact aesthetic preferences have on habitual decisions. Second, the paper argues that among the diverse matters students learn in school, they learn—explicitly or implicitly—what and how to perceive, as well as the pedagogical purposes of (...) daily perception. School models the relationships that students will develop between what they perceive, what they think about it, and how they act accordingly. Next, the paper elaborates on the notions of “school aesthetic matrixes” and “space and place in school”. School aesthetic matrixes refer to perceptual patterns that allow characterizing relationships between daily perception and the pedagogical project of a school. They manifest through expressions such as prison school, home school, mall school, etc. Space and place in school allude to concomitant experiences, of corporeal basis, that allow describing how we inhabit the world. What distinguishes them is the approach each one gives to the senses and the body. The paper concludes by calling attention to the comprehension and role of perception in education, urging to mind the aesthetic-pedagogical character that students develop throughout 12 years of schooling. Ultimately, the key relationships we develop with ourselves, others, and the world, entail a basic perceptual dimension that can be educated to become more purposefully and integrally present in life. (shrink)

Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( $\mathcal {L}_{\omega \omega }^{-} $ ). In this note, we provide a fix: we show that $\mathcal {L}_{\omega \omega }^{-} $ is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we (...) use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity. (shrink)

In this note we study a counterpart in predicate logic of the notion of logical friendliness, introduced into propositional logic in [15]. The result is a new consequence relation for predicate languages with equality using first-order models. While compactness, interpolation and axiomatizability fail dramatically, several other properties are preserved from the propositional case. Divergence is diminished when the language does not contain equality with its standard interpretation.

1. Grecia y Roma.-2. El judaísmo y la filosofía. El cristianismo y la filosofía. El Islam y la filosofía.-3. Del humanismo a la ilustración (siglos XV-XVIII).-4. Siglo XIX, Kant, idealismo y espiritualismo.;;;;;;;;;.

The goal of this study was to introduce a model explaining how managers' attitudes, subjective norms, attributions, and the individualism-collectivism cultural dimension affect the way managers' deal with employee bribery in organizations. Twenty-six internal and external attributions related to bribery were identified through a series of structured interviews with 65 subject matter experts. These attributions, together with the other variables in the model, were evaluated by 354 Ecuadorian managers. Hierarchical regression analyses indicated that attitudes and external attributions significantly predicted managers' (...) intentions to discipline employees who accepted a bribe. In addition, external attributions mediated the relationship between individualism-collectivism and intent to discipline corrupt employees. Implications for the management of bribery in Latin American organizations are discussed. (shrink)

Stemming from the works of Petr Hájek on mathematical fuzzy logic, graded model theory has been developed by several authors in the last two decades as an extension of classical model theory that studies the semantics of many-valued predicate logics. In this paper we take the first steps towards an abstract formulation of this model theory. We give a general notion of abstract logic based on many-valued models and prove six Lindström-style characterizations of maximality of first-order logics in terms of (...) metalogical properties such as compactness, abstract completeness, the Löwenheim–Skolem property, the Tarski union property, and the Robinson property, among others. As necessary technical restrictions, we assume that the models are valued on finite MTL-chains and the language has a constant for each truth-value. (shrink)

Journal of Philosophy of Education, EarlyView.

Kim Diaz's translation of Guillermo Hurtado's "Retratos de Luis Villoro".

This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic can be obtained? We reconstruct some of the originals proofs for Completeness, Löwenheim-Skolem and Compactness theorems in the context of a substructural logic with the naive comprehension schema. The main result is that paraconsistent metatheory can ‘re-capture’ versions of standard theorems, given suitable restrictions and background assumptions; but the shift (...) to non-classical logic may recast the meanings of these apparently ‘absolute’ theorems. (shrink)

This paper defines a Sahlqvist fragment for relevant logic and establishes that each class of frames in the Routley-Meyer semantics which is definable by a Sahlqvist formula is also elementary, that is, it coincides with the class of structures satisfying a given first order property calculable by a Sahlqvist-van Benthem algorithm. Furthermore, we show that some classes of Routley-Meyer frames definable by a relevant formula are not elementary.

Non-adjacent or long-distance dependencies (LDDs) are routinely considered to be a distinctive trait of language, which purportedly locates it higher than other sequentially organized signal systems in terms of structural complexity. This paper argues that particular languages display specific resources (e.g. non-interpretive morphological agreement paradigms) that help the brain system responsible for dealing with LDDs to develop the capacity of acquiring and processing expressions with such a human-typical degree of computational complexity. Independently obtained naturalistic data is discussed and put to (...) the service of the idea that the above-mentioned resources exert their developmental role from the outside, but in compliance with other internal resources, ultimately compounding an integrated developmental system. Parallels with other human and nonhuman developmental phenomena are explored, which point to the conclusion that the developmental system of concern can be assimilated to cases currently been conceptualized as ‘cue-response systems’ or ‘developmental hybrids’ within the ecological-developmental paradigm in theoretical biology. Such a conclusion is used to support the idea that both current externalist and internalist concepts fall short of a correct characterization of language. (shrink)

Guillermo E. Rosado Haddock, ed. Husserl and Analytic Philosophy. Berlin/Boston: Walter de Gruyter GmbH, 2016. ISBN 978-3-11-049655-0 ; 978-3-11-049737-3 ; 978-3-11-049418-1. Pp. viii + 338.

We show that propositional intuitionistic logic is the maximal abstract logic satisfying a certain form of compactness, the Tarski union property, and preservation under asimulations.

Examining the scholarly interest of the last two decades in the origins of logical empiricism, and especially the roots of Rudolf Carnap's Der logische Aufbau der Welt, Rosado Haddock challenges the received view, according to which that book should be inserted in the empiricist tradition.

En este ensayo se examina de manera crítica el desarrollo de la filosofía analítica y, en particular, de la filosofía analítica latinoamericana. Se propone que esta última adopte un giro político y uno pedagógico con el fin de recuperar su espíritu original y reconectarse con la tradición intelectual latinoamericana. This essay is a critical examination of the development of analytic philosophy and, in particular, of Latin American analytic philosophy. It is argued that the latter ought to adopt a political and (...) pedagogical turn in order to recover its original spirit and to be reconnected to Latin American intelectual tradition. (shrink)

Despite recognizing the importance of impact investing in combating complex societal challenges, researchers have yet to examine the capacity of the field to address systemic inequality. While impact investments are intended to benefit vulnerable stakeholders, the voices of those stakeholders are generally overlooked in the design and implementation of such investments. To resolve this oversight, we theorize how the fields’ design—through its tools, organizations, and field-level bodies—influences its capacity to address inequality by focusing on the concept of giving voice, which (...) we define as the inclusive participation of vulnerable stakeholders in decision-making processes. We build from stakeholder engagement research to show how the design of impact investing can address inequality using three illustrative cases: social impact bonds, impact investing funds, and national advisory boards. We conclude with a discussion of how the ethical decision of giving voice to vulnerable stakeholders will determine the capacity of the field to address inequality, as well as provide implications for future research and practice. (shrink)

Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.

Se sostiene que la propuesta de Rodriguez-Pereyra de que los analíticos iberoamericanos publiquemos todos nuestras investigaciones en inglés es inviable e indeseable.

This paper is devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express properties that an element of a model should, respectively, satisfy and falsify. By means of an elementary chains construction, we prove that each model can be elementarily extended to a $\kappa $-saturated model, i.e. a model where as many types as possible are realized. In order (...) to prove this theorem we obtain, as by-products, some results on tableaux (understood as pairs of sets of formulas) and their consistency and satisfiability and a generalization of the Tarski–Vaught theorem on unions of elementary chains. Finally, we provide a structural characterization of $\kappa $-saturation in terms of the completion of a diagram representing a certain configuration of models and mappings. (shrink)

This paper argues, contrary to Fodor’s well-known position, that the iconic and discursive modes of representation are not mutually exclusive categories. It is argued that there exists at least a third kind of representation which blends the semantic properties of icons and the syntactic properties of discourses. We reason that this iconic-discursive genus behaves differently from other representational formats, such as distributed representations or maps, previously put forward as challenging Fodor’s basic distinction. A reflection follows about how this kind of (...) representation impacts on the Fodorian issues for which the original dual distinction was argumentatively instrumental, namely, the kinds of codes and possible inter-code relations accessible to the representational mind. The suggestion is put forward that iconic-discursive representations may facilitate trade-offs between the world and the representational mind, as well as between the differently complex levels of representation that mediate between percepts and concepts. We conclude that such aspects of the computational mind, which until now appeared to be stubbornly resistant with respect to a conciliation of Hume’s empiricism and Fodor’s computationalism, may be more easily accessed and understood taking advantage of the biosemiotics perspective and acknowledging the richness of the biosemiotics codes accessible to cognition. (shrink)

By analysing a contemporary criticism to the so called “mathematical chemistry”, we discuss what we understand by mathematizing chemistry and its implications. We then pass to ponder on some positions on the subject by considering the cases of Laszlo, Venel and Diderot, opponents to the idea of mathematization of chemistry. In contrast, we analyse some scholars’ ideas on the fruitful relationship between mathematics and chemistry; here Dirac and Brown are considered. Finally, we mention that the mathematical–chemistry relationship should be considered (...) beyond the mere aspect of whether chemistry is or not able to be mathematized. This discussion is based upon opinions by Kant and Comte, the first one having two positions on chemistry based upon mathematics and the latter mooting the idea of doing chemistry with mathematical spirit. (shrink)

Este trabajo pretende preguntarse si, a pesar del “silencio” de Heidegger ante la teoría de los géneros poéticos de Hölderlin, no es esta misma teoría, y especialmente el poema lírico que caracteriza a la modernidad, la cuestión en la cual se apoya Heidegger para fundamentar su “historia del ser”, de modo que la noción fuerte de _historia _que se maneja en su obra y finalmente el término marcado _das Ereignis _estaría en sintonía con los “trayectos poéticos” que Hölderlin teoriza.

We study classes of graded structures satisfying the properties of amalgamation, joint embedding and hereditariness. Given appropriate conditions, we can build a graded analogue of the Fraïssé limit. Some examples such as the class of all finite weighted graphs or the class of all finite fuzzy orders (evaluated on a particular countable algebra) will be examined.

This paper offers an exposition of Husserl's mature philosophy of mathematics, expounded for the first time in Logische Untersuchungen and maintained without any essential change throughout the rest of his life. It is shown that Husserl's views on mathematics were strongly influenced by Riemann, and had clear affinities with the much later Bourbaki school.

We review different studies of the Periodic Law and the set of chemical elements from a mathematical point of view. This discussion covers the first attempts made in the 19th century up to the present day. Mathematics employed to study the periodic system includes number theory, information theory, order theory, set theory and topology. Each theory used shows that it is possible to provide the Periodic Law with a mathematical structure. We also show that it is possible to study the (...) chemical elements taking advantage of their phenomenological properties, and that it is not always necessary to reduce the concept of chemical elements to the quantum atomic concept to be able to find interpretations for the Periodic Law. Finally, a connection is noted between the lengths of the periods of the Periodic Law and the philosophical Pythagorean doctrine. (shrink)