In a series of recent publications, orofacial researchers have debated the question of how ‘bruxism’ should be defined for the purposes of accurate diagnosis and reliable clinical research. Following the principles of realism-based ontology, we performed an analysis of the arguments involved. This revealed that the disagreements rested primarily on inconsistent use of terms, so that issues of ontology were thus obfuscated by shortfalls in terminology. In this paper, we demonstrate how bruxism terminology can be improved by paying attention to (...) the relationships between (1) particulars and types, and (2) continuants and occurrents. (shrink)

Mark Schroeder has argued that all reasonable forms of inconsistency of attitude consist of having the same attitude type towards a pair of inconsistent contents (A-type inconsistency). We suggest that he is mistaken in this, offering a number of intuitive examples of pairs of distinct attitudes types with consistent contents which are intuitively inconsistent (B-type inconsistency). We further argue that, despite the virtues of Schroeder's elegant A-type expressivist semantics, B-type inconsistency is (...) in many ways the more natural choice in developing an expressivist account of moral discourse. We close by showing how to adapt ordinary formality-based accounts of logicality to define a B-type account of logical inconsistency and distinguish it from both semantic and pragmatic inconsistency. In sum, we provide a roadmap of how to develop a successful B-type expressivism. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem of (...) Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

(Added April 2023: This draft is superseded by Briggs, R.A., & George, B.R. (2023). 'What Even Is Gender?'. Routledge. DOI 10.4324/9781003053330, and in particular by the first three chapters thereof. While this much earlier draft remains available for archival purposes, you are encouraged to read and cite the 2023 book and to use its terminology.) -/- This paper presents a new taxonomy of sex/gender concepts based on the idea of starting with a few basic components of the sex/gender system, and (...) exhausting the possible types of simple associations and identities based on these. The resulting system is significantly more fine-grained than most competitors, and helps to clarify a number of points of confusion and conceptual tension in academic and activist conversations about feminism, transgender politics, and the social analysis of gender. (shrink)

These days the two most popular approaches to belief ascription are Millianism and Contextualism. The former approach is inconsistent with the existence of ordinary Frege cases, such as Lois believing that Superman flies while failing to believe that Clark Kent flies. The Millian holds that the only truth-conditionally relevant aspect of a proper name is its referent or extension. Contextualism, as I will define it for the purposes of this essay, includes all theories according to which ascriptions of the form (...) ‘S believes that a is F’ and ‘S believes that b is F’, where ‘a’ and ‘b’ are coreferential proper names, may, depending on the context, differ in truth-value even though in those very contexts each ascription relates the same believer to the very same proposition. What the two theories have in common is the claim that names are Millian. What separates the two theories is what they say about belief contexts. In this essay I prove that Millianism is true, Contextualism is true, or our intuitions regarding belief ascriptions are hopelessly inaccurate. As a consequence, my argument is a proof that either names and many general terms are Millian or our intuitions regarding belief ascriptions are hopelessly inaccurate. (shrink)

The label `semiotic grammar' captures a fundamental property of the grammars of human languages: not only is language a semiotic system in the familiar Saussurean sense, but its organizing system, its grammar, is also a semiotic system. This proposition, explicated in detail by William McGregor in this book, constitutes a new theory of grammar. Semiotic Grammar is `functional' rather than `formal' in its intellectual origins, approaches, and methods. It demonstrates, however, that neither a purely functional nor a purely formal account (...) of language is adequate, given the centrality of the sign as the fundamental unit of grammatical analysis. The author distinguishes four types of grammatical signs: experiential, logical, interpersonal, and textural. The signifiers of these signs are syntagmatic relationships of the following types, respectively: constituency, dependency, conjugational and linking. McGregor illustrates and exemplifies the theory with data from a variety of languages including English, Acehnese, Polish, Finnish, Japanese, Chinese, and Mohawk; and from his pioneering research on Gooniyandi and Nyulnyul, two languages of the Kimberleys region of Western Australia. (shrink)

"Procedural Justice" offers a theory of procedural fairness for civil dispute resolution. The core idea behind the theory is the procedural legitimacy thesis: participation rights are essential for the legitimacy of adjudicatory procedures. The theory yields two principles of procedural justice: the accuracy principle and the participation principle. The two principles require a system of procedure to aim at accuracy and to afford reasonable rights of participation qualified by a practicability constraint. The Article begins in Part I, Introduction, with two (...) observations. First, the function of procedure is to particularize general substantive norms so that they can guide action. Second, the hard problem of procedural justice corresponds to the following question: How can we regard ourselves as obligated by legitimate authority to comply with a judgment that we believe (or even know) to be in error with respect to the substantive merits? The theory of procedural justice is developed in several stages, beginning with some preliminary questions and problems. The first question - what is procedure? - is the most difficult and requires an extensive answer: Part II, Substance and Procedure, defines the subject of the inquiry by offering a new theory of the distinction between substance and procedure that acknowledges the entanglement of the action-guiding roles of substantive and procedural rules while preserving the distinction between two ideal types of rules. The key to the development of this account of the nature of procedure is a thought experiment, in which we imagine a world with the maximum possible acoustic separation between substance and procedure. Part III, The Foundations of Procedural Justice, lays out the premises of general jurisprudence that ground the theory and answers a series of objections to the notion that the search for a theory of procedural justice is a worthwhile enterprise. Sections II and III set the stage for the more difficult work of constructing a theory of procedural legitimacy. Part IV, Views of Procedural Justice, investigates the theories of procedural fairness found explicitly or implicitly in case law and commentary. After a preliminary inquiry that distinguishes procedural justice from other forms of justice, Part IV focuses on three models or theories. The first, the accuracy model, assumes that the aim of civil dispute resolution is correct application of the law to the facts. The second, the balancing model, assumes that the aim of civil procedure is to strike a fair balance between the costs and benefits of adjudication. The third, the participation model, assumes that the very idea of a correct outcome must be understood as a function of process that guarantees fair and equal participation. Part IV demonstrates that none of these models provides the basis for a fully adequate theory of procedural justice. In Part V, The Value of Participation, the lessons learned from analysis and critique of the three models are then applied to the question whether a right of participation can be justified for reasons that are not reducible to either its effect on the accuracy or its effect on the cost of adjudication. The most important result of Part V is the Participatory Legitimacy Thesis: it is (usually) a condition for the fairness of a procedure that those who are to be finally bound shall have a reasonable opportunity to participate in the proceedings. The central normative thrust of Procedural Justice is developed in Part VI, Principles of Procedural Justice. The first principle, the Participation Principle, stipulates a minimum (and minimal) right of participation, in the form of notice and an opportunity to be heard, that must be satisfied (if feasible) in order for a procedure to be considered fair. The second principle, the Accuracy Principle, specifies the achievement of legally correct outcomes as the criterion for measuring procedural fairness, subject to four provisos, each of which sets out circumstances under which a departure from the goal of accuracy is justified by procedural fairness itself. In Part VII, The Problem of Aggregation, the Participation Principle and the Accuracy Principle are applied to the central problem of contemporary civil procedure - the aggregation of claims in mass litigation. Part VIII offers some concluding observations about the point and significance of Procedural Justice. (shrink)

Psychological well-being is a major global concern receiving more scholarly attention following the 2008 Great Recession, and it becomes even more relevant in the context of COVID-19 outbreak. In this study, we investigated the impact of economic uncertainty resulting from natural disasters, epidemics, and financial crisis on individuals' mental health. As unemployment rate exponentially increases, individuals are faced with health and economic concerns. Not all society members are affected to the same extent, and marginalized groups, such as those suffering from (...) chronic mental illnesses or low-income families cannot afford the downsizing, mass lay-offs and lack of access to public health services. Psychiatric profession is familiarized with the phenomenon of intolerance of uncertainty (IU), and we examine how this concept is associated with job uncertainty and social identity disturbance. Several studies have formally investigated the effects of IU, but to our knowledge, this is the first research integrating the psychological well-being, job uncertainty and identity disturbance caused by economic breakdown. Literature points to many reported cases of PTSD, anxiety, depression and suicidal tendencies following major social disasters. Yet, we have undertaken to analyze the subjective experiences underlying the self-harming behaviors in an attempt to fill the methodological gap by drawing insights from prominent psychological, sociological and economic theories. We find economic uncertainty to have a positive relation to job uncertainty and identity disturbance, and a negative relationship with psychological well-being. Psychological well-being depends on coherency between both abstract subjective and concrete objective identity, and when these perceptions are inconsistent, cognitive dissonance arises resulting in identity disturbance. We argue that stability is not associated with monetary advantage only, but also with a wide range of other benefits that are crucial for individuals' growth, satisfaction and sense of identity. Therefore, we propose the implementation of social support and public welfare policies to mitigate health risks during the turbulent socio-economic changes. (shrink)

World news can be discouraging these days. In order to counteract the effects of fake news and corruption, scientists have a duty to present the truth and propose ethical solutions acceptable to the world at large. -/- By starting from scratch, we can lay down the scientific principles underlying our very existence, and reach reasonable conclusions on all major topics including quantum physics, infinity, timelessness, free will, mathematical Platonism, happiness, ethics and religion, all the way to creation and a special (...) type of multiverse. -/- This article amounts to a summary of my personal Theory of Everything. -/- DOI: 10.13140/RG.2.2.36046.31049. (shrink)

Suppose that a sign at the entrance of a hotel reads: “Don’t enter these premises unless you are accompanied by a registered guest”. You see someone who is about to enter, and you tell her: “Don’t enter these premises if you are an unaccompanied registered guest”. She asks why, and you reply: “It follows from what the sign says”. It seems that you made a valid inference from an imperative premise to an imperative conclusion. But it also seems that imperatives (...) cannot be true or false, so what does it mean to say that your inference is valid? It cannot mean that the truth of its premise guarantees the truth of its conclusion. One is thus faced with what is known as “Jørgensen’s dilemma” (Ross 1941: 55-6): it seems that imperative logic cannot exist because logic deals only with entities that, unlike imperatives, can be true or false, but it also seems that imperative logic must exist. It must exist not only because inferences with imperatives can be valid, but also because imperatives (like “Enter” and “Don’t enter”) can be inconsistent with each other, and also because one can apply logical operations to imperatives: “Don’t enter” is the negation of “Enter”, and “Sing or dance” is the disjunction of “Sing” and “Dance”. A standard reaction to this dilemma consists in basing imperative logic on analogues of truth and falsity. For example, the imperative “Don’t enter” is satisfied if you don’t enter and is violated if you enter, and one might say that an inference from an imperative premise to an imperative conclusion is valid exactly if the satisfaction (rather than the truth) of the premise guarantees the satisfaction of the conclusion. But before getting into the details, more needs to be said on what exactly imperatives are. (shrink)

The appearance of negative terms in quasiprobability representations of quantum theory is known to be inevitable, and, due to its equivalence with the onset of contextuality, of central interest in quantum computation and information. Until recently, however, nothing has been known about how much negativity is necessary in a quasiprobability representation. Zhu :120404, 2016) proved that the upper and lower bounds with respect to one type of negativity measure are saturated by quasiprobability representations which are in one-to-one correspondence with (...) the elusive symmetric informationally complete quantum measurements. We define a family of negativity measures which includes Zhu’s as a special case and consider another member of the family which we call “sum negativity.” We prove a sufficient condition for local maxima in sum negativity and find exact global maxima in dimensions 3 and 4. Notably, we find that Zhu’s result on the SICs does not generally extend to sum negativity, although the analogous result does hold in dimension 4. Finally, the Hoggar lines in dimension 8 make an appearance in a conjecture on sum negativity. (shrink)

I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier the- ses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Con- struction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the paper, (...) I am satisfied with its treatment of the first three topics, namely generality, necessity, and time. But I am not satisfied with its treatment of normativity, so my comments are exclusively on that topic. (shrink)

I was quite excited when I first read Restall and Russell’s (2010) paper. For two reasons. First, because the paper provides rigorous formulations and formal proofs of implication barrier theses, namely “theses [which] deny that one can derive sentences of one type from sentences of another”. Second (and primarily), because the paper proves a general theorem, the Barrier Construction Theorem, which unifies implication barrier theses concerning four topics: generality, necessity, time, and normativity. After thinking about the paper, I am (...) satisfied with its treatment of the first three topics, namely generality, necessity, and time. But I am not satisfied with its treatment of normativity, so my comments are exclusively on that topic. (shrink)

During the two last decades, speeded up by the development of the Internet, several types of commons have been opened up for intellectual resources. In this article their variety is being explored as to the kind of resources and the type of regulation involved. The open source software movement initiated the phenomenon, by creating a copyright-based commons of source code that can be labelled `dynamic': allowing both use and modification of resources. Additionally, such a commons may be either protected (...) from appropriation (by `copyleft' licensing), or unprotected. Around the year 2000, this approach was generalized by the Creative Commons initiative. In the process they added a `static' commons, in which only use of resources is allowed. This mould was applied to the sciences and the humanities in particular, and various Open Access initiatives unfolded. A final aspect of copyright-based commons is the distinction between active and passive commons: while the latter is only a site for obtaining resources, the former is also a site for production of new resources by communities of volunteers (`peer production'). Finally, several patent commons are discussed, which mainly aim at preventing patents blocking the further development of science. Throughout, attention is drawn to interrelationships between the various commons. (shrink)

In this book, the authors systematically define the new notion of linguistic graphs associated with a linguistic set of a linguistic variable. We can also define the notion of directed linguistic graphs and linguistic-weighted graphs. Chapter two discusses all types of linguistic graphs, linguistic dyads, linguistic triads, linguistic wheels, complete linguistic graphs, linguistic connected graphs, disconnected linguistic graphs, linguistic components of the graphs and so on. Further, we define the notion of linguistic subgraphs of a linguistic graph. However, like usual (...) graphs, we will not be able to arbitrarily connect any two linguistic words of a linguistic set associated with a linguistic variable. They can be related or adjacent depending on the linguistic variable associated with the linguistic set. This is an exceptional feature of a linguistic graph. (shrink)

In this book, the authors introduce the linguistic set associated with a linguistic variable and the structure of matrices, which they define as linguistic matrices. The authors build linguistic matrices only for those linguistic variables which yield a linguistic continuum or an ordered linguistic set. This book is organised into three chapters. The first chapter is introductory, in which we introduce all the basic concepts of linguistic variables and the associated linguistic set to make this book self-contained. Chapter two introduces (...) linguistic matrices and develops basic properties associated with them, like types of matrices, transpose of matrices and diagonal matrices. Most of the properties enjoyed by real or complex matrices are satisfied by these linguistic matrices. Chapter three deals with operations on the linguistic matrices. (shrink)

The new classes of super special codes are constructed in this book using the specially constructed super special vector spaces. These codes mainly use the super matrices. These codes can be realized as a special type of concatenated codes.

All of the South Plains archetypes listed above are all drawn from real flesh-and- bones type of individuals. Moreover, all were men of action. The archetypes of the Turkish Oral Narrative generally have a longer historical background, and, as their tales attest, are compelled to take action against real or perceived injustices. In most cases, the Turkish archetypes primarily function as teachers or teaching tools, continually adapting to changing conditions and periods.

Two main cognitive theories predict that people find refuting evidence that falsifies their theorising difficult, if not impossible to consider, even though such reasoning may be pivotal to grounding their everyday thoughts in reality (i.e., Poletiek, 1996; Klayman & Ha, 1987). In the classic 2-4-6 number sequence task devised by psychologists to test such reasoning skills in a simulated environment – people fail the test more often than not. In the 2-4-6 task participants try to discover what rule the number (...) triple 2-4-6 conforms to. The rule is ‘ascending numbers’, but it is tricky to discover this rule. Participants tend to generate hypotheses with the properties of the 2-4-6 triple, for example, ‘even numbers ascending in twos’. They must search for evidence to test whether their hypothesis is the rule. But experimental evidence has shown that they tend to generate confirming triples that they expect to be consistent with their hypothesis rather than inconsistent falsifying triples. Counter to the two main hypothesis testing theories this paper demonstrates that falsification is possible in five 2-4-6 task experiments when participants consider an Imaginary Participant’s hypothesis. Experiment 1 and 2 show that competition with an opponent hypothesis tester facilitates falsification. Experiments 3 to 5 show that the consideration of an alternative hypothesis helps this falsification of hypotheses lead to rule discovery. The implications of the results for theories of hypothesis testing and reasoning are discussed. (shrink)

This notebook presents an introductory overview to the cognitive perspective on the psychology of human behaviour for social science students. Starting with an introduction to cognitive developmental theories of how babies reason, the overview then moves to discuss how children develop into better thinkers. Adult theories of cognition are subsequently outlined and critically evaluated. -/- A chronology of topics include: the rise of 'this thing we call cognition', Piaget's theory of cognitive development and its evaluation, problem space theory, and theories (...) of mental representation in adult thought examining, amongst other types of thinking and reasoning, deduction and induction and an evaluation of mental representation theories. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Presentists argue that only present entities exist absolutely and unrestrictedly. Presentism, which itself is a temporal analog of the modal doctrine of actualism, is an ontological idea about time and existence against theories such as eternalism, possibilism, and growing block theory. Thus, presentists deny the existence of atemporal or timeless entities and describe presentism as a version of the (A-theory), which makes a difference between present, past, and future. Also, presentists are not able to ontologically, justify the existence of some (...) entities such as Socrates and the year 3000 in the past and the future and the relations involving non-present objects like ‘Abraham Lincoln was taller than Napoleon Bonaparte’. However, presentism is altered via the addition of an abstract four-dimensional manifold of ersatz time, which is a type of (B-theory) series, to identify all ontological entities and justify the dynamic world. This inquiry is an attempt to put a completely different perspective on presentism and, the result obtained that despite the new conceptualization of time, there is an inconsistency between time and being in presentism. Therefore, presentists have failed to determine the ontological identification of cross-temporal relations, reference and propositions, and truth-makers. Also, whatever the final outcome of the debate between presentism and other views is significantly eternalism, according to ersatz presentism, it is hard to make sense of the idea that things change from one moment to the next. (shrink)

Initial responses to questionnaires used to assess participants' understanding of informed consent for malaria vaccine trials conducted in the United States and Mali were tallied. Total scores were analyzed by age, sex, literacy (if known), and location. Ninety-two percent (92%) of answers by United States participants and 85% of answers by Malian participants were correct. Questions more likely to be answered incorrectly in Mali related to risk, and to the type of vaccine. For adult participants, independent predictors of higher (...) scores were younger age and female sex in the United States, and male sex in Mali. Scores in the United States were higher than in Mali (P = 0.005). Despite this difference participants at both sites were well informed overall. Although interpretation must be qualified because questionnaires were not intended as research tools and were not standardized among sites, these results do not support concerns about systematic low understanding among research participants in developing versus developed countries. (shrink)

When interpreting the meanings of visual features in information visualizations, observers have expectations about how visual features map onto concepts (inferred mappings.) In this study, we examined whether aspects of inferred mappings that have been previously identified for colormap data visualizations generalize to a different type of visualization, Venn diagrams. Venn diagrams offer an interesting test case because empirical evidence about the nature of inferred mappings for colormaps suggests that established conventions for Venn diagrams are counterintuitive. Venn diagrams represent (...) classes using overlapping circles and express logical relationships between those classes by shading out regions to encode the concept of non-existence, or none. We propose that people do not simply expect shading to signify non-existence, but rather they expect regions that appear as holes to signify non-existence (the hole hypothesis.) The appearance of a hole depends on perceptual properties in the diagram in relation to its background. Across three experiments, results supported the hole hypothesis, underscoring the importance of configural processing for interpreting the meanings of visual features in information visualizations. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must (...) stipulate inconsistency elsewhere. Based on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

The majority of physicalists are type-B physicalists – believing that the phenomenal-physical truths are only knowable a posteriori. This paper aims to show why this view is misguided. The strategy is to design an agent who (1) has full general physical knowledge, (2) has phenomenal concepts, and yet (3) is wired such that she would be in a position to immediately work out the phenomenal-physical truths. I argue that this derivation yields a priori knowledge. The possibility of such a (...) creature entails that – contrary to type-B physicalism – there is not an ideal epistemic gap between the phenomenal and the physical truths. Out of this argument against type-B physicalism emerges a positive result: a new and compelling version of type-A physicalism, roughly a type-A phenomenal concept strategy. (shrink)

During multiple testing, researchers often adjust their alpha level to control the familywise error rate for a statistical inference about a joint union alternative hypothesis (e.g., “H1,1 or H1,2”). However, in some cases, they do not make this inference. Instead, they make separate inferences about each of the individual hypotheses that comprise the joint hypothesis (e.g., H1,1 and H1,2). For example, a researcher might use a Bonferroni correction to adjust their alpha level from the conventional level of 0.050 to 0.025 (...) when testing H1,1 and H1,2, find a significant result for H1,1 (p < 0.025) and not for H1,2 (p > .0.025), and so claim support for H1,1 and not for H1,2. However, these separate individual inferences do not require an alpha adjustment. Only a statistical inference about the union alternative hypothesis “H1,1 or H1,2” requires an alpha adjustment because it is based on “at least one” significant result among the two tests, and so it refers to the familywise error rate. Hence, an inconsistent correction occurs when a researcher corrects their alpha level during multiple testing but does not make an inference about a union alternative hypothesis. In the present article, I discuss this inconsistent correction problem, including its reduction in statistical power for tests of individual hypotheses and its potential causes vis-à-vis error rate confusions and the alpha adjustment ritual. I also provide three illustrations of inconsistent corrections from recent psychology studies. I conclude that inconsistent corrections represent a symptom of statisticism, and I call for a more nuanced inference-based approach to multiple testing corrections. (shrink)

Opponents of abortion are often described as ‘inconsistent’ (hypocrites) in terms of their beliefs, actions and/or priorities. They are alleged to do too little to combat spontaneous abortion, they should be adopting cryopreserved embryos with greater frequency and so on. These types of arguments—which we call ‘inconsistency arguments’—conform to a common pattern. Each specifies what consistent opponents of abortion would do (or believe), asserts that they fail to act (or believe) accordingly and concludes that they are inconsistent. Here, we (...) show that inconsistency arguments fail en masse. In short, inconsistency arguments typically face four problems. First, they usually fail to account for diversity among opponents of abortion. Second, they rely on inferences about consistency based on isolated beliefs shared by some opponents of abortion (and these inferences often do not survive once we consider other beliefs opponents of abortion tend to hold). Third, inconsistency arguments usually ignore the diverse ways in which opponents of abortion might act on their beliefs. Fourth, inconsistency arguments criticise groups of people without threatening their beliefs (eg, that abortion is immoral). Setting these problems aside, even supposing inconsistency arguments are successful, they hardly matter. In fact, in the two best-case scenarios—where inconsistency arguments succeed—they either encourage millions of people to make the world a (much) worse place (from the critic’s perspective) or promote epistemically and morally irresponsible practices. We conclude that a more valuable discussion would be had by focusing on the arguments made by opponents of abortion rather than opponents themselves. (shrink)

This paper deals with a relatively recent trend in the history of analytic philosophy, philosophical logic, and theory of science: the philosophical study of the role of inconsistency in empirical science. This paper is divided in three sections that correspond to the three types of inconsistencies identified: (i) factual, occurring between theory and observations, (ii) external, occurring between two mutually contradictory theories, and (iii) internal, characterising theories that entail mutually contradictory statements.

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, (...) the type-restrictions imposed by STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

This paper deals with a relatively recent trend in the history of analytic philosophy, philosophical logic, and theory of science: the philosophical study of the role of inconsistency in empirical science. This paper is divided in three sections that correspond to the three types of inconsistencies identified: (i) factual, occurring between theory and observations, (ii) external, occurring between two mutually contradictory theories, and (iii) internal, characterising theories that entail mutually contradictory statements.

Along with offering an historically-oriented interpretive reconstruction of the syntax of PM ( rst ed.), I argue for a certain understanding of its use of propositional function abstracts formed by placing a circum ex on a variable. I argue that this notation is used in PM only when de nitions are stated schematically in the metalanguage, and in argument-position when higher-type variables are involved. My aim throughout is to explain how the usage of function abstracts as “terms” (loosely speaking) (...) is not inconsistent with a philosophy of types that does not think of propositional functions as mind- and language-independent objects, and adopts a nominalist/substitutional semantics instead. I contrast PM’s approach here both to function abstraction found in the typed λ-calculus, and also to Frege’s notation for functions of various levels that forgoes abstracts altogether, between which it is a kind of intermediary. (shrink)

The few people familiar with the pseudo-Platonic dialogue Axiochus generally have a low opinion of it. It's easy to see why: the dialogue is a mish-mash of Platonic, Epicurean and Cynic arguments against the fear of death, seemingly tossed together with no regard whatsoever for their consistency. As Furley notes, the Axiochus appears to be horribly confused. Whereas in the Apology Socrates argues that death is either annihilation or a relocation of the soul, and is a blessing either way, "the (...) Socrates of the Axiochus wants to have it both ways": death is both annihilation and a release of the soul from the body into a better realm. This may be used to construct a valid argument for the conclusion that death is not evil, but at the expense of having a contradiction as one of its premises. But D. S. Hutchinson has recently proposed that these inconsistencies shouldn't surprise us if we view the Axiochus as "an unconventional version of a very conventional genre--the consolation letter." In this paper I expand on Hutchinson's brief suggestion and argue that the Axiochus can be rehabilitated by paying attention to its genre. Although the Axiochus does display many similarities to the consolation letter, the shift from letter to dialogue does--pace Hutchinson--significantly affect what's going on. Within the dialogue, Socrates behaves toward Axiochus in a way similar to the way the author of a consolation letter behaves towards the letter's reader: he is willing to use inconsistent arguments, borrowed from any source, in order to soothe the patient. However, in depicting this type of consolatory relationship between Socrates and Axiochus, the dialogue itself is not aiming at consoling its readers. Instead, it should be seen as displaying for the reader's consideration a certain type of consolatory argumentative practice. -/- Socrates notes that Axiochus is "very much in need of consolation" (365a), and he uses any means necessary to accomplish this task. Socrates exhibits many ways in which he is willing to sacrifice argumentative hygiene for the sake of therapeutic effectiveness. These include: -/- * Use of arguments with inconsistent premises, presented in propria persona. * Appeals to emotion * Tailoring arguments to the audience. * Presenting invalid arguments so as to induce unjustified but comforting beliefs. * Evasion. In these respects, I think that Socrates' argumentative practice is best compared to PH III 280-1, where Sextus Empiricus says that the skeptic will deliberately use logically weak arguments as long as they work. Dorothy Tarrant claims that what links the Socrates of the Axiochus to Socrates as he appears elsewhere in the Platonic corpus is his evident care for the welfare of his interlocutor's psyche. But this concern takes a quite different form in the Axiochus than it usually does. As with Sextus, psychic therapy in the Axiochus involves relief from pain. The primary difference between them is that Socrates, unlike Sextus, is not aiming at producing epochê in his patient. (shrink)

The word “populism” commonly elicits images of hordes of angry townspeople with pitchforks and torches. That is the classic picture of “the mob,” bolstered by countless movie and television productions, and it is clearly based on such historical events as the English civil wars, the sans-culottes’ terror, the Bolshevik revolution, and the recent genocides in Rwanda and Burundi. Many of the leaders involved in fostering such horrors are seen as radical democrats whose successors today should also be feared. In this (...) paper, I argue that any mob takeovers of the feared sort are actually antithetical to radical democracy. This is because an authentically democratic regime, even of the most extreme type, is necessarily inconsistent with “mobocracy” or any sort of “tyranny of the majority” given its essential procedural aspects. It is argued, in fact, that leaders of legitimately democratic movements have generally been quite vapid because of the fallibilistic, plebiscitary proceduralism inherent in any authentic attempt to require government policy to reflect the “general will.” And this vapidity is argued to inhere regardless of the extent of rhetorical powers of the advocate or advocacy. (shrink)

*North American Society for Social Philosophy (NASSP) Book Award 2019.* -/- *International Studies Association (ISA) - International Ethics Section Book Award 2021.* -/- Although military mores have relied primarily on just war theory, the ethic of cooperation in warfare (ECW)—between enemies even as they are trying to kill each other—is as central to the practice of warfare and to conceptualization of its morality. Neither game theory nor unilateral moral duties (God-given or otherwise) can explain the explicit language of cooperation in (...) developing and enforcing principles of military ethics and the law of armed conflict. -/- The ethic of cooperation is borne of various motivations: reciprocity, self-preservation, and efficiency, to be sure, but also a sense of warrior honor and concern with human rights. This shared morality can persist despite making it more difficult for one side or the other to win and, unfortunately, its well-meaning motivations often lead to unintended tragic consequences. -/- This book explores three manifestations of this significant yet overlooked ethic of cooperation in warfare: (1) for a “fair fight,” (2) to protect classes of individuals (e.g., non-combatants or prisoners of war), and (3) to end the war quickly. Such cooperation can take unexpected forms, from ad hoc decisions on the battlefield to institutionalization in international law, and is the source of some critical tensions in one of the most significant developments in warfare in recent years: namely, how to handle terrorism or other forms of warfare that lie outside the purview of international law. -/- Each type of ECW raises questions internal to that ethic, such as inconsistencies in the concept of “parity” across different weapons bans, contradictions within the warrior ethic that heavily influence—and therefore confuse—notions of the “fair fight,” the disconnect between what protections a person receives and his responsibility for the war (e.g., political leaders), or the limited decisiveness of outcomes generated by very short wars. -/- Their simultaneous application also generates significant tensions and raises questions about the proper relationship of ECW to the immediate goal of war itself, which is to win, and thus yield either a political settlement or a justicial decision. For example, the ECWs for a “fair fight” and to protect classes of individuals can make it harder to win the war, but even more concerning is that they can also kill more people, which in the latter case contravenes its very purpose. -/- Human history is in some ways the story of trying to concurrently wage and tame war, and the architecture of warfare itself is informed by the ECW, in particular: (a) the political nature of war, (b) the abdication from jus ad bellum judgments in order to concentrate on justice within war (jus in bello), and (c) the ways in which modern nation-states collude to define “legitimacy” in war. -/- The combination of these three features leave questions of justicial right and responsibility for war disturbingly unresolved, it also generates new challenges in a geopolitical context in which cooperative and non-cooperative (e.g. contemporary terrorism) forms of warfare clash. (shrink)

Logical and philosophical literature provides different classifications of reasoning. In the Polish literature on the subject, for instance, there are three popular ones accepted by representatives of the Lvov-Warsaw School: Jan Łukasiewicz, Tadeusz Czeżowski and Kazimierz Ajdukiewicz (Ajdukiewicz in Logika pragmatyczna [Pragmatic Logic]. PWN, Warsaw (1965, 2nd ed. 1974). Translated as: Pragmatic Logic. Reidel & PWN, Dordrecht, 1975). The author of this paper, having modified those classifications, distinguished the following types of reasoning: (1) deductive and (2) non-deductive, and additionally two (...) types of them in each of the two, depending on the manner of combining their premises with the conclusion through the relation of classical logical entailment. Consequently, the four types of reasoning: unilateral deductive (incl. its sub-types: deductive inference and proof), bilateral deductive (incl. complete induction), and reductive (incl. the sub-types: explanation and verification), logically nonvaluable (incl. inference by analogy, statistic inference), correspond to four operators of derivability. They are defined formally on the ground of Tarski’s axiomatic theory of deductive systems, by means of the consequence operation _Cn_ (Tarski in Monatshefte Math Phys 37:361–404, 1930a, C R Soc Sci Lett Vars 23:22–29, 1930b). Also, certain metalogical properties of these operators are given, as well as their relations with Tarski’s consequence operations \(Cn^+\) ( \(Cn^+ = Cn\) ) and dual consequences \(Cn^{-1}\) (Słupecki in Zeszyty Naukowe Uniwersytetu Wrocławskiego Seria B Nr 3:33–40, 1959, Słupecki et al. in Stud Log 29:76–123, 1971, Wybraniec-Skardowska, in: Wybraniec-Skardowska, Bryll (eds) Z badań nad teorią zdań odrzuconych [Studies in the Theory of Rejected Propositions], Series B, Studia i Monografie, Zeszyty Naukowe Wyższej Szkoły Pedagogicznej w Opolu, Opole, 1969), and \(Cn^-\) (Wójcicki in Bull Sect Log 2(2):54–57, 1973)). (shrink)

Study represents an application of the neutrosophic method, for solving the contradiction between communication and information. In addition, it recourse to an appropriate method of approaching the contradictions: Extensics, as the method and the science of solving the contradictions. The research core is the reality that the scientific research of communication-information relationship has reached a dead end. The bivalent relationship communicationinformation, information-communication has come to be contradictory, and the two concepts to block each other. After the critical examination of conflicting (...) positions expressed by many experts in the field, the extensic and inclusive hypothesis is issued that information is a form of communication. The object of communication is the sending of a message. The message may consist of thoughts, ideas, opinions, feelings, beliefs, facts, information, intelligence or other significational elements. When the message content is primarily informational, communication will become information or intelligence. The arguments of supporting the hypothesis are: a) linguistic (the most important being that there is "communication of information" but not "information of communication"; also, it is clarified and reinforced the over situated referent, that of the communication as a process), b) systemic-procedural (in the communication system is developing an information system; the informing actant is a type of communicator, the information process is a communication process), c) practical (the delimitation eliminates the efforts of disparate and inconsistent understanding of the two concepts), d) epistemological arguments (the possibility of intersubjective thinking of reality is created), linguistic arguments, e) logical and realistic arguments (it is noted the situation that allows to think coherently in a system of concepts - derivative series or integrative groups) f) and arguments from historical experience (the concept of communication has temporal priority, it appears 13 times in Julius Caesar’s writings ). In an axiomatic conclusion, the main arguments are summarized in four axioms: three are based on the pertinent observations of specialists, and the fourth is a relevant application of Florentin Smarandache’s neutrosophic theory. (shrink)

Whenever A judges that x-ing is morally wrong and B judges that x-ing is not morally wrong, we think that they disagree. The two standard types of accounts of such moral disagreements both presuppose that the class of moral wrong-judgments is uniform, though in different ways. According to the belief account, the disagreement is doxastic: A and B have beliefs with conflicting cognitive contents. This presupposes “belief-uniformity”: that the content of moral concepts is invariant in such a way that, whenever (...) A believes that x-ing is morally wrong and B believes that x-ing is not morally wrong, their beliefs have mutually inconsistent contents. According to the attitude account, moral disagreements are non-doxastic: A and B have clashing practical attitudes. This presupposes “attitude-uniformity”: that moral judgments are always accompanied by, or consist of, desire-like attitudes. Consequently, neither account is available if both uniformity-claims are rejected – as e.g., various forms of content-relativism do. This paper presents a new non-doxastic account of deontic moral disagreement, consistent with the rejection of both uniformity-claims. I argue first, that even if deontic moral judgments are not desires, and are not always accompanied by desires, they have practical direction in the same sense as desires: they are attitudes that one can act in accordance or discordance with. Second: deontic moral disagreement can be understood as clashes in practical direction: roughly, A and B morally disagree if, and only if, some way of acting is in accordance with A’s judgment but in discordance with B’s. (shrink)

Predication is a lingual relation. We have this relation when a term is said (λέγεται) of another term. This simple definition, however, is not Aristotle’s own definition. In fact, he does not define predication but attaches his almost in a new field used word κατηγορεῖσθαι to λέγεται. In a predication, something is said of another thing, or, more simply, we have ‘something of something’ (ἓν καθ᾿ ἑνὸς). (PsA. , A, 22, 83b17-18) Therefore, a relation in which two terms are posited (...) to each other in a way that one is said (predicated) of the other is a predication. The term of which the other term is said is called a subject (ὑποκειμένον) and the other, which is said about the subject, is called the predicate. Thus, in a predication the predicate is predicated of the subject; given that being predicated is almost as the same as being said. The relation between being said and being predicated is so close that ‘if something is said of a subject both its name and its definition are necessarily predicated of the subject.’ (Cat., 5, 2a19-26) This, however, is true only about the second genera and not the accidents. a) Nature of relation in predication What is Aristotle’s theory about the nature of the relation in a predication? How does he fundamentally understand this relation? Phil Corkum distinguishes between predication logic and traditional term logic and argues that the relation between subject and predicate in Aristotle is of the latter kind. While in predicate logic, subjects and predicates have distinct roles, they have the same role in traditional term logic. In predication logic, subjects refer, but predicates characterize. Thereupon, a sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. In traditional term logic, both subjects and predicates refer and a sentences expresses a truth if both name one and the same thing. He concludes that Aristotle ‘problematically conflates prediction and identity claims’ because while he thinks both subjects and predicates refer, he would deny that a sentence is true just in case the subject and the predicate name one and the same thing. Based on this, Corkum believes that Aristotle’s core semantic is not identity but the weaker relation of constitution, which is a mereological interpretation: ‘All men are mortal’ is true just in case the mereological sum of humans is part of the mereological sum of mortals. b) Aristotle’s theory of predication: one or two theories? Frank Lewis finds an inconsistent gap between the theory of predication in the Categories and that in the later books of the Metaphysics VII, 6. So too Joan Kung, Terry Irwin, Daniel Graham. c) Distinction of ‘being said of’ and ‘being in’ Owen enumerates the texts in which Aristotle’s distinction between ‘being said of’ and ‘being in’ is asserted: OI. 11b38-12a17; To., 127b1-4; Cat. 1a20-b9; 2a11-14; 2a27-b6; 2b15-17; 3a7-32; 9b22-24 d) Predication in Aristotle and the standard ‘S is P’ Marie De Rijk Lambertus thinks that the ‘S is P’ pattern is misleading when it comes to express predication in Aristotle. In his view, ‘The Aristotelian procedure should be described in terms of appositively assigning an attribute (κατηγορούμενον) to a substrate (ὑποκείμενον), rather than ascribing a predicate to a subject by means of a copula…. The comment should be considered an attribute which is said to fall to a substrate, without understanding this procedure in terms of sentence predication.’ e) Aristotle’s predication: bipartite or tripartite? It is a difficulty to make Aristotle’s theories of name-verb predication and tripartite predication consistent. The reason is that tripartite is not consistant with his name-verb structure based on which he says that the predicate term is the ‘verb.’ (20a31; 20b1-2; 16a13-5) The problem is that in a tripartite form like ‘Socrates is white’ we cannot take ‘is white’ as the verb because, based on Aristotle himself, no part of a verb can be significant itself. (16b6-7) However, his assertions about the equivalences between the two structures (OI. 12, 21b9-10; PrA. 51b13-16; Met., 1017b22-30) must mean that they are not inconsistent in his own view. Thus, as Allen Bāck points, ‘Aristotle seems to think that he has a single, consistent theory.’ The sense of saying or speaking as the root sense of rhema makes the relation between predication (saying something of something) and verb more interesting. The use of rhema in the sense of a long expression approves this. In Plato’s work (399ac) where Socrates claims that the name anthropos derives from anthron ha opopen (‘he who examines what he has seen’) we have an onoma from, or in place of, a rhema. 1) Subject The subject (ὑποκειμένον) is that of which another term is said or predicated. Aristotle’s own definition is of a much more philosophical value: ‘By subject I mean that which is expressed by an affirmative term (λέγω δὲ ὑποκείμενον τὸ κάταφάσει δηλούμενον).’ (Met., K, 1067b18) Throughout Aristotle’s work, three kinds of subjects can be found: possible, prime and absolute subject. a) Possible subject Those things that can take the position of a subject in a predication we call possible subjects, no matter they can or cannot take the position of predicate in any predication. All terms except the ultimate predicates are possible subjects because they can take the position of subject. b) Prime subject Those that in any predication can only take the position of a subject and not the position of a predicate are prime subjects. (Cat., 5, 3a36-b2; Met., Z, 1028b36-1029a1) This is the truest sense of subject and belongs only to substances. (Met., Z, 1029a1-2) In fact, ‘that which is not predicated of a subject, but of which all else is predicated’ is a substance. (Met., Z, 1029a7-9) In Categories, besides primary substances (Cat., 2, 1b3-6), individual qualities are also said not to be able to be said of anything else. (Cat., 2, 1a23-29) Aristotle’s examples are a certain ‘knowledge-of-grammar’ (τὶς γράμματικὴ) and ‘an individual white’ (τὸ τὶ λευκὸν). Thus, although substances are indeed in the truest sense individuals and, thereby, in the truest sense primary subjects, other individuals can take the position of subject as well. c) Absolute subject While substances are prime subjects of all other things, there is still something of which substances can be predicated and this predication is not an accidental predication: matter. (Met., Z, 1029a21-24) This predication is, indeed, the predication of a ‘form or this’ on matter and material substance. (Met., Θ, 1049a34-36) The only thing that is absolutely a subject, therefore, and can be a predicate is prime matter (πρώτη ὓλη). (Met., Θ, 1049a24-27) d) Subject and substance The most important thing in being a substance is being a subject: ‘It is because the primary substances are subjects for all the other things and all the other things are predicated of them or are in them, that they are called substances most of all.’ (Cat., 5, 2b15-17) And what is nearer to this position is more a substance as a species is more a substance than a genus.’ (Cat., 5, 2b7-8) e) Primary versus accidental subject A subject is a primary subject in a predication when the predicate is predicated of it as itself. In such a case, the subject is the subject of the predicate qua itself and not qua something else. A subject, on the one hand, is an accidental subject when it is not the primary subject of the predicate that is predicated on it. It means that a subject is an accidental subject when the predicate is predicated of it not qua itself but qua something else. An accidental subject is, therefore, anything other than a substance. 2) Predicate as universal It is evident from our discussion of kinds of subjects that except matter, primary substances (if we ignore both accidental predication and cases of absolute subjects) and other individuals, everything else can take the position of a predicate. Since primary substances are individuals, it results that everything except matter and individuals are capable to take the position of predicate. The immediate consequence of this is that the predicate must be a universal. When individuals cannot take the position of predicate, this position cannot be taken by any particular. Therefore, only universals can be predicated of others. Moreover, albeit universals can be a simple subject (for another universal), they are not prime subjects. The closeness of universal and predicate is to the extent that Aristotle differentiates universal from subject. (Met., Θ, 1049a27-30) 3) Categories or classes of predicates Aristotle distinguishes ten highest classes into one of which each predicate must necessarily fall: substance (or what a thing is), quality, quantity, relation, place, time, position, state, activity and passivity. (Cat., 4, 1b25-27; To., I, 9, 103b20- ; PsA., A, 22, 83b13-23) The substance counted among predicates must refer to secondary and not primary substances not only because Aristotle insists that primary substances cannot be predicated but also from his own examples of the category of substance: man and animal. (To., I, 9, 103b25) However, if a predicate be asserted of itself or its genus be asserted of it, the predicate signifies substance or what is; but if ‘one kind of predicate is asserted of another kind,’ it signifies one of the other nines. (To., I, 9, 103b30) These categories are so comprehensive that no predicate can remain outside them so that even non-being has as many senses as categories. (Met., M, 1089a26-30) a) That whether Aristotle’s categories are merely linguistic or fundamentally ontological is a so much controversial dispute. Some like G. E. R. Lloyd believe that ‘categories are primarily intended as a classification of reality … rather than of the signifying terms themselves.’ b) Although Aristotle’s categories have been historically regarded as a classification of predications, there are some recent commentators like Jonathan Barnes that think it is classifying predicates and not predications. 4) Kinds of predicates In his introduction of Categories, as J. W. Thorp truly points out , Aristotle distinguishes between the category of substance and the other categories using μὲν ... δὲ construction. This construction illustrates that beside tenfold classification of categories, there is an even more crucial differentiation between two kinds of predicates: substance or what is on the one hand and the other nine ones on the other hand: the distinction between what is predicated of the subject as what it is and what is predicated of it as an accident. Therefore, we have three kinds of classification - a twofold, a fourfold and a tenfold-complicatedly classifying the same thing, viz. the predicate. Predicates can be divided also to four kinds: property, definition, genus and accident. (To., I, 4, 101b11-20) A property is that predicate that is convertible with its subject and does not signify its essence. A definition is that predicate that is convertible with its subject and signifies its essence. It is a genus if it is not predicated convertibly and is contained in the definition of its subject. And it is an accident if it is neither convertible nor contained in the definition of its subject. (To., I, 8, ^103b3) All of these four kinds are among categories. (To., I, 9, 103b20) It seems that there might be some kind of relation between the twofold and the fourfold distinction: whereas genus and definition are predicated as what it is, accidents are not so predicated. There seems to be some rules that determine to each of these four kinds each predicate belongs. At To., IV, 123b30ff. Aristotle asserts: ‘If B has a contrary and A does not, then B does not belong to A as its genus.’ There is a dispute around per se accidents (τὰ καθ’ αὑτὰ συμβεβηκότα) (Topics., 102a18) whether they must be regarded as either of the four kinds or as a fifth kind. Barnes (1970) argued that they ‘do not fit at all neatly into the fourfold classification.’ He argues that based on the definition of accidents at A, 5, 102b4-5, they must be accidents but based on another definition, A, 5, 102b6-7, they cannot be accidents. He also defends the view that they are not properties. Barnes concludes: ‘This shows that the two definitions are not equivalent, and hence that the ‘predicables’ are not well-defined.’ Demetris J. Hadgopoulos defends the view that the two definitions of accidents are equivalent and per se accidents are properties. 5) Five types of predications We have five kinds of predications based on our division of subjects and our discussion of predicates: simple, primary (itself divided to substantial and accident), accidental (itself divided to primary and secondary), aoincidental and absolute predication. a) Simple predication. This is a predication in which a universal is predicated of either a particular or a universal subject. This sense of predication includes all other senses except the first kind of accidental predication. b) Primary predication. This is a predication in which a universal is predicated of a primary subject, namely a substance. A primary predication is of two kinds: i) Substantial predication. A primary predication in which the predicate is part of, or is included in, the definition of the subject. The universal that is the predicate here is the definition or the genus or the species or the diferentia of the subject. It is this predication that Aristotle calls a unity: ‘A statement may be called a unity … because it exhibits a single predicate as inhering not accidentally in a single subject.’ (PsA., B, 10, 93b35-37) It is only substantial predicates that can be predicated of each other: ‘Predicates which are not substantial are not predicated of one another.’ (PsA., A, 22, 83b18-19) Aristotle defines a substantial predication also in another way. A predication in which a higher genus is predicated on a lower genus, species, a substance or an individual, (or a species is predicated on an individual) is a substantial predication. Therefore, a substantial predication is a predication in a series that has individuals on one of its ends and a general category on its other end. In fact, only substantial predicates can be predicated of one another. (PsA., A, 22, 83b17-19) This series cannot be an infinite series because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) -/- ii) Accident predication. A primary predication in which the predicate is not part of, or is not included in, the definition of its subject. The universal that is the predicate here is the property or the accident of the subject. c) Accidental predication. This is a predication in which the subject is not a primary subject and its predicate is a substance. This predication is of two kinds: i) Primary accidental predication. This is a predication in which an accident is predicated of substance. Such a predication can go ad infinitum, which is inferable from Aristotle’s assertion that the secondary accidental predication cannot go ad infinitum. ii) Secondary accidental predication. It is a predication in which an accident is predicated of another accident. Such a predication, Aristotle asserts, cannot go ad infinitum because even more than two accidents cannot be combined. Now what is the meaning of Aristotle’s assertion that we cannot continue this ad infinitum? Does it mean that we cannot continue the predication ‘The musician is white’ and say ‘The white is Athenian?’ But why not? Or maybe he means that by adding any predication, we are still in a condition of predicating two accidents of a substance on each other. -/- As primary subjects, substances can also take the position of predicate though not essentially but accidentally. In propositions like ‘the white is a log’ or ‘That big thing is a log’ we observe substance taking the position of predicate but this is only accidentally: ‘When I affirm ‘the white is a log,’ I mean that something which happens to be white is a log- not that white is the subject in which log inheres (οὐχ ὡς τὸ ὑποκείμενον τῷ ξύλῳ τὸ λευκόν ἐστι), for it was not qua white or qua a species of white that the white (thing) came to be a log (οὔτε λευκὸν ὄν οὔθ᾿ ὃπερ λευκόν τι ἐγἐνετο ξύλον), and the white (thing) is consequently not a log except incidentally.’ (PsA., 22, 83a3-9) Aristotle compares this accidental use of substance in the position of predicate with the substantial use of it in the place of a subject: ‘On the other hand, when I affirm ‘the log is white,’ I do not mean that something else, which happens to be a log, is white (οὐχ ὃτι ἓτερόν τί ἐστι λευκόν, ἐκείνῳ δὲ συμβέβηκε ξύλῳ εἶναι), (as I should if I said ‘the musician is white,’ which would mean ‘The man who happens also to be a musician is white’); on the contrary, log is here the subject- the subject which actually came to be white, and did so qua wood or qua a species of wood and qua nothing else.’ (PsA., 22, 83a8-14) Aristotle asks us not to call propositions like ‘The white is a log’ a predication at all or at least call them accidental predication instead of simple (ἁπλως) predication. (PsA., A, 22, 83a14-17) An accidental predication, in which we have a substance in the place of predicate, is different from an essential predication in that while the subject of an accidental predication is said to be the predicate not by itself but as something different with which it coincides, the subject of an essential predicate is said to be the predicate by itself and not because it is something else: ‘Since there are attributes which are predicated of a subject essentially and not accidentally- not, that is, in the sense in which we say ‘That white (thing) is a man,’ which is not the same mode of predication as when we say ‘The man is white’: the man is white not because he is something else but because he is man, but the white is man because ‘being white’ coincides with ‘humanity’ within one subject. Therefore, there are terms such as are essentially subjects of predicates. (PsA., A, 19, 81a24-29) This capability of ‘non-essentially and only accidentally’ being a subject does belong, in fact, to all sensible things. (PsA., A, 27a32-36) d) Coincidental predication. this is a predication in which none of the subject and predicate are a substance or an individual. In this predication, one of the accidents of a substance or individual is predicated of one of the other accidentals of the same substance or individual. For example, when it is said that ‘The white is musical,’ there is an individual, say Socrates, for which both of white and musical are accidents. e) Absolute predication. This is a predication in which a form or a substance is predicated of a matter or a material substance. Some commentators like Loux and Lewis regarded this predication as close to accident predication, both based on inherence. As R.M. Dancy points out, these predications make Aristotle’s theory of predication immanentist: not only accident predications are explained by the immanence of accidents in substances, some of the substantial predications, which were not explained in Categories, are also explained by the immanence of form in matter. It is interesting that in this kind of predication, it is the predicate and not the subject, which is in the strictest sense substance. As the central books of Metaphysics claim, the form is the substance. Thus, in this predication, substance gets away from the sense of ὑποκείμενον. Corkum mentiones 68a19 as the only instance where Aristotle explicitly claims that a term may be predicated of itself, a passage that is, in Corkum’s view, problematic. 6) Demonstrable predicates Those predicates are demonstrable that are so related to their subjects that there are other predicates prior to them predicable of their subjects (ἔτι δ᾿ ἄλλος, εἰ ὧν πρότερα ἄττα κατηγορεῖται). (PsA., A, 22, 83b32-34) 7) Series of predications Since it is possible for a predicate to be itself the subject of another predication, we can have a series of predications in which the predicate of a predication is the subject of the next predication. This series has the following features: a) It has a limit (in number) (PsA., A, 22, 83b14-16) on the side of subjects: there are subjects that cannot themselves be predicated (PsA., A, 27, 43a39-41), which are, as we noted, prime subjects: particulars, i.e. prime substances and other individuals. (PsA., A, 19-22) Aristotle calls them ultimate (ὓστατον). (PsA., 21, 82a36-b1) b) It has a limit (in number of kinds) (PsA., A, 22, 83b14-16) also on the side of predicates: there must be predicates that cannot be subjects. (PsA., A, 19-22; PsA., A, 27, 43a36-39) Aristotle calls them primary (πρῶτον). (PsA., A, 21, 82b1-4) These are the highest categories or the highest genera of categories. (PsA., A, 22, 83b14-16) c) The series has an escalating shape from mere subjects at its downside to mere predicates at its upside. It is Aristotle himself whos uses the words up and down in this sense. (e.g. PsA., A, 22, 83b2-3) d) The predications that lie between lowest and highest ones must be finite in number. (PsA., A, 19-22 especially: 20, 82a21-35) These have subjects and predicates, each capable of both of the roles of being subject and being predicated. A result of this fitness is that neither demonstration can go to infinity nor everything is demonstrable, the two points Aristotle always insist on. e) The upward side includes the more universal ones and the downward the more particular ones. (PsA., 20, 82a21-23) f) It follows from the above features that ‘neither the ascending nor the descending series of predications … are infinite.’ (PsA., A, 22, 83b24-25) g) Reciprocation and convertibility. Except in case of terms (i.e. subjects and predicates) that are at each of the ends of series of predications, namely ultimates and primaries, it is possible to reciprocate (ἀντιστρέφειν) terms and convert the predication. (PsA., A, 19, 82a15-20) h) Antipredication. Antipredication means that in a predication (S is P), the subject becomes the predicate of its predicate (P is S) in the same category its predicate was predicated on it. For example, if P is in the category of quality, antipredication means that S be predicated of P in the category of quality. In other words, P is a quality of S and S is a quality of P. Aristotle rejects this. (PsA., A, 22, 83a36-b3) i) Self-predication versus other-predication. Aristotle distinguishes between a predication in which a term is said of itself and a predication in which a term is said of another. (Phy., Δ, 2, 209a31-33) j) Predicablity (Cat., 5, 3a36-b2): 1) Primary substances and individuals are not predicable. 2) Secondary substances are of two kinds: genus and species i) Genus is predicable able both of the species and of the individuals. ii) Species is predicable of the individual. 3) Differentiae are predicable both of the species and of the individuals. 8) Predication as classification a) Richard Patterson believes that Aristotle’s so repeated construction using hoper (estin A hoper B) in Topics (120a23 sq., 122b19, 26sq., 123a, 124a18, 125a29, 126a21, 128a35. Also in Posterior Analytics (83a24-30) (Brunschwig’s list. ‘expresses the fact that A is a kind of B (esti A B tis), that A is a species of the genus B.’ 9) Universal predication Aristotle defines universal predication (κατὰ παντὸς κατηγορεῖσθαι) as such: ‘wherever no instance of the subject (τῶν τοῦ ὑποκειμέμνου) can be found of which the other term cannot be asserted.’ (PrA., A, 24b27-29) In this predication, the subject is included in another as in a whole (ἐν ὃλῳ εἶναι) and the predicate is predicated of all of the subject (κατὰ παντὸς κατηγορεῖσθαι). (PrA., A, 24b26-27) Attach another discussion we had about ἐν ὃλῳ here. 10) Quantity of predication A predication, truly stated, has a quantity, which is the number of objects under the name of the subject of which the predicate is predicated. The quantity of subject can be stated in four ways: a. Indefinite: when the predicate belongs or does not belong to the subject without any mark to show to haw many of the particulars under the name of the subject it does or does not belong. E.g. ‘Man is white’; ‘Man is not white.’ (PrA., A, 24a20; OI., I, 7, 17b8-12) b. Universal quantity: When the predicate belongs to all or none of the subject. E.g. ‘Every man is animal’; ‘No man is animal.’ (PrA., A, 24a18-19; OI., I, 7, 17b5-6) The contrary of a predication of a universal quality is a predication of a universal quality. E.g. the contrary of ‘Every man is white’ is ‘No man is white.’ (OI., I, 7, 17b20-23) c. Particular quantity: When the predicate belongs (or does not belong) to some of the subject. E.g. ‘Some men are white’; ‘Some men are not white.’ (PrA., A, 24a19-20) d. Single quantity: when the subject is a proper name of only one object. E.g. ‘Socrates is white’; ‘Socrates is not white.’ The contrary of this predication is of a single quantity: ‘Socrates is not white.’ (OI., I, 7, 17b38-18a4) 11) Convertibility of predication. Some predications are convertible, that is, it is possible to change the place of subject and predicate in a true proposition so that the converted proposition remains true. This is supposed to mean that given the truth of a predication, the truth of the converted predication is inferable. The convert form of a predication depends on its quantity. a. Indefinite quantity: This predication has no strictly true convert because its quantity is not stated. b. Universal quantity: It can be converted in two ways: i) A negative universal can be converted to a negative universal in which the terms are changed. E.g. ‘No pleasure is good’ can be converted to ‘No good is pleasure.’ (PrA., A, 2, 25a5-8 and a14-19) ii) An affirmative universal can be converted to an affirmative particular in which the terms are changed. E.g. ‘Every pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a7-9) c. Particular quantity: If it is negative, it cannot be converted but if it is affirmative, it can be converted to an affirmative predication with particular quantity. E.g. ‘Some pleasure is good’ can be converted to ‘Some good is pleasure.’ (PrA., A, 2, 25a10-13 and a20-24) d. Single quantity: It cannot be converted. 12) Characteristics of relations between subject and predicate 1. A predicate is of a wider range than its subject. It is based on this fact that Aristotle: a) Prevents individuals to be predicate because there is nothing of which an individual be of a wider range. In other words, it is due to the fact that since an individual is only ‘one particular’ thing and, thus, cannot be of a wider extent than anything that Aristotle prevents them of being a predicate. Matthews, however, thinks we cannot use Socrates, a substance and an individual, in the place of predicate and say it of Socrates because ‘Socrates does not classify Socrates: it names him.’ b) Prevents differentia, species and things under species to be predicated of genus. (To., Z, 6, 144a27-) c) Prevents the species and the things under it to be predicated of the differentia. (To., Z, 6, 144b1-4) d) Also about the effect because it is wider than its subject. (PsA., B, 17, 99a) e) Each attribute is wider than every individual it is predicated on, though several attributes, collectively considered, might not be wider but exactly the substance of a thing. (PsA., B, 13, 96a32-b1) 2. The predicate of a predicate of a subject will be predicated of the subject too: ‘whenever one thing is predicated of another as of a subject, all things said of what is predicated will be said of the subject too.’ (Cat., 3, 1b10-15) In fact, it is due to its predication of the subject that it is predicated of its predicate. (Cat., 5, 2a36-b1) Moreover, what is not predicated of the predicate of a subject cannot be predicated of it as well. (PrA., A, 27, 43b22-27) Thus, what, for example, is not predicated of animal, cannot be predicated of man. 3. The predicate of a subject can be predicated of its predicates as well. (Cat., 5, 3a1-6) For example, you call the individual man grammatical and, thence, you call both a man and an animal grammatical. Nonetheless, the predicate of a subject belongs to it more properly than to its higher predicates. (PrA., A, 27, 43a27-32) 4. It is only the subject that can be distributed and not the predicate. (PrA., A, 27, 43b16-22; OI, I, 7, 17b12-16) Therefore, we can say e.g. ‘Every man is animal’ but we cannot say ‘Every man is every animal.’ 5. It is the reason of the relation between subjects and predicates, that is the reason of predication, which is the subject of inquiry. (Met., Z, 1041a20-24) In other words, since it is a meaningless inquiry to ask why a thing is itself (Met., Z, 1041a14-15), the only remaining meaningful inquiry is to ask why something is something else, i.e. to ask about the reason of predication. 6. A subject cannot categorize its predicate in the same category in which it is categorized by it. If e.g. A is a quality of B, B cannot be a quality of A. Therefore, there is no reciprocation in the same category. (PsA., A, 22, 83a36-39) 13) Characteristics of series of predications 1. A series of secondary accidental predication cannot go ad infinitum for not even more than two terms can be comnbined. For an accident is not an accident of an accident, unless it be because both are accidents of the same subject. (Met., Γ, 1007b1-4) 2. Infinite series cannot be traversed in thought. (PsA., A, 22, 83b6-7) 3. The predications of genera on each other must be ended and cannot go to infinity because otherwise not only substances would not be definable but also a genus would be equal to one of its own species. (PsA., A, 22, 83b7-10) Therefore, a series of predication of genera on each other must be limited on both sides. There must be an upward limit in general categories as well as a downward limit in individual because they cannot be predicated of others. Whatever lies between these limits can both be predicated of others and others be predicated of them. (PrA., A, 27, 43a36-43) 4. The order of predicates matters: it makes a difference whether the series be ABC or BAC. (PsA., B, 13, 96b25-32) . (shrink)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more (...) commonly, from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

Multidimensional concepts are everywhere, and they are important. Examples include moral value, welfare, scientific confirmation, democracy, and biodiversity. How, if at all, can we aggregate the underlying dimensions of a multidimensional concept F to yield verdicts about which things are Fer than which overall? Social choice theory can be used to model and investigate this aggregation problem. Here, we focus on a particularly thorny problem made salient by this social choice-theoretic framework: the underlying dimensions of a given concept might be (...) measurable on different types of scales—e.g., some ordinal and some cardinal. An underappreciated impossibility theorem due to Anna Khmelnitskaya shows that seemingly plausible constraints on aggregation across scale types are inconsistent. This impossibility threatens to render the notion of overall Fness incoherent. We attempt to defuse this threat, arguing that the impossibility depends on an overly restrictive conception of measurement and of how measurement constrains aggregation. Adopting a more flexible—and, we think, more perspicuous—conception of measurement opens an array of possibilities for aggregation across disparate scale types. (shrink)

The force law of Maxwell’s classical electrodynamics does not agree with Newton’s third law of motion (N3LM), in case of open circuit magnetostatics. Initially, a generalized magnetostatics theory is presented that includes two additional physical fields B_Φ and B_l, defined by scalar functions. The scalar magnetic field B_l mediates a longitudinal Ampère force that balances the transverse Ampère force (aka the magnetic field force), such that the sum of the two forces agrees with N3LM for all stationary current distributions. Secondary (...) field induction laws are derived; a secondary curl free electric field E_l is induced by a time varying scalar magnetic field B_l, which isn’t described by Maxwell’s electrodynamics. The Helmholtz’ decomposition is applied to exclude E_l from the total electric field E, resulting into a more simple Maxwell theory. Decoupled inhomogeneous potential equations and its solutions follow directly from this theory, without having to apply a gauge condition. Field expressions are derived from the potential functions that are simpler and far field consistent with respect to the Jefimenko fields. However, our simple version of Maxwell’s theory does not satisfy N3LM. Therefore we combine the generalized magnetostatics with the simple version of Maxwell’s electrodynamics, via the generalization of Maxwell’s speculative displacement current. The resulting electrodynamics describes three types of vacuum waves: the Φ wave, the longitudinal electromagnetic (LEM) wave and the transverse electromagnetic (TEM) wave, with phase velocities respectively a, b and c. Power- and force theorems are derived, and the force law agrees with Newton’s third law only if the phase velocities satisfy the following condition: a >> b and b = c. The retarded potential functions can be found without gauge conditions, and four retarded field expressions are derived that have three near field terms and six far field terms. All six far field terms are explained as the mutual induction of two free fields. Our theory supports Rutherford’s solution of the 4/3 problem of electromagnetic mass, which requires an extra longitudinal electromagnetic momentum. Our generalized classical electrodynamics might spawn new physics experiments and electrical engineering, such as new photoelectric effects based on Φ- or LEM radiation, and the conversion of natural Φ- or LEM radiation into useful electricity, in the footsteps of dr. N. Tesla and dr. T.H. Moray. (shrink)

My aim is to look into the representational aspect of ideas, exploring not only to what Hume refers as adequate ideas, but also these cases where for a number of reasons an idea does not reach that standard. It has been suggested that the latter are fictions, but an in-depth examination of Hume texts reveals that there are several types of imperfections, such as incompleteness or imprecision that prevent an idea from being adequate. This leads to an analysis of the (...) status of supposed or pretended ideas, and the possibility of there being terms with no ideas annexed to them. (shrink)

Chalmers has provided a dilemmatic master argument against all forms of the phenomenal concept strategy. This paper explores a position that evades Chalmers's argument, dubbed Type Bb: it is for Type B physicalists who embrace horn b of Chalmers's dilemma. The discussion concludes that Chalmers fails to show any incoherence in the position of a Type B physicalist who depends on the phenomenal concept strategy.

The New Evil Demon problem has been hotly debated since the case was introduced in the early 1980’s (e.g. Lehrer and Cohen 1983; Cohen 1984), and there seems to be recent increased interest in the topic. In a forthcoming collection of papers on the New Evil Demon problem (Dutant and Dorsch, forthcoming), at least two of the papers, both by prominent epistemologists, attempt to resist the problem by appealing to the distinction between justification and excuses. My primary aim here is (...) to critically evaluate this new excuse maneuver as a response to the New Evil Demon problem. -/- Their response attempts to give us reason to reject the idea that victims of the New Evil Demon have justification for believing as they do. I shall argue that this approach is ultimately unsuccessful, however much of value can be learned from these attempts. In particular, progress in the debate can be made by following those who advance the excuse maneuver and make explicit the connection between epistemic justification and epistemic norms. By doing so, the questions being debated are clarified, as is the methodology being used to attempt to answer them. (shrink)

One of the Bell's assumptions in the original derivation of his inequalities was the hypothesis of locality, i.e., the absence of the in uence of two remote measuring instruments on one another. That is why violations of these inequalities observed in experiments are often interpreted as a manifestation of the nonlocal nature of quantum mechanics, or a refutation of a local realism. It is well known that the Bell's inequality was derived in its traditional form, without resorting to the hypothesis (...) of locality and without the introduction of hidden variables, the only assumption being that the probability distributions are nonnegative. This can therefore be regarded as a rigorous proof that the hypothesis of locality and the hypothesis of existence of the hidden variables not relevant to violations of Bell's inequalities. The physical meaning of the obtained results is examined. Physical nature of the violation of the Bell inequalities is explained under new EPR-B nonlocality postulate.We show that the correlations of the observables involved in the Bohm{Bell type experiments can be expressed as correlations of classical random variables. The revisited Bell type inequality in canonical notatons reads <AB>+<A′B>+<AB′>-<A′B′>≤6. (shrink)

The aim of this study is to describe organizational commitment between type A personality’s and type B is personality’s workers on three companies. Organizational commitment is define as the degree of psychological identification with or attachment to the organization for which we work. Participant of this study was 108 workers from three different companies. Data was obtained by questionnaire and processed with SPSS for Windows ver. 12. Using Mann-Whitney independent t-test for non parametric, the result of organizational commitment (...) U = 1183, p > 0.05, showed that there is no difference of organizational commitment between type A personality and type B personality on company X, Y, and Z. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his philosophy (...) due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

It will be a wrong judgment to consider grave stones as an ordinary tradition. When it is viewed in terms of history, art and culture, it can be seen that especially Turkish grave stones are record drawings that include many types of arts and artists’ labor, shed our culture and history and that is precious and unique. Grave stones are the documents that transfer not only the national culture but also transfer people’s beliefs, problems, fears, sadness and different feelings, who (...) breathe the same air and live in the same places. Because of this reason, grave stones are the cultural features that are shaped according to the differences in culture and decorated with life styles. Of course, Of course, having been applied plenty of traditional Turkish plastic arts on the tombstones, have all contributed to the diversity of tombstones in terms of composition and motifs. Rich craftsmanship of gravestones and sarcophagus in the second Bayezid graveyard is almost like an open air museum that shows Turkish motifs. While scarping was used for making gravestones are scarping, and painting were used as the main decoration tecnique is seen on foot stone with the painting technique, inscriptions of stones were coloured. Most of the inscriptions and decorations are relieved. Decoration subjects seen on gravestones are phytomorphic, geometric, objective and calligraphic. On the other side, these tombstones include wide knowledge about the socio-economic, cultural and regional headgears. When evaluating the information on the inscriptions, it can be obtained knowledge about the health conditions or epidemics in that period. Adolf Ebeling, article titled “Turkish cemeteries” in the 1882 the year Gartenlaube journal, when talking about the importance given to the graves by Turks, to say that the Turkish burial tomb can be an example to the world is no need to say more about it. The thomstones as the verbal means service to rebuilt the material world where the man has saved so far and the culture developing in accordance with this. The written tombstones which were formed by the individuals’ cherishing and remembering desires that the cultural, religious and traditional ones shaped, are the carrier elements of the values wich will provide to understand the sterotype requirements and ideologies within the cultural structure. Looking at the overall structure of the Turkish tombstones form shows major differences in male and female gravestones. In the Turkish tombstone tradition, women's elegance, finesse and beauty is reflected as a form of artwork. In fact, women in the Ottoman Empire, although excluded from the social life in very marginalized, especially in women flashy decorations tombstones, can be considered as an indication value which is given to women but unspoken. Since the tombstones have dates, they hold the distinction of being a document for ethnographic and art works. Moreover, inscribed tombstones are living evidences in order to prove that Turkish people lived in this land and also they have ethnographic value. Therefore, tombstones are important while the histories of cities, villages or boroughs are preparing. In short, tombstones are the common products of the environment that are built, religious beliefs, traditions, art, natural, social and economic conditions of the century. In this case they hold key for our culture history in addition to our art history. In this study, besides the effects of Turkish grave stones on our beliefs and daily lives, fruit patterns on the stones are also examined. The reflections traditional architectural and handicrafts motifs and the religious believes on the Turkish ornament art are explained by the examples chosen among gravestones in İstanbul II. Beyazıt Cemetery. In the colloquial language what fruit motifs mean in folk songs ang manias and how it is reflected on the ornaments of grave stones are investigated. (shrink)

In The Realm of Reason (2004), Christopher Peacocke develops a “generalized rationalism” concerning, among other things, what it is for someone to be “entitled”, or justified, in forming a given belief. In the course of his discussion, Peacocke offers two arguments to the best explanation that aim to undermine scepticism and establish a justification for our belief in the reliability of sense perception, respectively. If sound, these ambitious arguments would answer some of the oldest and most vexing epistemological problems. In (...) this paper I will evaluate these arguments, concluding that they are inconclusive at best. Despite offering some interestingly original arguments, Peacocke gives us no reason to think that scepticism is false, and that perception is generally reliable. (shrink)