The epistemological problem of objectivism in the production of sociological knowledge confronts the researcher with the question of the risk involved in substituting social reality by the idealizations and abstractions created by science. Without a doubt, the subject seems intriguing and requires its thematization facing toward and appropriate foundation of sociological concepts. In order to address that problem, the article aims to recover, from a hermeneutic perspective, a phenomenologically inspired epistemology in the works of Alfred Schutz and Harold (...) Garfinkel. To achieve this goal we first analyse Schutzian contributions in the context of the correspondence held with Talcott Parsons. There the author thoroughly discusses the difficulties that social sciences go through regarding the foundation of its concepts. Secondly, we revise unpublished bibliographical heritage from Garfinkel’s work who -interested in the epistemological debate between Schutz and Parsons- picks up the epistemological problem again. We will sustain that unlike Schutz who proposes a philosophical response consisting in the articulation of an ontology of the life-world, Garfinkel develops a methodological answer which aims to illuminate the practical reasoning and the methodological decisions of researchers in order to avoid the substitution of social reality by the idealities of the scientific reflection. El problema epistemológico del objetivismo en la producción de conocimiento sociológico confronta al investigador con la pregunta acerca del riesgo que conlleva la sustitución de la realidad social por las idealidades y las abstracciones creadas por la ciencia. A fin de abordar ese problema, el artículo se propone recuperar, desde una perspectiva hermenéutica, una epistemología de inspiración fenomenológica en los textos de Alfred Schutz y de Harold Garfinkel. Para ello se analizan, en primer lugar, los aportes de Schutz en la correspondencia mantenida con Talcott Parsons pues es allí donde el autor discute ampliamente las dificultades por las que atraviesan las ciencias sociales con relación a la fundamentación de sus conceptos. En segundo lugar, se revisan acervos bibliográficos inéditos de la obra de Garfinkel quien, interesado por el debate epistemológico entre Schutz y Parsons, retoma ese mismo problema epistemológico. Sostendremos que, a diferencia de Schutz quien propone una salida filosófica que consiste en la articulación de una ontología del mundo de la vida, Garfinkel elabora una respuesta de carácter metodológico que apunta a iluminar los razonamientos prácticos y las decisiones metodológicas de los investigadores a fin de evitar la sustitución de la realidad social por las idealidades de la reflexión científica. (shrink)

As the main force in universities’ ideological and political work, instructors are responsible for cultivating qualified talents for the whole nation’s construction cause. However, they suffer from a variety of psychological problems due to the reasons lying in working mechanism, working content and working ability. This article analyzes their psychological health conditions in newly-established universities and comes up with some psychological intervention methods.

The correspondence theory of truth is a precise and innovative account of how the truth of a proposition depends upon that proposition's connection to a piece of reality. Joshua Rasmussen refines and defends the correspondence theory of truth, proposing new accounts of facts, propositions, and the correspondence between them. With these theories in hand, he then offers original solutions to the toughest objections facing correspondence theorists. Addressing the Problem of Funny Facts, Liar Paradoxes, and traditional (...) epistemological questions concerning how our minds can access reality, he challenges recent objections, and defends what has traditionally been the most popular theory of truth. Written with clarity, precision, and sensitivity to a range of philosophical backgrounds, his book will appeal to advanced students and scholars seeking a deeper understanding of the relationship between truth and reality. (shrink)

This article presents, as a case study, the various inconsistencies which occur in the prosopographical entries concerning Simplicius, one of Sidonius’ most frequent addressees. Through the exegesis of passages of letters addressed to him (Epist. 3.11, 4.4, 4.7, 4.12, 5.4) and of passages believed to concern him (Carm. 24.89; Epist. 2.9 and 5.7), it argues for a revision of the common identification of Simplicius as brother of Apollinaris and Thaumastus, and for a re-evaluation of the sources which supposedly lead to (...) this conclusion. Some cautionary remarks on the unchecked use of prosopography as a tool are followed by a hypothesis concerning the identity of this addressee of Sidonius. (shrink)

The Clarke-Collins correspondence was widely read and frequently printed during the 18th century. Its central topic is the question whether matter can think. Samuel Clarke defends the immateriality of the human soul against Anthony Collins’ materialism. Clarke argues that consciousness must belong to an indivisible entity, and matter is divisible. Collins contends that consciousness could belong to a composite subject by emerging from material qualities that belong to its parts. While many early modern thinkers assumed that this is not (...) possible, this correspondence offers an unusually detailed discussion of this issue. Clarke rejects emergentism because real qualities of a composite must be homogeneous with the qualities of the parts. This rejection is based on considerations about the nature of causation. In addition, the disagreement derives in part from a disagreement between Clarke and Collins about the limits of our knowledge. (shrink)

This study began with some questions about the saying and doings of a group of Transcendentalists in nineteenth-century New England. Renowned for their role in the creation of a distinctively philosophical thought, the Transcendentalists have long been regarded in twentieth-century scholarship as a major movement in American culture... Recently, they have become heroes for a generation concerned with ecological problems and seeking new models for respect toward the land and the environment.

This book is devoted to the problems of the growth of science. These prob lems, neglected for a long time by the philosophers of science, have become in the 60's and 70's a subject of vivid discussion. There are philosophers who stress only the dependence of science upon various sociological, psycho logical and other factors and deny any internal laws of the development of knowledge, like approaching the truth. The majority rejects such nihilism and searches for the laws of the (...) growth of science. However, they often overlook the role of the Correspondence Principle which connects the suc cessive scientific theories. On the other hand, some authors, while stressing the role of this principle, overlook logical difficulties connected with it, e. g. the problem of the incompatibility of successive theories, of the falsity of some of their assumptions, etc. I believe the Correspondence Principle to be a basic principle of the pro gress of contemporary physics and, probably, of every advanced science. How ever, this principle must be properly interpreted and the above-mentioned logical difficulties must be solved. Their solution requires, as it seems, revealing the idealizational nature of the basic laws of science, in any case of the quantitative laws of advanced sciences. This point has been recently emphasized by some Polish philosophers, especially in Poznan. (shrink)

Cet article est consacré au problème du rapport entre l’entrelacement des genres (συμπλοκὴ τῶν εἰδῶν) et le logos dans le Sophiste. Après avoir brièvement présenté le problème, je discute, dans la première partie, différentes solutions proposées par les commentateurs. Je cherche à montrer qu’aucune de ces solutions n’est pleinement satisfaisante. Dans la deuxième partie, je propose une nouvelle solution au problème de la συμπλοκὴ τῶν εἰδῶν fondée sur une distinction entre deux types de logos, le logos dialectique et le logos (...) doxique. Dans la troisième partie, je cherche à justifier textuellement cette solution en recourant à la fois au texte du Sophiste lui-même et à la dernière partie du Théétète. Dans ma conclusion, je suggère que la distinction entre logos dialectique et logos doxique correspond à une différence qui traverse toute l’œuvre de Platon, à savoir la différence entre connaissance et opinion. / This paper deals with the problem of the συμπλοκὴ τῶν εἰδῶν in the Sophist. In the first part, after a brief presentation of this problem, I discuss different solutions which have been proposed in the recent literature. I try to show that none of them is entirely satisfying. In the second part, I propose and explain a new solution based on a distinction between two types of logos : dialectical logos and doxastic logos. In the third part, I try to justify this solution on the basis of some passages of the Sophist and of the final part of the Theaetetus. To conclude, I suggest that the distinction between dialectical logos and doxasticlogos matches the difference between knowledge and belief made by Plato in his dialogues. (shrink)

First published in 1975, The Correspondence Theory of Truth examines the simplest statements of empirical fact and establishes what we can mean when we say that such statements are true. In particular, the author has considered whether any or all of beliefs, sentences, statements, or propositions are properly said to be true or false. He proceeds to examine what we mean by the term 'fact' and what possible relation between facts and beliefs could be meant by the term ' (...) class='Hi'>correspondence'. The second part of the book is a critical survey of important contemporary accounts of truth. The author examines Tarski's semantic theory to see if it offers a satisfactory reconstruction of the essence of the traditional notion of correspondence, then J.L. Austin's recent and famous version of the correspondence theory and some criticisms of it by Professor P. E. Strawson. A final chapter summarizes the viable content of the correspondence theory and suggests what problems about truth still remain for discussion if the theory is accepted. This book will be an essential read for students and scholars of Philosophy. (shrink)

Building computational models of engineered exemplars, or prototypes, is a common practice in the bioengineering sciences. Computational models in this domain are often built in a patchwork fashion, drawing on data and bits of theory from many different domains, and in tandem with actual physical models, as the key objective is to engineer these prototypes of natural phenomena. Interestingly, such patchy model building, often combined with visualizations, whose format is open to a wide range of choice, leads to the discovery (...) of new concepts and control structures. Two key questions are raised by this practice: how could discoveries arise from building external representations for which there is wide latitude in choice of the components from which they are built, and thus can be considered significantly arbitrary, and how could such discoveries allow engineering a real-world prototype system. To examine these questions, we present two case studies of discoveries that emerged from the building of such computational models in the bioengineering sciences. We then develop a process model that accounts for the discovery and transfer problems raised by both these cases, focusing on the process of building the model. Specifically, to account for the discovery problem, we propose that the process of building such models gradually leads to a close coupling between the modeler’s internal processes and the external dynamic model. To account for the transfer problem, we propose that the process of building the model leads to the creation of an enactive model that is generic, which closely enacts, and thus reveals, the way the system-level behavior of the engineered prototype emerges in time through the interaction of its parts. This enactive replication process leads to the model and the prototype forming a new class, which allows concepts and control structures developed for the computational model to be transfered to the real-world prototype. We argue that this account requires rethinking correspondence in engineering sciences as a plastic and enactive relation. A closer focus on the process of building models is required to develop a general account of this emerging approach to discovery. (shrink)

In the context of modal logics one standardly considers two modal operators: possibility ) and necessity ) [see for example Chellas ]. If the classical negation is present these operators can be treated as inter-definable. However, negative modalities ) and ) are also considered in the literature [see for example Béziau ; Došen :3–14, 1984); Gödel, in: Feferman, Collected works, vol 1, Publications 1929–1936, Oxford University Press, New York, 1986, p. 300; Lewis and Langford ]. Both of them can be (...) treated as negations. In Béziau a logic \ has been defined on the basis of the modal logic \. \ is proposed as a solution of so-called Jaśkowski’s problem [see also Jaśkowski ]. The only negation considered in the language of \ is ‘it is not necessary’. It appears that logic \ and \ inter-definable. This initial correspondence result between \ and \ has been generalised for the case of normal logics, in particular soundness-completeness results were obtained [see Marcos :279–300, 2005); Mruczek-Nasieniewska and Nasieniewski :229–248, 2005)]. In Mruczek-Nasieniewska and Nasieniewski it has been proved that there is a correspondence between \-like logics and regular extensions of the smallest deontic logic. To obtain this result both negative modalities were used. This result has been strengthened in Mruczek-Nasieniewska and Nasieniewski :261–280, 2017) since on the basis of classical positive logic it is enough to solely use \ to equivalently express both positive modalities and negation. Here we strengthen results given in Mruczek-Nasieniewska and Nasieniewski by showing correspondence for the smallest regular logic. In particular we give a syntactic formulation of a logic that corresponds to the smallest regular logic. As a result we characterise all logics that arise from regular logics. From this follows via respective translations a characterisation of a class of logics corresponding to some quasi-regular logics where \ is the smallest element. Moreover, if a given quasi-regular logic is characterised by some class of models, the same class can be used to semantically characterise the logic obtained by our translation. (shrink)

Current research on the syntax-semantics interface demonstrates the dramatic extent to which syntactic structures constitute transparent reflections of well-defined semantic regularities. As this paper shows, the empirical results accumulated within this framework strongly suggest that a theoretical distinction should be made between two distinct levels of meaning representation: A level of conceptual meaning on the one hand, and a uniquely linguistic level of meaning — Linguistic Semantics — on the other. The semantic notions and regularities which turn out to determine (...) major syntactic phenomena are best interpreted as belonging to the level of Linguistic Semantics, rather than to the level of conceptual meaning. This view helps characterize language as a unique and functional system — a cognitive system whose function is defined at the level of Linguistic Semantics. It explains the fact, most recently highlighted by Levinson, that the expressive power of language, as a tool for the communication of meanings, is constrained in non-trivial ways. (shrink)

Cette brève étude consacrée à la correspondance scientifique de Condorcet, qui demeure dans sa majeure partie inédite, s’articule autour de trois aspects. Il s’agit dans un premier temps de circonscrire cette correspondance en tentant de la définir et d’en examiner la nature. L’identité des principaux correspondants scientifiques de Condorcet est ensuite évoquée. Enfin, les problèmes d’identification, de prospection et de datation de la correspondance scientifique de Condorcet sont considérés, en comparaison de ceux qui interviennent pour le reste de son corpus (...) épistolaire. (shrink)

Approx. 60–80 million couples globally are affected by the problem of infertility. The issue is important both for the couple trying to conceive and for the whole society in which the couple lives. Lifestyle, including nutrition, may have both a positive and a negative impact on the outcomes of infertility treatment. The aim of this paper is to assess the relationship between knowledge in the area of fertility diet and its actual use, and types of fertility disorders among women (...) undergoing treatment in a fertility clinic. A group of women was analyzed statistically, divided into 3 groups according to their couple’s cause of infertility – the causes of infertility were described as: the male factor, the female factor, and the idiopathic factor. The study group answered questions that comprised a fertility diet knowledge test; the frequency of consumption of particular food products in a individual groups was also analyzed. Correspondence analysis showed differences between the groups in the number of points scored in the fertility diet knowledge test, as well as in the consumption of sweets, crisps and sticks, and nuts and seeds. Women among whom the main cause of infertility was defined as the male factor scored the highest numbers of points in the fertility diet knowledge test, women with the idiopathic cause of infertility scored slightly lower numbers of points, while women whose main cause of infertility was defined as the female factor scored the lowest numbers of points. Women from couples with idiopathic infertility consumed sweets, crisps and sticks the most often, followed by women with the cause of infertility identified on their side, with the lowest frequency of consumption of sweets identified among women whose partner was infertile. Nuts and seeds were consumed the most frequently by women whose partners were infertile, followed by women with the cause of infertility identified on their side, while women with the idiopathic cause of infertility consumed nuts and seeds the least frequently. These examples show that correspondence analysis is well suited to the assessment of the influence of lifestyle on fertility; in addition, it makes it possible to recognize certain correlations that may not be observed in standard statistical tests. (shrink)

One of the most intuitive concepts of truth is the classical correspondence theory of truth. Aside from the theoretical cogency and plausibility, this truth theory has two fundamental problems. I shall explore both of these problems. This will not be to reveal the problematic nature of the classical correspondence theory of truth itself, but to demonstrate the implications it has on Islam. I shall establish that the problems of this truth theory contribute in the failure to determine the (...) truth of a particular notion of an Islamic God. Consequently this truth theory would prove inconsistent with a particular notion of God within the Islamic tradition. (shrink)

In 1992, I sent Milton Friedman a draft of my 1993 paper “Friedman's Theory of Corporate Social Responsibility.” He and I corresponded at length. My 1993 paper argues that Friedman's published formulations of his theory are not equivalent and that they prescribe different courses of action in many possible cases. In our correspondence, Friedman conceded that his two formulations of his theory are inconsistent and, at my suggestion, he endorsed a modified version of the view he presented in Capitalism (...) and Freedom as the preferred version of his theory. This modified theory is an important formulation of his position. In one of his letters to me, Friedman writes: “I agree that corporate executives might have duties to the general public which sometimes outweigh their duties to the shareholders.” I argue that this creates major problems for his theory. I also answer Friedman's published response to one of my criticisms. (shrink)

In December 1945 Thomas Mann wrote a famous letter to Adorno in which he formulated the principle of montage adopted in his novel Doctor Faustus. The writer expressly invited the philosopher to 'consider, with me, how such a work - and I mean Leverkuhn's work - could more or less be practically realized'. Their close collaboration on questions concerning the character of the fictional composer's putatively late works effectively laid the basis for a further exchange of letters. The ensuing (...) class='Hi'>correspondence between the two men documents a rare encounter of creative tension between literary tradition and aesthetic modernism which would be sustained right up until the novelist's death in 1955. In the letters, Thomas Mann openly acknowledged his 'fascinated reading' of Adorno's Minima Moralia and commented in detail on the 'Essay on Wagner', which he was as eager to read as 'the one in the Book of Revelation consumes a book which tastes "as sweet as honey"'. Adorno in turn offered detailed observations upon and frequently enthusiastic commendations of Mann's later writings, such as The Holy Sinner, The Betrayed One and The Confessions of Felix Krull. Their correspondence also touches upon issues of great personal significance, notably the sensitive discussion of the problems of returning from exile to postwar Germany. The letters are extensively annotated and offer the reader detailed notes concerning the writings, events and personalities referred or alluded to in the correspondence. (shrink)

In December 1945 Thomas Mann wrote a famous letter to Adorno in which he formulated the principle of montage adopted in his novel Doctor Faustus. The writer expressly invited the philosopher to 'consider, with me, how such a work - and I mean Leverkuhn's work - could more or less be practically realized'. Their close collaboration on questions concerning the character of the fictional composer's putatively late works effectively laid the basis for a further exchange of letters. The ensuing (...) class='Hi'>correspondence between the two men documents a rare encounter of creative tension between literary tradition and aesthetic modernism which would be sustained right up until the novelist's death in 1955. In the letters, Thomas Mann openly acknowledged his 'fascinated reading' of Adorno's Minima Moralia and commented in detail on the 'Essay on Wagner', which he was as eager to read as 'the one in the Book of Revelation consumes a book which tastes "as sweet as honey"'. Adorno in turn offered detailed observations upon and frequently enthusiastic commendations of Mann's later writings, such as The Holy Sinner, The Betrayed One and The Confessions of Felix Krull. Their correspondence also touches upon issues of great personal significance, notably the sensitive discussion of the problems of returning from exile to postwar Germany. The letters are extensively annotated and offer the reader detailed notes concerning the writings, events and personalities referred or alluded to in the correspondence. (shrink)

This essay is part of a special issue celebrating 50 years of Political Theory. The ambition of the editors was to mark this half century not with a retrospective but with a confabulation of futures. Contributors were asked: What will political theory look and sound like in the next century and beyond? What claims might political theorists or their descendants be making in ten, twenty-five, fifty, a hundred years’ time? How might they vindicate those claims in their future contexts? How (...) will the consistent concerns of political theorists evolve into the questions critical for people decades or centuries from now? What new problems will engage the political theorists (or their rough equivalents) of the future? What forms might those take? What follows is one of the many confabulations published in response to these queries. (shrink)

Multiple theories of problem-solving hypothesize that there are distinct qualitative phases exhibited during effective problem-solving. However, limited research has attempted to identify when transitions between phases occur. We integrate theory on collaborative problem-solving with dynamical systems theory suggesting that when a system is undergoing a phase transition it should exhibit a peak in entropy and that entropy levels should also relate to team performance. Communications from 40 teams that collaborated on a complex problem were coded for (...) occurrence of problem-solving processes. We applied a sliding window entropy technique to each team's communications and specified criteria for identifying data points that qualify as peaks and determining which peaks were robust. We used multilevel modeling, and provide a qualitative example, to evaluate whether phases exhibit distinct distributions of communication processes. We also tested whether there was a relationship between entropy values at transition points and CPS performance. We found that a proportion of entropy peaks was robust and that the relative occurrence of communication codes varied significantly across phases. Peaks in entropy thus corresponded to qualitative shifts in teams’ CPS communications, providing empirical evidence that teams exhibit phase transitions during CPS. Also, lower average levels of entropy at the phase transition points predicted better CPS performance. We specify future directions to improve understanding of phase transitions during CPS, and collaborative cognition, more broadly. (shrink)

This article examines the problem of the origins of the correspondence principle formulated by Bohr in 1920 and intends to test the correctness of the argument that the essential elements of that principle were already present in the 1913 “trilogy”. In contrast to this point of view, moreover widely shared in the literature, this article argues that it is possible to find a connection between the formulation of the correspondence principle and the assessment that led Bohr to (...) abandon the search for a Planck-type theory. In fact, a thorough examination of Bohr’s works shows that the birth of this principle coincided with the depletion of a research program whose origins may date back to Bohr’s stay at the Rutherford’s laboratory (summer 1912). Finally, this article argues that original program of research was abandoned when it became clear that Planck’s quantum hypothesis for the harmonic oscillator was not an adequate support for the theoretical architecture of atomic physics; namely, there was evidence enough to justify a most drastic conclusion, according to Bohr: “I do not think that a theory of the Planck type can be made logical consistent”. (shrink)

In Veritas, Gerald Vision defends the correspondence theory of truth -- the theory that truth has a direct relationship to reality -- against recent attacks, and critically examines its most influential alternatives. The correspondence theory, if successful, explains one way in which we are cognitively connected to the world; thus, it is claimed, truth -- while relevant to semantics, epistemology, and other studies -- also has significant metaphysical consequences. Although the correspondence theory is widely held today, Vision (...) points to an emerging orthodoxy in philosophy that claims that truth as such carries no significant weight in philosophical explanations. He devotes much of the book to a criticism of that outlook and to a less vulnerable formulation of the correspondence theory.Vision defends the correspondence theory by both presenting evidence for correspondence and examining the claims made by such alternative theories as deflationism, minimalism, and pluralism. The techniques of the argument are thoroughly analytic, but the problem confronted is broadly humanistic. The question examined -- how we, as thinking beings, are connected to and manage to cope in a world that was not designed for our comfort or convenience -- is more likely to be raised by continentalists, but is approached here with the tools of clarity and precision more highly prized in analytic philosophy. The book seeks to avoid both the obscurantism that infects much continental thought and the overly technical concerns and methodology that limit the interest of much work in analytic philosophy. It thus provides a rigorous but largely nontechnical treatment of the topic that will be of interest not only to readers familiar with philosophy but also to those with a background in literary theory and linguistics. (shrink)

What is exemplification? A proposition that attributes a property to an object is true if the object exemplifies the property. But according to the correspondence theory, a proposition is true if the corresponding fact exists. So if the correspondence theory is correct, an exemplification of a temporal property by an object is simply the concrete circumstance of the object’s having the property. But since not all properties are temporal, not all exemplifications are circumstances, and we need to recognise (...) timeless as well as temporal facts. This distinction allows us to solve the problem of converse relations, and to give an account of the logically complex facts which deduction allows us to know. (shrink)

Recently we proposed "quantum language" (or, the linguistic Copenhagen interpretation of quantum mechanics"), which was not only characterized as the metaphysical and linguistic turn of quantum mechanics but also the linguistic turn of Descartes=Kant epistemology. We believe that quantum language is the language to describe science, which is the final goal of dualistic idealism. Hence there is a reason to want to clarify, from the quantum linguistic point of view, the following problems: "brain in a vat argument", "the Cogito proposition", (...) "five-minute hypothesis", "only the present exists", "Copernican revolution", "McTaggart's paradox", and so on. In this paper, these will be discussed and clarified in quantum language. That is, these are not in quantum language. Also we emphasize that Leibniz's relationalism in Leibniz-Clarke correspondence is regarded as one of the most important parts of the linguistic Copenhagen interpretation of quantum mechanics. This paper is the revised version of the paper: Open Journal of Philosophy, 2018 Vol.8, No.5, 466-480). (shrink)

Correspondence theories are frequently either too vaguely expressed – “true statements correspond to the way things are in the world,” or implausible – “true statements mirror raw, mind-independent reality.” I address this problem by developing features and roles that ought to characterize what I call ldquo;modest” correspondence theories. Of special importance is the role of correspondence in directing our responses to cases of suspected non-factuality; lack of straightforward correspondence shows the need for, and guides us (...) in our choice of, various kinds of reconstrual projects. This, I argue, is in contrast to the approaches suggested by deflationism and coherence, and thus modest correspondence theories are appropriately distinct from rivals. (shrink)

This book presents the remarkable correspondence between Alfred Schutz and Aron Gurwitsch, emigre philosophers influenced by Edmund Husserl, who fled Europe on the eve of World War II and ultimately became seminal figures in the establishment of phenomenology in the United States. Their deep and lasting friendship grew out of their mutual concern with the question of the connections between science and the life-world. Interwoven with philosophical exchange is the two scholars' encounter with the unfamiliar problems of American academic (...) life—what Gurwitsch called the "passology" of exile. Apart from its brilliant and moving portrait of two distinguished men, the correspondence holds rich significance for current issues in philosophy and the social sciences. (shrink)

Various philosophers have long since been attracted to the doctrine that future contingent propositions systematically fail to be true—what is sometimes called the doctrine of the open future. However, open futurists have always struggled to articulate how their view interacts with standard principles of classical logic—most notably, with the Law of Excluded Middle. For consider the following two claims: Trump will be impeached tomorrow; Trump will not be impeached tomorrow. According to the kind of open futurist at issue, both of (...) these claims may well fail to be true. According to many, however, the disjunction of these claims can be represented as p ∨ ~p—that is, as an instance of LEM. In this essay, however, I wish to defend the view that the disjunction these claims cannot be represented as an instance of p ∨ ~p. And this is for the following reason: the latter claim is not, in fact, the strict negation of the former. More particularly, there is an important semantic distinction between the strict negation of the first claim [~] and the latter claim. However, the viability of this approach has been denied by Thomason, and more recently by MacFarlane and Cariani and Santorio, the latter of whom call the denial of the given semantic distinction “scopelessness”. According to these authors, that is, will is “scopeless” with respect to negation; whereas there is perhaps a syntactic distinction between ‘~Will p’ and ‘Will ~p’, there is no corresponding semantic distinction. And if this is so, the approach in question fails. In this paper, then, I criticize the claim that will is “scopeless” with respect to negation. I argue that will is a so-called “neg-raising” predicate—and that, in this light, we can see that the requisite scope distinctions aren’t missing, but are simply being masked. The result: a under-appreciated solution to the problem of future contingents that sees and as contraries, not contradictories. (shrink)

The aim is to show that study objects that address social problems , should be analysed with a consistent method to it complexity, i.e. critical dialectical, because it not only explains the problem, but transforms the current conditions with the intention of enhancing its constituent elements. The first section shows the onto-epistemological and teleological assumptions of the study object, the second the explanation of an epistemic matrix that displays the location of the problem, thus establishing the right process (...) for its approach. Se trata de mostrar que los objetos de estudio que aborden problemas sociales , deben ser analizados con un método consecuente a la complejidad del mismo, siendo éste la dialéctica-crítica, puesto que no se trata solamente de explicar el problema, sino de transformar las condiciones existentes con una intencionalidad potenciadora de los elementos que lo constituyen. Para ello se recurre, en un primer momento, a la explicación de los supuestos onto-epistemológicos y teleológicos del objeto de estudio, y en un segundo momento, a la explicación de una matriz epistémica que permite visualizar la ubicación del problema, estableciendo en consecuencia, el proceso adecuado para su abordaje. (shrink)

The problem of evil might better be called "the problem of problems." That there is "evil" in the world can be expressed most generally by saying that there are problems with the way things are, that at least something is not the way it should be. I shall propose that the various possible resolutions of the problem of evil correspond to varying approaches that people generally take to the problems in their lives. In this way, a connection (...) can be made between the problem of evil as discussed by professional philosophers - a problem concerning the consistency of beliefs - and the problem as often discussed by other writers - a problem concerning the proper response to the "evil" that we find around and within us. In the course of demonstrating the parallel between the philosophical and the practical problem, I shall elaborate on the contrasting points of view of exoteric and esoteric religion, and I shall conclude with an attempt to explain why the problem remains a problem. (shrink)

For more than a century now, researchers have acknowledged the existence of seemingly arbitrary crossmodal congruency effects between dimensions of sensory stimuli in the general population. Such phenomena, known by a variety of terms including 'crossmodal correspondences', involve individual stimulus properties, rely on a crossmodal mapping of unisensory features, and appear to be shared by the majority of individuals. In other words, members of the general population share underlying preferences for specific pairings across the senses. Crossmodal correspondences between complementary sensory (...) cues have often been referred to as synesthetic correspondences but, we would argue, differ from full-blown synesthetic experiences in a number of important ways, including the fact that there are no idiosyncratic concurrent sensations. Recent psychophysical evidence suggests that such crossmodal correspondences can modulate multisensory integration by helping to resolve the crossmodal binding problem. Here, we propose a model to account for the effects of crossmodal correspondences between complementary auditory and visual cues and critically review their relation to full-blown synesthesia. (shrink)

In his Works of Pindar, Vol. II, p. xxiii, Dr. L. R. Farnell discusses the admission of metrical licences into Pindar's text, and pronounces that ‘the “Responsion-law” should not be pressed with over-strained severity.’ In general he agrees with Wilamowitz and Schroeder and disagrees with the stricter school of P. Maas. But none of these scholars have formulated the principles by which long syllables may be equated with short in Pindar's text, or even those by which two short syllables may (...) take the place of one long and vice versa. Such attempts were made by great scholars of the past, notably by Erasmus Schmid, Hermann and Boeckh, but recent developments in metric and textual criticism have created a new attitude towards metrical problems and provided a new vocabulary. It is time that Pindar's practice was re-examined. Only from it can we deduce what his rules of composition were and find out what licences he allowed and what not. The question is important both for the textual critic and for the student of Greek metric. If we can discover the principles on which Pindar used such metrical licences, we shall be more qualified to consider emendations which involve them and to understand the rules which he set before himself when composing an ode. (shrink)

Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. This accounting is made possible by removing the ‘structural’ rules of contraction and weakening, adding a modal operator and adding finer versions of the propositional connectives. Linear logic has fundamental logical interest and applications to computer science, particularly to Petri nets, concurrency, storage allocation, garbage collection and the control structure of logic programs. In addition, there is a direct correspondence between polynomial-time (...) computation and proof normalization in a bounded form of linear logic. In this paper we show that unlike most other propositional logics, full propositional linear logic is undecidable. Further, we prove that without the modal storage operator, which indicates unboundedness of resources, the decision problem becomes PSPACE-complete. We also establish membership in NP for the multiplicative fragment, NP-completeness for the multiplicative fragment extended with unrestricted weakening, and undecidability for fragments of noncommutative propositional linear logic. (shrink)

The article begins by describing two longstanding problems associated with direct inference. One problem concerns the role of uninformative frequency statements in inferring probabilities by direct inference. A second problem concerns the role of frequency statements with gerrymandered reference classes. I show that past approaches to the problem associated with uninformative frequency statements yield the wrong conclusions in some cases. I propose a modification of Kyburg’s approach to the problem that yields the right conclusions. Past theories (...) of direct inference have postponed treatment of the problem associated with gerrymandered reference classes by appealing to an unexplicated notion of projectability . I address the lacuna in past theories by introducing criteria for being a relevant statistic . The prescription that only relevant statistics play a role in direct inference corresponds to the sort of projectability constraints envisioned by past theories. (shrink)