I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the (...) resulting natural deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for Lukasiewicz's three-valued logic. (shrink)

B. Kooi and A. Tamminga present a correspondence analysis for extensions of G. Priest’s logic of paradox. Each unary or binary extension is characterizable by a special operator and analyzable via a sound and complete natural deduction system. The present paper develops a sound and complete proof searching technique for the binary extensions of the logic of paradox.

Correspondence analysis is Kooi and Tamminga’s universal approach which generates in one go sound and complete natural deduction systems with independent inference rules for tabular extensions of many-valued functionally incomplete logics. Originally, this method was applied to Asenjo–Priest’s paraconsistent logic of paradox LP. As a result, one has natural deduction systems for all the logics obtainable from the basic three-valued connectives of LP -language) by the addition of unary and binary connectives. Tamminga has also applied this technique to (...) the paracomplete analogue of LP, strong Kleene logic \. In this paper, we generalize these results for the negative fragments of LP and \, respectively. Thus, the method of correspondence analysis works for the logics which have the same negations as LP or \, but either have different conjunctions or disjunctions or even don’t have them as well at all. Besides, we show that correspondence analyses for the negative fragments of \ and LP, respectively, are also suitable without any changes for the negative fragments of Heyting’s logic \ and its dual \ and LP). (shrink)

In the paper, we apply Kooi and Tamminga’s correspondence analysis to some conventional and functionally incomplete fragments of classical propositional logic. In particular, the paper deals with the implication, disjunction, and negation fragments. Additionally, we consider an application of correspondence analysis to some connectiveless fragment with certain basic properties of the logical consequence relation only. As a result of the application, one obtains a sound and complete natural deduction system for any binary extension of each fragment (...) in question. With the focus on exclusive disjunction we comparatively study the proposed systems. Finally, we discuss Segerberg’s systems for connectiveless and negation fragments and compare them with our systems. (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)

The paper’s novelty is in combining two comparatively new fields of research: non-transitive logic and the proof method of correspondence analysis. To be more detailed, in this paper the latter is adapted to Weir’s non-transitive trivalent logic \({\mathbf{NC}}_{\mathbf{3}}\). As a result, for each binary extension of \({\mathbf{NC}}_{\mathbf{3}}\), we present a sound and complete Lemmon-style natural deduction system. Last, but not least, we stress the fact that Avron and his co-authors’ general method of obtaining _n_-sequent proof systems for any (...) _n_-valent logic with deterministic or non-deterministic matrices is not applicable to \({\mathbf{NC}}_{\mathbf{3}}\) and its binary extensions. (shrink)

Kooi and Tamminga's correspondence analysis is a technique for designing proof systems, mostly, natural deduction and sequent systems. In this paper it is used to generate sequent calculi with invertible rules, whose only branching rule is the rule of cut. The calculi pertain to classical propositional logic and any of its fragments that may be obtained from adding a set of rules characterizing a two-argument Boolean function to the negation fragment of classical propositional logic. The properties of soundness (...) and completeness of the calculi are demonstrated. The proof of completeness is conducted by Kalmár's method. Most of the presented sequent-calculus rules have been obtained automatically, by a rule-generating algorithm implemented in Python. Correctness of the algorithm is demonstrated. This automated approach allowed us to analyse thousands of possible rules' schemes, hundreds of rules corresponding to Boolean functions, and to nd dozens of those invertible. Interestingly, the analysis revealed that the presented proof-theoretic framework provides a syntactic characteristics of such an important semantic property as functional completeness. (shrink)

The goal of this paper is to propose correspondence analysis as a technique for generating the so-called erotetic calculi which constitute the method of Socratic proofs by Andrzej Wiśniewski. As we explain in the paper, in order to successfully design an erotetic calculus one needs invertible sequent-calculus-style rules. For this reason, the proposed correspondence analysis resulting in invertible rules can constitute a new foundation for the method of Socratic proofs. Correspondence analysis is Kooi and (...) Tamminga's technique for designing proof systems. In this paper it is used to consider sequent calculi with non-branching, invertible rules for the negation fragment of classical propositional logic and its extensions by binary Boolean functions. (shrink)

Health behaviours of preschool children have a considerable impact on the shaping of habits later on in their lives. Parents’ and guardians’ role is to develop positive health patterns and represent exemplary models to be followed by children. The aim of the paper is to present the use of correspondence analysis for the assessment of the relationship between eating habits of parents and children, as well as for the determination of the most common situations in which preschool children (...) consume fast-food products and to find the relationship between the frequency of fast-food consumption and BMI values in preschool children. The tests were carried out with the use of an own survey carried out in kindergartens in Białystok among parents dropping off and picking up children. 149 correctly filled questionnaires were obtained. The statistical analysis employs the chi-squared test and correspondence analysis. Among the tested children, a statistically significant relationship between body weight and sex was obtained. In the group of children and parents consuming fast-foods, a statistically significant relationship between the frequency of children’s and parents’ consumption of the products in question was noticed. A statistically significant relationship between the age of introduction of fast-food products into the child’s diet and their BMI was found. A situation that was statistically significant as far as contribution to frequent consumption of fast-food products by children, i.e. at least once a week, were children and parents shopping together. The relationship between the frequency of fast-food consumption by parents and children was presented in the form of correspondence maps, as well as the relationship between the child’s BMI and the age when the first fast-food product is served, and the relationship between the child’s BMI and the frequency of their consumption of fast-foods. Unfortunately, despite the high awareness among parents of the harmful effects of fast-food products and the widespread health education programmes, a number of the children in kindergartens were overweight or even obese. For this reason, the quality of the educational programmes in kindergartens, as well as in various media outlets, needs to be improved, with emphasis put on their effectiveness, in order to minimise the problem of the occurrence of overweight and obesity in children. It is also important for parents rearing children to pay special attention not only to their children’s menus, but also to foods consumed in the presence of children. (shrink)

The subject of this study is the special theory of relativity (SRT) by A. Einstein, the debate about which has been going on for more than a hundred years. The aim of the study is to evaluate SRT from the side of whether everything that is discussed in this theory and thus in the new, relativistic physics is possible in nature itself. At the same time, the author pays special attention to three issues: the principle of relativity, the necessary condition (...) for the objectivity of the content of scientific theories and the Einstein style of scientific thinking, which predetermined the ideological component of SRT and all relativistic physics. But such issues as relativistic reductions of lengths and durations, the relativity of simultaneity and a single space-time do not remain without attention. The study revealed the fallacy of a long-standing and widespread opinion about the relativity of properties. The necessary condition for the objectivity of scientific theories is revealed. The natural form of expression of quantities is revealed and the non-relative nature of all natural quantities is shown. The hidden form of relativity inherent in the SRT postulate about the constancy of the speed of light in all inertial reference frames and extended in SRT to the magnitude of all lengths and durations considered in it is revealed. It is shown that such relativity is based on the dependence of the quantities on the choice of their reflection systems. It is shown that such dependence is impossible in nature itself. It is concluded that the SRT is erroneous. At the same time, the factors that served as favorable ground for the emergence and spread of this erroneous theory are listed. (shrink)

By the "fast set of snow Ke" and "chido" comedy, experience Yuan Zhongdao indulge in wine and women, addicted to landscape, Duan Yu healing, see the nature of participation requirements, Kejia boast hinder, the storm is life outside of poverty Yan Jian; and explore The inner world of the Benefiting the people, the official hidden humbleness, humor, Maniac frank, good leisure habits quiet, Shang Lexi Friends of personality traits; Ji was fully grasp the charm of minor repairs inside and outside (...) appearance, as of its prose sketches of auxiliary. This paper gives a detailed description of Yuan Hsiao-Hsiu's character and life by interpreting his correspondence with family and friends which are included in Ko Hsueh Chai Chi, a collection of Yuan's literary works. Yuan's correspondence not only clearly portrays his life but also reveals his character and personality. Topics that are covered in this paper include the consequences of Yuan's failures at the civil service examinations, his self-indulgence, his challenges and sufferings, his political views, his affections for family and friends, and his philosophy of life. (shrink)

This article uses the methods of citation and network analysis to map the global structure of the intellectual field and its development over time. Through the case study of Mersenne's, Oldenburg's and Darwin's correspondences, we show how looking at letters as a corpus of data can provide a global representation of the evolving conversation going on in the Republic of Letters and in intellectual and scientific fields. Aggregating general correspondences in electronic format offers a global portrait of the evolving (...) composition of the intellectual and scientific scene, its changing foci of interests and the fortune of the intellectual discussions as expressed in cited persons in the letters. Such tools help replace a purely metaphoric use of the term “network” by a visible map of the intellectual relations between people on which well defined calculations of the centrality of the positions of different actors can be made as well as their evolution over time. These techniques provide welcome additions to the tool kit of scholars in an age where the computer and the web offer new ways of mapping and mining the rich store of information contained in intellectual correspondences. ☆ I would like to thank Alain Couillard for the production of the figures and Vincent Larivière and the anonymous referees of the journal for useful comments and suggestions on an earlier version of this paper. Thanks also to the many comments received over the last 10 years as I presented preliminary results of this research at the REHSEIS research center of Université of Paris VII in 1999, the Dibner Institute for the History of Science and Technology at MIT in 2000, at Pietro Corsi's seminar at Oxford University in 2007 and at the History Department of Ottawa University in 2010. (shrink)

The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory relations. (...) We show that our final analysis captures the presumed asymmetry between explanans and explanandum much better than Rott’s original analysis. (shrink)

In April 1994, two as-yet-unreleased letters by Sartre and one by Merleau-Ponty were published in the "Magazine Littéraire". Their publication sparked new interpretative hypotheses on the political and philosophical motivations behind the break of the relationship of mutual esteem, friendship, and fruitful intellectual collaboration between Merleau-Ponty and Sartre. The bright tone of their personal contrasts testified the profound theoretical differences between the two thinkers, both at philosophical level and political praxis. This volume covers the period between the launch of the (...) magazine "Les Temps Moderns" in 1945 and Sartre's decision to no longer accept Merleau-Ponty's contributions in 1953, offering a detailed analysis of the respective position of the two philosophers and of an irreducible intellectual distance between them. (shrink)

The well-known formal semantics of conditionals due to Stalnaker Studies in logical theory, Blackwell, Oxford, 1968), Lewis, and Gärdenfors The logic and 1140 epistemology of scientific change, North-Holland, Amsterdam, 1978, Knowledge in flux, MIT Press, Cambridge, 1988) all fail to distinguish between trivially and nontrivially true indicative conditionals. This problem has been addressed by Rott :345–370, 1986) in terms of a strengthened Ramsey Test. In this paper, we refine Rott’s strengthened Ramsey Test and the corresponding analysis of explanatory relations. (...) We show that our final analysis captures the presumed asymmetry between explanans and explanandum much better than Rott’s original analysis. (shrink)

In modern discourse about the history of science, it seems to be widely accepted that at the end of the nineteenth century, Germany was one of the leading countries in the production of science. In the past, historians of science tried to trace back a specific ‘German style’ of science that—in combination with other factors—determined this German dominance around 1900, especially in the life sciences. Considering the theoretical concept of ‘national styles’, it has to be kept in mind that around (...) 1900, contemporaries already proclaimed ‘national styles’ of science as representations of national identity. Thus, the question arises as to how far existing historiographical conceptions of national styles may include earlier claims and prejudices. Careful reconstructions of contemporary discourses on national styles and inquiries into the ‘stylisation’ of a dominant, successful ‘German style’ are necessary. One of the contemporary critics of a ‘German style’ of science was the physiologist Jacques Loeb (1859–1924), who emigrated to the USA in 1891. Loeb corresponded regularly with the physicist and philosopher Ernst Mach (1838–1916). Ernst Mach can be considered Loeb's intellectual father with whom he corresponded about strategic, philosophical, and epistemological questions. Using the Loeb–Mach correspondence, the aim of the paper is to reconstruct Loeb's conception of a ‘German style’ of science and its differences to an ‘American style’. Changes in his views are discussed as well as the roots of his views and some of their consequences. Finally, Loeb's ideas on national styles and his working profiles before and after his emigration are compared to historiographical analyses of ‘American’ or ‘German’ styles of science around 1900. (shrink)

Various aspects of prepositions translation have been primarily investigated in the framework of translation theory. Applied research is mostly focused on translating particular groups of prepositions against the background of plain language. Legal translation researchers have not yet comprehensively analysed peculiarities of translating Russian prepositions used in legal texts into English. The paper is an attempt to investigate the difficulties which Russian learners can encounter when translating prepositions from Russian commercial contracts into English. Methods employed include language typology comparison, continuous (...) sampling technique, language corpus data analysis as applied to language error forecast and prevention. The material selected for analysis – Russian commercial contracts – is chosen in accordance with the principles of professionalism, globalization, specialisation as well as graduates’ employment opportunities. The author develops a classification of prepositions drawing upon their structural, grammar and semantic functions in the texts of Russian commercial contracts. The findings reveal negative interference zones that can potentially cause preposition errors. Feasibility of the forecast is confirmed by the analysis of real learners’ errors. The research concludes that modelling legal translation teaching which takes into account potential interference zones for students can contribute to shifting focus to problem zones while teaching, raising students’ awareness, and therefore acting as propedeutics of the corresponding errors. (shrink)

The traditional role which correspondence rules, coordinating definitions, or semantical rules, have in a logical analysis of a scientific theory is questioned by providing an alternative analysis. The alternative account suggests that scientific theories are "meaningful" prior to the establishment of correspondence rules, and that correspondence rules are introduced to permit explanation and testing in the "observational" sector. The role of models is briefly assessed in connection with this prior or "antecedent theoretical meaning," and a (...) causal sequence analysis of a class of correspondence rules is presented which makes explicit the interdependence of scientific theories. (shrink)

The idea of presenting the correspondence between Ioan Petru Culianu and Ugo Bianchi involves reviewing the topics specific to Bianchi’s school of History of Religion for a period of more than a decade and the manner in which the Romanian-born historian of religions builds his academic career. The academic relation between Bianchi and Culianu has a major common point: an acute preoccupation with the epistemological construction of the HR discipline. What is it that separates Culianu from Bianchi and even (...) from a large majority of the academic community in his ultimate view on religion and the religious phenomena? From a historical and religious point of view, the answer is very simple: Culianu developed a holistic theory about religion whose conceptual directions led to what Bianchi called reductio ad unum. This article focuses on presenting the biographical data correlated to the most solid scholarly education that Culianu ever had in Italy. I will also reiterate the idea that the centre of gravity of Culianu’s ultimate concerns does not necessarily fall on the methodological disputes of HR, but especially on a new understanding of cognitive sciences in general. (shrink)

Taking our inspiration from modal correspondence theory, we present the idea of correspondence analysis for many-valued logics. As a benchmark case, we study truth-functional extensions of the Logic of Paradox (LP). First, we characterize each of the possible truth table entries for unary and binary operators that could be added to LP by an inference scheme. Second, we define a class of natural deduction systems on the basis of these characterizing inference schemes and a natural deduction system (...) for LP. Third, we show that each of the resulting natural deduction systems is sound and complete with respect to its particular semantics. (shrink)

Although the controversy between Malthus and Ricardo has long been considered to be an important source for the history of economic thought, it has hardly been the object of a careful study qua controversy, i.e. as a polemical dialogical exchange. We have undertaken to fill this gap, within the framework of a more ambitious project that places controversies at the center of an account of the history of ideas, in science and elsewhere. It is our contention that the dialogical co-text (...) is essential for reconstructing the meaning and the evolution of science. In the present paper we try to substantiate this contention by means of a pragma-rhetorical study of this particular controversy. First, we reconstruct, through an analysis of a chunk of the correspondence, a micro-level of specific moves and countermoves which constitute a sequential structure within which also meta-scientific and meta-controversial considerations play a role. We then move to a macro-level of analysis, looking for recurrent patterns of argumentation. Finally, we draw epistemological conclusions on the nature of rationality and progress as manifested in actual scientific controversies. (shrink)

Analysis has always been at the heart of philosophical method, but it has been understood and practised in many different ways. Perhaps, in its broadest sense, it might be defined as a process of isolating or working back to what is more fundamental by means of which something, initially taken as given, can be explained or reconstructed. The explanation or reconstruction is often then exhibited in a corresponding process of synthesis. This allows great variation in specific method, however. The (...) aim may be to get back to basics, but there may be all sorts of ways of doing this, each of which might be called ‘analysis’. The dominance of ‘analytic’ philosophy in the Englishspeaking world, and increasingly now in the rest of the world, might suggest that a consensus has formed concerning the role and importance of analysis. This assumes, though, that there is agreement on what ‘analysis’ means, and this is far from clear. On the other hand, Wittgenstein's later critique of analysis in the early (logical atomist) period of analytic philosophy, and Quine's attack on the analytic-synthetic distinction, for example, have led some to claim that we are now in a ‘post-analytic’ age. Such criticisms, however, are only directed at particular conceptions of analysis. If we look at the history of philosophy, and even if we just look at the history of analytic philosophy, we find a rich and extensive repertoire of conceptions of analysis which philosophers have continually drawn upon and reconfigured in different ways. Analytic philosophy is alive and well precisely because of the range of conceptions of analysis that it involves. It may have fragmented into various interlocking subtraditions, but those subtraditions are held together by both their shared history and their methodological interconnections. It is the aim of this article to indicate something of.. (shrink)

In this paper, I distinguish between correspondence and deflationary conceptions of truth in terms of the modal status they attribute to the relation between a sentence and its truth conditions. And I distinguish between robust and minimalist correspondence conceptions on the basis of whether they provide a reductive analysis of the relation between a sentence and its truth conditions. I argue, contra deflationism, that a correspondence conception of truth is required in explanations of success by appealing (...) to counterfactuals that such explanations must support. But I argue, contra Field, that nothing stronger than a minimalist correspondence conception is required. (shrink)

The private letter, one of the most representative expressions of mass literacy, was the product of improved postal services and epistolary manuals. In the nineteenth century, which also witnessed the new phenomenon of mass emigration, letter writing became one of the most common practices. This article discusses the correspondence of José Moldes, an Asturian who left Spain for Puerto Rico at the age of fourteen and settled shortly afterwards in Chile. He died in his native Asturias at the age (...) of sixty-one. Throughout these fifty or so years, José wrote letters to keep in contact with members of his family, to control them when he became head of the household or to manage his businesses and investments. About 120 of his letters survived in the Moldes-Barreras family archive, through which we can reconstruct his experiences. The essential characteristics of this epistolary corpus emerge from an analysis of its material and graphic aspects, suggesting the profound influence of immigration on personal writing. (shrink)

Medical students lack opportunities to have authentic conversations with patients with cancer in busy hospitals. An improved understanding of what such communication might look like may provide a framework for end-of-life curricula. The authors performed thematic analysis using written correspondence between patient and student participants in the University of California, San Francisco’s Firefly Program whose letters discussed death or dying. Four themes emerged: (1) turmoil, (2) grief, (3) making peace, and (4) past, present, and future. Medical students expressed (...) a fifth theme: unmet student expectations. The study provides educators with a unique perspective to help inform curriculum development and patient care. (shrink)

The research guided by the correspondence metaphor is lauded for its emphasis on functional analysis, but the term “correspondence” itself needs clarification. Of the two terms in the relationship, only one is well defined. It is suggested that behavior at acquisition needs to be analyzed and that molecular principles from the learning laboratory might be useful in doing so.

Meta‐analysis: the glass eye of evidence‐based practice?Meta‐analysis was developed as a technique for combining the results of many different quantitative studies: it is often used to produce quantitative estimates of causal relations and/or association between variables. Meta‐analysis is sometimes regarded as a central component of evidence‐based practice. We draw attention to an incompatibility in the epistemology and methods of reasoning in quantitative meta‐analysis and the epistemology and reasoning implicit in expert practice. We argue that this may (...) be because the common perception of meta‐analysis appeals to truth as correspondence; we suggest that rejecting the naïve realism that underpins truth as correspondence allows meta‐analysis to be understood in terms of truth as coherence. We can then develop an account of meta‐analysis that does not depend upon reduction to a mathematical procedure but is an attempt to maximise coherence in beliefs about what works that is consistent with clinical reasoning in expert practice. (shrink)

Much controversy surrounds the question of what ought to be the proper definition of 'singularity' in general relativity, and the question of whether the prediction of such entities leads to a crisis for the theory. I argue that a definition in terms of curve incompleteness is adequate, and in particular that the idea that singularities correspond to 'missing points' has insurmountable problems. I conclude that singularities per se pose no serious problem for the theory, but their analysis does bring (...) into focus several problems of interpretation at the foundation of the theory often ignored in the philosophical literature. (shrink)

This paper provides an analysis of the notational difference between Beta Existential Graphs, the graphical notation for quantificational logic invented by Charles S. Peirce at the end of the 19th century, and the ordinary notation of first-order logic. Peirce thought his graphs to be “more diagrammatic” than equivalently expressive languages for quantificational logic. The reason of this, he claimed, is that less room is afforded in Existential Graphs than in equivalently expressive languages for different ways of representing the same (...) fact. The reason of this, in turn, is that Existential Graphs are a non-linear, occurrence-referential notation. As a non-linear notation, each graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic that are obtained by permuting those elements that in the graphs lie in the same area. As an occurrence-referential notation, each Beta graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic in which the identity of reference of two or more variables is asserted. In brief, Peirce’s graphs are more diagrammatic than the linear, type-referential notation of first-order logic because the function that translates the latter to the graphs does not define isomorphism between the two notations. (shrink)

This research offers a concise analysis of leisure science, leisure studies, and the concept of leisure space-time. It explores the interdisciplinary nature of leisure science, drawing from psychology, sociology, and economics. The research article of corresponding report writing on desk examines leisure studies that contribute to understanding individual and societal leisure behaviors, motivations, and benefits. Additionally, it delves into the notion of leisure space-time, investigating the design and utilization of spaces for leisure activities. This research provides valuable insights into (...) the multifaceted realm of leisure, shedding light on its significance in contemporary society. (shrink)

Exploring philosophy through detailed argument analyses of texts by philosophers from Plato to Strawson using a novel and transparent method of analysis. The best way to introduce students to philosophy and philosophical discourse is to have them read and wrestle with original sources. This textbook explores philosophy through detailed argument analyses of texts by philosophers from Plato to Strawson. It presents a novel and transparent method of analysis that will teach students not only how to understand and evaluate (...) philosophers' arguments but also how to construct such arguments themselves. Students will learn to read a text and discover what the philosopher thinks, why the philosopher thinks it, and whether the supporting argument is good. Students learn argument analysis through argument diagrams, with color-coding of the argument's various elements—conclusion, claims, and “indicator phrases.” (An online “mini-course” in argument diagramming and argument diagramming software are both freely available online.) Each chapter ends with exercises and reading questions. After a general introduction to philosophy and logic and an explanation of argument analysis, the book presents selections from primary sources, arranged by topics that correspond to contemporary debates, with detailed analysis and evaluation. These topics include philosophy of religion, epistemology, theory of mind, free will and determinism, and ethics; authors include Aristotle, Aquinas, Descartes, Hume, Kant, Ryle, Fodor, Dennett, Searle, and others. What Is the Argument? not only introduces students to great philosophical thinkers, it also teaches them the essential skill of critical thinking. (shrink)

This book presents a history of the correspondence principle from a new perspective. The author provides a unique exploration of the relation between the practice of theory and conceptual development in physics. In the process, he argues for a new understanding of the history of the old quantum theory and the emergence of quantum mechanics. The analysis looks at how the correspondence principle was disseminated and how the principle was applied as a research tool during the 1920s. (...) It provides new insights into the interaction between theoretical tools and scientific problems and shows that the use of this theoretical tool changed the tool itself in a process of transformation through implementation. This process, the author claims, was responsible for the conceptual development of the correspondence principle. This monograph connects to the vast literature in the history of science, which analyzed theoretical practices as based on tacit knowledge, skills, and calculation techniques. It contributes to the historical understanding of quantum physics and the emergence of quantum mechanics. Studying how physicists used a set of tools to solve problems, the author spells out the ‟skillful guessing” that went into the making of quantum theoretical arguments and argues that the integration and implementation of technical resources was a central driving force for the conceptual and theoretical transformation in the old quantum theory. (shrink)

There is no distinct correspondence theory of truth, truth is correspondence to fact. If facts are taken to be true propositions, we wind up with just another version of the correspondence theory's ostensible competitor, the redundancy theory of truth. If instead facts are taken to be Armstrong's states of affairs, or Tractarian facts, or Mellor's _facta<D>, we get a _truthmaker<D> principle, that for every truth there is a truthmaker; something whose existence implies the proposition in question. Truthmaker (...) principles are interesting and useful, but go far beyond truth as correspondence with fact, and so are not really theories of truth at all. (shrink)

We perform a frequency analysis of the EPR-Bell argumentation. One of the main consequences of our investigation is that the existence of probability distributions of the Kolmogorov-type which was supposed by some authors is a mathematical assumption which may not be supported by actual physical quantum processes. In fact, frequencies for hidden variables for quantum particles and measurement devices may fluctuate from run to run of an experiment. These fluctuations of frequencies for micro-parameters need not contradict to the stabilization (...) of frequencies for physical observables. If, nevertheless, micro-parameters are also statistically stable, then violations of Bell's inequality and its generalizations may be a consequence of dependence of collectives corresponding to two different measurement devices. Such a dependence implies the violation of the factorization rule for the simultaneous probability distribution. Formally this rule coincides with the well known BCHS locality condition (or outcome independence condition). However, the frequency approach implies totally different interpretation of dependence. It is not dependence of events, but it is dependence of collectives. Such a dependence may be induced by the same preparation procedure. (shrink)

Several prominent philosophers assume that the so-called ‘Belief–Assertion Parallel’ warrants epistemic norm correspondence; as such, they argue from the epistemic norm governing one to the epistemic norm governing the other. This paper argues that, in all its readings, the belief–assertion parallel lacks the desired normative import.

In addition to addressing the usual topics of real analysis, this book discusses the elements of order theory, convex analysis, optimization, correspondences, linear and nonlinear functional analysis, fixed-point theory, dynamic programming ...

Advances in biochemistry, chemistry and engineering have enabled the development of a new gene expression assay. This ‘chip‐based’ approach utilizes microscopic arrays of cDNAs printed on glass as high‐density hybridization targets. Fluorescent probe mixtures derived from total cellular messenger RNA (mRNA) hybridize to cognate elements on the array, allowing accurate measurement of the expression of the corresponding genes. Array densities of >1,000 cDNAs per cm2 enable quantitative expression monitoring of a large number of genes in a single hybridization. A two‐color (...) fluorescence detection scheme allows rapid and simultaneous differential expression analysis of independent biological samples. Mass‐produced microarrays provide a new tool for genome expression analysis that may revolutionize genetic dissection, drug discovery and human disease diagnostics. (shrink)

Recently, Bengt Hansson presented a paper about dyadic deontic logic,2 criticizing some purely axiomatic systems of dyadic deontic logic and proposing three purely semantical systems of dyadic deontic logic which he confidently called dyadic standard systems of deontic logic (DSDL1–3). Here I shall discuss the third by far most interesting system DSDL3 which is operating with preference relations. First, I shall describe this semantical system (Sections 1.1–1.3). Then I shall give an axiomatic system (Section 1.4) which is proved to be (...) correct (Section 2) and complete (Section 3) with respect to Hansson's semantics. Finally, in face of these results Hansson's semantics will be discussed from a more intuitive standpoint. After emphasizing its intuitive attractiveness (Section 4.1) I will show that two objections often discussed in connection with preference relations do not apply to it (Section 4.2 and 4.3); more precisely, I will show that the connectedness condition for preference relations can be dropped and that, in a sense, it is not necessary to compare two possible worlds differing in infinitely many respects. (What exactly is meant by this, will become clear later on.) Yet there is a third objection to Hansson's semantics which points to a real intuitive inadequacy of DSDL3. A way of removing this inadequacy, which corresponds to Hansson's own intuitions as well as to familiar metaethical views, is suggested, but not technically realized (Section 4.4). In the last section (section 4.5) I shall briefly show that DSDL3 is decidable, as expected. (shrink)

Mental health is an important basic condition for college students to become adults. Educators gradually attach importance to strengthening the mental health education of college students. This paper makes a detailed analysis and research on college students’ mental health, expounds the development and application of clustering analysis algorithm, applies the distance formula and clustering criterion function commonly used in clustering analysis, and makes a specific description of some classic algorithms of clustering analysis. Based on expounding the (...) advantages and disadvantages of fast-clustering analysis algorithm and hierarchical clustering analysis algorithm, this paper introduces the concept of the two-step clustering algorithm, discusses the algorithm flow of clustering model in detail, and gives the algorithm flow chart. The main work of this paper is to analyze the clustering algorithm of students’ mental health database formed by mental health assessment tool test, establish a data mining model, mine the database, analyze the state characteristics of different college students’ mental health, and provide corresponding solutions. In order to meet the needs of the psychological management system based on the clustering analysis method, the clustering analysis algorithm is used to cluster the data. Based on the original database, this paper establishes the methods of selecting, cleaning, and transforming the data of students’ psychological archives. Finally, it expounds on the application of data mining in students’ psychological management system and summarizes and prospects the implementation of the system. (shrink)