-/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a (...) correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture was later proved independently by the authors and by Newton da Costa. -/- The expression (vy:F) is called a variable bound term (vbt). In case F has only y free, (vy:F) has the syntactic propreties of an individual constant; and under a suitable interpretation of the language vy:F) denotes an individual. By a semantic analysis of vbtos we mean a proposal for amending the standard notions of (1) "an interpretation o f a first -order language" and (2) " the denotation of a term under an interpretation and an assignment", such that (1') an interpretation o f a first -order language associates a set-theoretic structure with each vbto and (2') under any interpretation and assignment each vb t denotes an individual. (shrink)

Since independence, at least 28 African countries have legalized some form of gambling. Yet a range of informal gambling activities have also flourished, often provoking widespread public concern about the negative social and economic impact of unregulated gambling on poor communities. This article addresses an illegal South African numbers game called fahfee. Drawing on interviews with players, operators, and regulatory officials, this article explores two aspects of this game. First, it explores the lives of both players and runners, as (...) well as the clandestine world of the Chinese operators who control the game. Second, the article examines the subjective motivations and aspirations of players, and asks why they continue to play, despite the fact that their aggregate losses easily outstrip their aggregate gains. In contrast with those who reduce its appeal simply to the pursuit of wealth, I conclude that, for the (mostly) black, elderly, working class women who play fahfee several times a week, the associated trade-off—regular, small losses, versus the social enjoyment of playing and the prospect of occasional but realistic windfalls—takes on a whole new meaning, and preferences for relatively lumpy rather than steady consumption streams help explain the continued attraction of fahfee. This reinforces the need to understand players’ own accounts of gambling utility rather than simply to moralistically condemn gambling or to dismiss gamblers behaviour as irrational. (shrink)

William Lane Craig has argued that there cannot be actual infinities because inverse operations are not well-defined for infinities. I point out that, in fact, there are mathematical systems in which inverse operations for infinities are well-defined. In particular, the theory introduced in John Conway's *On Numbers and Games* yields a well-defined field that includes all of Cantor's transfinite numbers.

Let us sum up. The paradox of the Knower poses a direct and formal challenge to the coherence of common notions of knowledge and truth. We've considered a number of ways one might try to meet that challenge: propositional views of truth and knowledge, redundancy or operator views, and appeal to hierarchy of various sorts. Mere appeal to propositions or operators, however, seems to be inadequate to the task of the Knower, at least if unsupplemented by an (...) auxiliary recourse to hierarchy. But the cost of hierarchy appears to be an abandonment of any notion of all truth or of omniscience. What the contradictions of the Knower seem to demand, then, is at least an abandonment of these. As noted in the introduction, the argument is complicated enough that one must be wary of dogmatic and precipitate conclusions. One may legitimately wonder whether some new response, or some variation on an old one, will yet offer a way out.Far too often, however, it is asked what has gone wrong with paradox rather than what paradox may have to teach us. What the Knower may have to teach us, I think, is that there really can be no coherent notion of all truth and really can be no coherent notion of omniscience. In its own way that conclusion is perhaps as humbling as is any traditional notion of God. (shrink)

On a number of occasions in Plato’s dialogues Socrates appears to disavow all knowledge. At Apology 21d, for example, Socrates says of one of his interlocutors: ‘He, having no knowledge, thinks he knows something, while I, having none, don’t think I have any,’ On other occasions, however, Socrates does claim to know some things: ‘It is not a mere guess to say that knowledge and right opinion are different. There are few things I would claim to know, but that (...) at least is among them, whatever else is’ (Meno 98b). Gregory Vlastos has sought to show that Socrates did not contradict himself but operated on the basis of two different senses of ‘know’: ‘know in the sense of having certainty’ and ‘know on the basis of elenctic examination.’ I argue against Vlastos’ interpretation and propose instead that Socrates claimed to know various things, but not the essential nature of virtue. (shrink)

Predicates are term-to-sentence devices, and operators are sentence-to-sentence devices. What Kaplan and Montague's Paradox of the Knower demonstrates is that necessity and other modalities cannot be treated as predicates, consistent with arithmetic; they must be treated as operators instead. Such is the current wisdom.A number of previous pieces have challenged such a view by showing that a predicative treatment of modalities neednot raise the Paradox of the Knower. This paper attempts to challenge the current wisdom in another way as (...) well: to show that mere appeal to modal operators in the sense of sentence-to-sentence devices is insufficient toescape the Paradox of the Knower. A family of systems is outlined in which closed formulae can encode other formulae and in which the diagonal lemma and Paradox of the Knower are thereby demonstrable for operators in this sense. (shrink)

Leibniz is not commonly numbered amongst canonical writers on toleration. One obvious reason is that, unlike Locke, he wrote no treatise specifically devoted to that doctrine. Another is the enormous amount of energy which he famously devoted to ecclesiastical reunification. Promoting the reunification of Christian churches is an objective quite different from promoting the toleration of different religious faiths – so different, in fact, that they are sometimes even construed as mutually exclusive. Ecclesiastical reunification aims to find agreement at (...) class='Hi'>least on the most important doctrines. Religious toleration involves accepting and respecting disagreement even on the most important doctrines. If one regards these two projects as alternative rather than complementary strategies for dealing with religious diversity, Leibniz might more readily be characterised as an ecumenist rather than a tolerationist. Such appears to be the conclusion, at any rate, implicit in the balance of critical literature on these topics: whereas a steady stream of studies has discussed Leibniz’s project of ecclesiastical reunification, only a meager trickle has been devoted to his views on toleration; and some of these studies go so far as to conclude that Leibniz had no doctrine of toleration at all. This paper will attempt to show, on the contrary, that a robust, many-layered, and unusually inclusive doctrine of toleration can be gleaned from Leibniz’s writings. This doctrine operated at least at three different levels: philosophical, theological, and pragmatic. As this implies, the doctrine of religious toleration, rather than being in collision with Leibniz’s core project of ecclesiastical reunification, was an essential element of that very project: it should be seen, in other words, not as a competing goal, but as a necessary first step toward ecclesiastical reunification. Yet at the same time it will also emerge that Leibniz’s doctrine of toleration was no mere function of this intra-Christian project of reunification: rather it was a still more fundamental principle which extended beyond the ecumenical project as well. It had the resources for accepting and respecting irreducible religious diversity and disagreement on points of importance not only between Christian communities, but also between Christians and non-Christians, including, in principle, even the atheists. These points will emerge from a discussion of statements on the philosophical, theological, and pragmatic justifications of religious toleration scattered throughout Leibniz’s sprawling corpus of writings. (shrink)

I shall be dealing, throughout this book, with a set of related problems: the relationship between morality and reasoning in general, the way in which moral reasoning is properly to be carried on, and why morality is not arbitrary. The solutions to these problems come out of the same train of argument. Morality is not arbitrary, I shall argue, because the acceptance of certain qualities of character as virtues and the rejection of others as vices is forced on us by (...) the co-operative basis of human life. The co-operation in human life is unavoidable; the alternative is a literal Hobbesian state of nature, and that is impossible. It is not that co-operation between people is a good thing or even a very good thing; it is simply unavoidable in human life, and it is impossible unless the qualities of character counted as virtues are encouraged and are at least fairly common. The possibility of human life presupposes a theory of human nature, and working out that theory of human nature is the main job of moral philosophy. These virtues or qualities of character or attitudes lead us towards a theory of reasons. A person with a sense of justice is a person inclined to accept certain sorts of facts as reasons for acting, and if the virtues are presupposed by human life then the acceptance of those sorts of facts as reasons for acting is presupposed by human life. A condition of the life of reasoning beings (a more accurate term here than 'human beings') is that moral reasons are reasons for acting and are at the very basis of reasoning. And from this it follows that properly conducted moral reasoning is ultimately guided by the virtues rather than ultimately guided by a set of rules. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...) Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)

While immigrants are at liberty to start self-help financial associations (referred to as stokvels in South Africa) to cater for their unfufilled need for capital, the benefits of this laudable effort are seldom maximised due to a number of shortcomings. Aim: This paper seeks to ascertain the operational obstacles that immigrant-run stokvels face and to suggest solutions accordingly. Method: Aiming to complement each other, quantitative and qualitative research approaches were utilised to conduct this study. Quantitative and qualitative data were (...) collected through a self-administered questionnaire and one-on-one in-depth interviews. Purposive sampling technique was employed to reach the 123 participants who responded to the survey questionnaire and the 10 that took part in oneon-one in-depth interviews. Results: The typical immigrant African entrepreneur who participates in a stokvel, is a married male between ages of 30 and 46, and is fairly educated. While most of the respondents conceded that their stokvels faced operational problems, they also noted that the default on loan repayment and unskilled personnel on the loan management team were the issues of a greater concern. Hence, providing training and practical management skills becomes paramount to the smooth functioning of these stokvels. Uniqueness and implications: Though presumed to be a possible source of finance for immigrant-owned businesses, most studies have not explored the operational challenges that stokvels in South Africa face. The lessons drawn from this study may be of benefit to the respondents, policy-makers and academics. (shrink)

Numbers are concepts whose content, structure, and organization are influenced by the material forms used to represent and manipulate them. Indeed, as argued here, it is the inclusion of multiple forms (distributed objects, fingers, single- and two-dimensional forms like pebbles and abaci, and written notations) that is the mechanism of numerical elaboration. Further, variety in employed forms explains at least part of the synchronic and diachronic variability that exists between and within cultural number systems. Material forms also impart (...) characteristics like linearity that may persist in the form of knowledge and behaviors, ultimately yielding numerical concepts that are irreducible to and functionally independent of any particular form. Material devices used to represent and manipulate numbers also interact with language in ways that reinforce or contrast different aspects of numerical cognition. Not only does this interaction potentially explain some of the unique aspects of numerical language, it suggests that the two are complementary but ultimately distinct means of accessing numerical intuitions and insights. The potential inclusion of materiality in contemporary research in numerical cognition is advocated, both for its explanatory power, as well as its influence on psychological, behavioral, and linguistic aspects of numerical cognition. (shrink)

In the TACITUS project for using commonsense knowledge in the understanding of texts about mechanical devices and their failures, we have been developing various commonsense theories that are needed to mediate between the way we talk about the behavior of such devices and causal models of their operation. Of central importance in this effort is the axiomatization of what might be called commonsense metaphysics. This includes a number of areas that figure in virtually every domain of discourse, such as (...) granularity, scales, time, space, material, physical objects, shape, causality, functionality, and force. Our effort has been to construct core theories of each of these areas, and then to define, or at least characterize, a large number of lexical items in terms provided by the core theories. In this paper we discuss our methodological principles and describe the key ideas in the various domains we are investigating. (shrink)

The study aimed to identify the intermediate role of the standard of operations in the relationship between the focus on students and beneficiaries in achieving satisfaction of students in Palestinian universities. The study used the analytical descriptive method. The study was conducted on university leadership in Al-Azhar, Islamic and Al-Aqsa Universities. The study sample consisted of (200) individuals, 182 of whom responded, and the questionnaire was used in collecting the data. The results of the study were as follows: - There (...) is a statistically significant effect on the adoption of the criterion of focus on the students benefiting to achieve the satisfaction of students in the Palestinian universities, where the value of R Square (35.3%), there is a statistically significant effect on the adoption of the criterion of focus on the students benefiting on the use of the standard of operations in Palestinian universities. The value of the R Square is (62.8%), there is a statistically significant impact of the criterion of operations on the satisfaction of students in Palestinian universities. Where the value of the R is (36.2%), there is a significant effect on the adoption of the criterion of emphasis on students benefiting from the satisfaction of students in Palestinian universities with the existence of the standard of operations as an intermediary variable. The role of the mediator in the relationship between the adoptions of the criterion of focus on the students benefiting to achieve the satisfaction of students in Palestinian universities was revealed through the use of Path Analysis. The study presented a number of recommendations, the most important of which is: to increase the focus of the universities on students and beneficiaries in a manner appropriate to achieve the objectives of the university on the one hand, and students and beneficiaries on the other, and in line with the approach of quality and excellence, the universities more attention to the management of operations through the design and development of programs Academic and internal services according to the needs of students, and improving processes in innovative ways to generate added value for students and beneficiaries, the universities have made more efforts to create satisfaction among students and beneficiaries by developing internal performance indicators to measure student satisfaction, Students and other university beneficiaries periodically to improve their satisfaction. (shrink)

In quantum theory every state can be diagonalized, i.e. decomposed as a convex combination of perfectly distinguishable pure states. This elementary structure plays an ubiquitous role in quantum mechanics, quantum information theory, and quantum statistical mechanics, where it provides the foundation for the notions of majorization and entropy. A natural question then arises: can we reconstruct these notions from purely operational axioms? We address this question in the framework of general probabilistic theories, presenting a set of axioms that guarantee that (...) every state can be diagonalized. The first axiom is Causality, which ensures that the marginal of a bipartite state is well defined. Then, Purity Preservation states that the set of pure transformations is closed under composition. The third axiom is Purification, which allows to assign a pure state to the composition of a system with its environment. Finally, we introduce the axiom of Pure Sharpness, stating that for every system there exists at least one pure effect occurring with unit probability on some state. For theories satisfying our four axioms, we show a constructive algorithm for diagonalizing every given state. The diagonalization result allows us to formulate a majorization criterion that captures the convertibility of states in the operational resource theory of purity, where random reversible transformations are regarded as free operations. (shrink)

What is a number? Answering this will answer questions about its philosophical foundations - rational numbers, the complex numbers, imaginary numbers. If we are to write or talk about something, it is helpful to know whether it exists, how it exists, and why it exists, just from a common-sense point of view [Quine, 1948, p. 6]. Generally, there does not seem to be any disagreement among mathematicians, scientists, and logicians about numbers existing in some way, but currently, in the (...) mainstream arena only definitions, descriptions of properties, and effects are presented as evidence. Enough historical description of numbers in history provides an empirical basis of number, although a case can be made that numbers do not exist by themselves empirically. Correspondingly, numbers exist as abstractions. All the while, though, these "descriptions" beg the question of what numbers are ontologically. Advocates for numbers being the ultimate reality have the problem of wrestling with the nature of reality. I start on the road to discovering the ontology of number by looking at where people have talked about numbers as already existing: history. Of course, we need to know not only what ontology is but the problems of identifying one, leading to the selection between metaphysics and provisional approaches. While we seem to be dimensionally limited, at least we can identify a more suitable bootstrapping ontology than mere definitions, leading us to the unity of opposites. The rest of the paper details how this is done and modifies Peano's Postulates. (shrink)

The study aimed to identify the creative environment of the technical colleges operating in Gaza Strip. The analytical descriptive method was used through a questionnaire which was randomly distributed to 289 employees of the technical colleges in Gaza Strip with a total number of (1168) employees and a response rate equal to (79.2%) of the sample study. The results confirmed the existence of a high degree of approval for the dimensions of the creative environment with a relative weight of (...) (75.19%) according to the perspective of the employees of the technical colleges in Gaza Strip. The results of the study showed a high level of creative environment (fluency, flexibility, originality, sensitivity to problems) in the technical colleges in Gaza Strip, where the field (fluency) ranked first and relative weight (76.86%), in the second place came the area (sense of problems) and relative weight (74.89%). The field of elasticity came in third place with a relative weight of (74.59%). Finally, the field of originality came in fourth and final rank with a relative weight of (74.41%). The results showed that there are differences between the technical colleges in the principles of the creative environment in all fields and the overall degree except for the field of flexibility. The most available colleges in these principles were the university college of applied sciences, and that was the least of the Faculty of Al-Aqsa Society. The results showed that there were differences according to the age variable in the areas of creative environment only in the sense of problems for age groups (less than 30 years) and (from 40 to 50 years). The researchers suggested a number of recommendations, the need to enhance the dimensions of the creative environment in technical colleges by working to improve the faculties of fluency, flexibility, originality and sensitivity to problems. The need to work on continuity and improve aspects of the creative environment of the colleges and the creation of new and innovative ways to support and develop and support these aspects combined. Necessity of technical colleges to continue to develop the creative environment (fluency, flexibility, originality, sensitivity to problems) for employees by engaging them in specialized training courses for creative thinking and problem solving. Developing work procedures with new innovative methods that will accomplish the various tasks quickly and accurately, and provide the effort, time and costs. The researchers urged more future studies that address the same variables of the current study in the field of creative environment and applied to other sectors. (shrink)

Some attention has also been devoted to a particular kind of judgment or a particular form of the intellect’s second operation, sometimes named separatio by Thomas. Important editions of questions 5 and 6 of Thomas’s commentary on the De Trinitate of Boethius in 1948 and 1955 and the groundbreaking study by L. B. Geiger in 1947, all have set the stage for further emphasis on this distinctive type of intellectual operation when it comes to one’s discovery of being, or better, (...) of that notion of being that can serve as subject of a science of being as being rather than a science of being as material or as quantified. While this new development has remained largely unnoticed in certain regions of Thomistic scholarship for a number of years, it has been pursued in depth by other writers. At the same time, investigation of the same nicely dovetails with the renewed emphasis on existence and on judgment as the process required to discover being as existing to which we have referred above. For as will be seen below, at least one passage in Thomas’s commentary reinforces the contention that one must pass beyond simple apprehension to the mind’s second operation or to judgment if one is to grasp being explicitly as existing. This particular point, however, is not our primary concern here. (shrink)

Until recently most militaries tended to see moral issues through the lens of rules and regulations. Today, however, many armed forces consider teaching virtues to be an important complement to imposing rules and codes from above. A closer look reveals that it is mainly established military virtues such as honour, courage and loyalty that dominate both the lists of virtues and values of most militaries and the growing body of literature on military virtues. Although there is evidently still a role (...) for these traditional martial virtues, it is equally evident that they are not particularly relevant to, for instance, military personnel operating drones. This chapter looks into the ethics of unmanned warfare from the perspective of military virtues and military ethics education, and addresses the question of what we need to solve that just-mentioned misalignment: 1) a new set of virtues; 2) a different interpretation of the existing virtues; or 3) a different approach altogether, that is, an alternative to teaching virtues? That we have to think about such questions is at least partly because unmanned systems bring risk asymmetry in war to a new level, making warlike virtues such as physical courage by and large obsolete. The last section of this chapter therefore addresses the question: to what extent does the possibility of riskless warfare makes drone use ‘virtue-less’? (shrink)

A god is a cosmic designer-creator. Atheism says the number of gods is 0. But it is hard to defeat the minimal thesis that some possible universe is actualized by some possible god. Monotheists say the number of gods is 1. Yet no degree of perfection can be coherently assigned to any unique god. Lewis says the number of gods is at least the second beth number. Yet polytheists cannot defend an arbitrary plural number (...) of gods. An alternative is that, for every ordinal, there is a god whose perfection is proportional to it. The n -th god actualizes the best universe(s) in the n -th level of an axiological hierarchy of possible universes. Despite its unorthodoxy, ordinal polytheism has many metaphysically attractive features and merits more serious study. (shrink)

A guide for translators, about the translation theory, the translation process, interpreting, subtitling, internationalization and localization and computer-assisted translation. A special section is dedicated to the translator's education and associations. The guide include, as annexes, several independent adaptations of the corresponding European Commission works, freely available via the EU Bookshop as PDF and via SetThings as EPUB, MOBI (Kindle) and PDF. For a “smart”, sensible translation , you should forget not the knowledge acquired at school or university, but the corrective (...) standards. Some people want a translation with the touch of the source version, while another people feel that in a successful version we should not be able to guess the original language. We have to realize that both people have right and wrong, and that their only fault is to present requirement as an absolute truth. Teachers agree at least on this principle: “If a sentence is ambiguous, the translation must also be“. There is another critical, less easy to argue, based on an Italian phrase with particularly strong wording: “Traduttore, traditore“. This critique argues that any translation will betray the author‘s language, spirit, style … because of the choices on all sides. What to sacrifice, clarity or brevity, if the formula in the text is brief and effective, but impossible to translate into so few words with the exact meaning? One could understand this criticism that it encourages us to read “in the text.” It seems obvious that it is impossible to follow this advice into practice. CONTENTS: Translation - Assessment of the amount of translated texts - Translation and interpretation - - Translation documents - Translation theories - - Practical / communicative approach - - Approaches of literary theories - - Sociolinguistic mainstream - - Approaches based on linguistic theories - - Approaches based on philosophical and hermeneutic concepts - - Semiotic approaches - The translation process - Types of translations - - Technical translation - Schools of thought - Difficulties associated with specialized domains - The problem of double translation - Thoughts about translation - European standard for translation services - Beautiful infidels - Self-translation - - Types of self-translation - - Factors that promote self-translation - - Self-translation and not authorial translation - Technical translation - - Terminology - - Translation process - - Translation tools - - The technical translator - - - Status - - - Remuneration - Conference interpreting - - Methods of interpretation - - Skills of the interpreter - - Contexts and working languages - - The interpretation in international institutions - - - UNESCO - - - European Union Internationalization and localization - Example - Internationalization and localization - Challenges - Software localization - - Difficulties - - Composing specifications - - Special tools Computer-assisted translation - Translation memory - - Advantages and disadvantages - - General operation - - Various - - Software - Machine translation - - Translation process - - Prerequisites - - Difficulties - - Approaches - - Development - - Existing products and services - - Prospective - Parallel text Subtitle - Subtitling or dubbing? - Description - Subtitling the movies - - Spotting - - Translation - - Simulation - - Engraving, inlaying or packaging - - The live broadcast - Live captioning - - Velotype - - Touch typing - - Computer-aided stenotype - - Speech recognition - Surtitles - - Comments - - Technical means - - Artistic issues - Quasi instant voice translation - - Difficulties - - Ongoing projects - - Future Translation Studies - Theories of translation - Interpretive theory - Back-translation - - The proper use of back-translation - False friends - - Cognates - - - Complete false friends - - - Partial false friends - - False cognates - Translation process - - The implications of the "inside" language - - Total and not absolute translation - - A single model - Untranslatability - - Hovering - - Translation methods - - - Adaptation - - - Calque - - - Compensation - - - Borrowing - - - Periphrasis - - - Translator's note - - Untranslatability of poetry and puns - - An amazing counterexample Translators - Translator's notes - European Master's in Translation - - European Master's in Translation - - - Organization of EMT - - - Core skills - - The EMT label - - EMT Network - - - Eligibility - - Members - European Council of Literary Translators' Associations - - History - - Objectives - International Translation Day Annexes: Translation in EU - Translation Guide - - Think before you write - - - Who will be reading the document? - - - What are you trying to achieve? - - - What points must the document cover? - - Focus on the reader - - - Be direct and interesting - - Get your document into shape - - - When you start - - - As you write - - - Two common problems at the European Commission: - - KISS - Keep It Short and Simple - - - Short... - - - ... and Simple: - - - Simple, uncluttered style also means: - - Make sense - structure your sentences - - Cut out excess nouns - verb forms are livelier - - Be concrete, not abstract - - Prefer active verbs to passive - - - Name the agent - - Beware of false friends, jargon and abbreviations - - - Avoid false friends - - - Avoid or explain jargon - - - Take care with abbreviations - - Revise and cheque check - Clear English Tips - - English prefers to be simple, concise and concrete. - - - Use simple words where appropriate. - - - Prefer a verb to an abstract noun - - - Prefer a gerund to an abstract noun - - - Prefer participles to relative clauses - - - And eliminate participles entirely if appropriate. - - - Use the passive voice sparingly - - - Consider replacing negatives with positives - - - Consider short forms and pronouns to avoid repeating full names … - - - Express conditions, including hidden ones, with ‘if’ ... - - - In general, cut out extra verbiage. - - English prefers straightforward syntax - - - Keep the subject close to the beginning of the sentence - - - Avoid splitting up subjects, modals, verbs and direct objects - - - If a sentence is too long, pull information out into separate sentences. - - - Use topic-introducing phrases sparingly. - - English may use different number, articles, gender or words from other languages - - - Keep uncountable nouns in the singular. - - - Use ‘a’ rather than ‘the’ for members of a class. - - - Do not use gender pronouns for entities. - - - Consider alternatives to ‘of’. - - - Finally, avoid ‘false friends’ in translation. - English Style Guide - - Introduction - - Writing English - - - GENERAL - - - SPELLING - - - PUNCTUATION - - - NUMBERS - - - ABBREVIATIONS AND SYMBOLS - - - Acronyms and initialisms - - - Contractions and truncations - - - FOREIGN IMPORTS - - - PARTS OF SPEECH - - - LISTS - - - SCIENCE GUIDE - - - FOOTNOTES, CITATIONS AND REFERENCES - - - CORRESPONDENCE - - - PERSONAL NAMES AND TITLES - - - NAMES OF BODIES - - - GENDER-NEUTRAL LANGUAGE - - About the European Union - - - THE EUROPEAN UNION - - - PRIMARY LEGISLATION - - - SECONDARY LEGISLATION - - - THE EU INSTITUTIONS - - - REFERENCES TO OFFICIAL PUBLICATIONS - - - EU FINANCES - - - MEMBER STATES - - - OFFICIAL LANGUAGES AND CURRENCIES - - - EXTERNAL RELATIONS - - TRANSLITERATION - - - TRANSLITERATION TABLE FOR GREEK - - - TRANSLITERATION TABLE FOR CYRILLIC - - FORMS OF ADDRESS - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - - - Envelop - - - Start - - - Close - Style Guide for EU Member States - - Austria - - - Geography - - - Judicial bodies - - - Legal instruments - - - Government bodies and administrative divisions - - Belgium - - - Geography - - - Judicial bodies - - - Legal instruments - - - Federal structure - - Bulgaria - - - Geography - - - Judicial bodies - - - Legal instruments - - Croatia - - - Geography - - - Regions - - - Judicial bodies - - - Political and administrative structure - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - - Miscellaneous - - Cyprus - - - Geography - - - Judicial bodies - - - Legal instruments - - Czech Republic - - - Geography - - - Judicial bodies - - - Legal instruments - - Denmark - - - Geography - - - Judicial bodies - - - Legal instruments - - Estonia - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Finland - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - France - - - Geography - - - Judicial bodies - - - Legal instruments - - Germany - - - Geography - - - Judicial bodies - - - Legal instruments - - - Government bodies and administrative divisions - - Greece - - - Geography - - - Judicial bodies - - - Legal instruments - - Hungary - - - Geography - - - Judicial bodies - - - Legal instruments - - Iceland - - - Judicial bodies - - Ireland - - Italy - - - Geography - - - Judicial bodies - - - Legal instruments - - Latvia - - - Geography - - - Judicial bodies - - - Legal instruments - - Lithuania - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Luxembourg - - - Geography - - - Judicial bodies - - - Legal instruments - - Malta - - - Geography - - - Judicial bodies - - - Legal instruments - - Netherlands - - - Geography - - - Judicial bodies - - - Legal instruments - - Poland - - - Geography - - - Judicial bodies - - - Legal instruments - - - Law gazettes, official gazettes and official journals - - Portugal - - - Geography - - - Judicial bodies - - - Legal instruments - - Romania - - - Geography - - - Judicial bodies - - - Legal instruments - - Slovakia - - - Geography - - - Judicial bodies - - - Legal instruments - - Spain - - - Geography - - - Judicial bodies - - - Legal instruments - - Sweden - - - Geography - - - Judicial bodies - - - Legal instruments - - Turkey - - - Judicial bodies - - - Legal instruments - - United Kingdom - - - Geography Quotes References About the author - Nicolae Sfetcu . (shrink)

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution (...) and the Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

My paper offers a new interpretation of Reid’s account of social operations of the mind. I argue that it is important to acknowledge the counterpart structure of social operations. By this I mean that for Reid every social operation is paired with a counterpart operation. On the view that I ascribe to Reid, at least two intelligent beings take part in a social operation and the social operation does not come into existence until both the social operation and its (...) counterpart operation have been exercised and the relevant mental thoughts made known to the other being by words or signs. (shrink)

Aristotle (384-322 B.C), a well know Greek philosopher, physician, scientist and politician. A variety of identifying researches have been written on him. It is therefore a considerable pride for the researcher to write something about him when even mentioning his name and his father's name is a point of prestige in the Greek Language. His name means the preferable sublimity whereas Nicomachus (his father's name) means the definable negotiator. His father's and mother's origin belongs to Asclepiade, the favorite origin in (...) Greek. Points of view regarding this figure are controversial some praise him and consider him the peak of philosophical thinker which makes humanity in general owe this genius thinker a great deal. Others believe that the effect of his thought on humanity is the reason behind the non-progress of science. Whatever ones opinion is, his thoughts have a wonderful force in stimulating and positively affecting the people's thinking. His philosophy is the greatest philosophy which the world has ever witnessed or which may ever witness., if it couldn’t solve some of the problems of philosophy, it at least, makes the world more rational than before. He is the founder of the philosophical language in describing a large number of philosophical terms which are still in use nowadays. Moreover his books and platonic dialogues are considered encyclopedias in providing a basis for philosophy even before Socrates. For theses among other reasons, I am choosing Aristotle as a subject for research and concentrating on natural philosophy. The critical side deals with the criticism of natural philosophers. In order to fully understand Aristotle, we should understand his predecessors. Their virtue is undeniable. Without them, Aristotle's and Plato's genius would never be in this ideal shape. In addition to that, they are philosophers and scientists who mixes between science, philosophy, morality and politics in a complementary form. They are a source of illumination to the human thinking in general. Without them humanity could never have got rid of mythology. This is the code of life, for many generations should pass before the rare genius could attain a prominent idea. When Tales formulates the philosophical question, where does the world come from? This is a decisive moment in human thinking similar to the coming moments, the one Parmenides, and Protagoras statement: man is the norm for all things. Pre-Socrates philosophers are all considered glowing points in drawing Aristotle's philosophy. Thus my book is entitles (Aristotle's criticism of Pre-Socratic Natural Philosophy) which means the concentration on the critical operation through which the natural side of the previous philosophers appears. The nature of the title forces me to deal with Aristotle's ideas from every point of view. Thus the book proceeds according to structure and criticism and the construction of Aristotle's philosophy. Because the title is comprehensive and limited simultaneously, I have chosen the critical subjects in the lights of the natural philosophy. I have divided the book into four chapters with fourteen sections in addition to the implemented parts included in every section purporting to cover every part of criticism looking for comprehensiveness. I have found it obligatory to mention something about Aristotle's view in criticism, in addition to a precise delimitation of nature and its subjects. This is the subject of the first chapter. The second chapter deals with the principles of natural body, i.e., the principles dealt with pre-Aristotle philosophy and then these three principles (Hyle, form ,and Non-being). After delaminating these sides, it is possible to deal with the details (Movement, Place, Time, Vacuum and Infinite) which are natural concepts for the third chapter. As a complementation to the natural sides, the chapter four deals with two topics , Universal and corruption, and theory of elements. This book, in my own opinion, is comprehensive to the majority of natural philosophers and it focuses on the argument of Aristotle's criticism to the views of natural philosophers before Socrates together with the discussion of the Aristotelian alternative from these points of view. Aristotle sometimes tends to praise the previous philosophers. This does not mean the non-conformity between what he wants to say and what they described. When he, for example, says that the previous philosophers realized the material defect in Thales idea that water is the origin of all things but Thales’ water is not like Aristotle's Hyle, it is completely different thing. Finally I have viewed the index of Arab Library, and was unable to trace a book which is especially oriented in this subject i.e. writings on Aristotle's criticism to natural philosophy before Socrates. Therefore I have been stimulated to write about a very new subject. This subject fills a gap in Arab studies. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

The principle of least action, which has so successfully been applied to diverse fields of physics looks back at three centuries of philosophical and mathematical discussions and controversies. They could not explain why nature is applying the principle and why scalar energy quantities succeed in describing dynamic motion. When the least action integral is subdivided into infinitesimal small sections each one has to maintain the ability to minimise. This however has the mathematical consequence that the Lagrange function at (...) a given point of the trajectory, the dynamic, available energy generating motion, must itself have a fundamental property to minimize. Since a scalar quantity, a pure number, cannot do that, energy must fundamentally be dynamic and time oriented for a consistent understanding. It must have vectorial properties in aiming at a decrease of free energy per state (which would also allow derivation of the second law of thermodynamics). Present physics is ignoring that and applying variation calculus as a formal mathematical tool to impose a minimisation of scalar assumed energy quantities for obtaining dynamic motion. When, however, the dynamic property of energy is taken seriously it is fundamental and has also to be applied to quantum processes. A consequence is that particle and wave are not equivalent, but the wave (distributed energy) follows from the first (concentrated energy). Information, provided from the beginning, an information self-image of matter, is additionally needed to recreate the particle from the wave, shaping a “dynamic” particle-wave duality. It is shown that this new concept of a “dynamic” quantum state rationally explains quantization, the double slit experiment and quantum correlation, which has not been possible before. Some more general considerations on the link between quantum processes, gravitation and cosmological phenomena are also advanced. (shrink)

The paper follows the track of a previous paper “Natural cybernetics of time” in relation to history in a research of the ways to be mathematized regardless of being a descriptive humanitarian science withal investigating unique events and thus rejecting any repeatability. The pathway of classical experimental science to be mathematized gradually and smoothly by more and more relevant mathematical models seems to be inapplicable. Anyway quantum mechanics suggests another pathway for mathematization; considering the historical reality as dual or “complimentary” (...) to its model. The historical reality by itself can be seen as mathematical if one considers it in Hegel’s manner as a specific interpretation of the totality being in a permanent self-movement due to being just the totality, i.e. by means of the “speculative dialectics” of history, however realized as a theory both mathematical and empirical and thus falsifiable as by logical contradictions within itself as emprical discrepancies to facts. Not less, a Husserlian kind of “historical phenomenology” is possible along with Hegel’s historical dialectics sharing the postulate of the totality (and thus, that of transcendentalism). One would be to suggest the transcendental counterpart: an “eternal”, i.e. atemporal and aspatial history to the usual, descriptive temporal history, and equating the real course of history as with its alternative, actually happened branches of the regions of the world as with only imaginable, counterfactual histories. That universal and transcendental history is properly mathematical by itself, even in a neo-Pythagorean model. It is only represented on the temporal screen of the standard historiography as a discrete series of unique events. An analogy to the readings of the apparatus in quantum mechanics can be useful. Even more, that analogy is considered rigorously and logically as implied by the mathematical transcendental history and sharing with it the same quantity of information as an invariant to all possible alternative or counterfactual histories. One can involve the hypothetical external viewpoint to history (as if outside of history or from “God’s viewpoint to it), to which all alternative or counterfactual histories can be granted as a class of equivalence sharing the same information (i.e. the number choices, but realized in different sequence or adding redundant ones in each branch) being similar and even mathematically isomorphic to Feynman trajectories in quantum mechanics. Particularly, a fundamental law of mathematical history, the law of least choice of the real historical pathway is deducible from the same approach. Its counterpart in physics is the well-known and confirmed law of least action as far as the quantity of action corresponds equivocally to the quantity of information or that of number elementary historical choices. (shrink)

Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship (...) between the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

This paper demonstrates that Edmund Husserl’s frequently overlooked 1890 manuscript, “On the Logic of Signs,” when closely investigated, reveals itself to be the hermeneutical touchstone for his seminal 1891 Philosophy of Arithmetic. As the former comprises Husserl’s earliest attempt to account for all of the different kinds of signitive experience, his conclusions there can be directly applied to the latter, which is focused on one particular type of sign; namely, number signs. Husserl’s 1890 descriptions of motivating and replacing signs (...) will be respectively employed to clarify his 1891 understanding of the authentic and inauthentic presentations of numbers via number signs. Moreover, his schematic classification of replacement-signs in Semiotic will illuminate the reasons why he believed the number system to be necessary for the operation of replacing number signs. (shrink)

Episodic memory often is conceptualized as a uniquely human system of long-term memory that makes available knowledge accompanied by the temporal and spatial context in which that knowledge was acquired. Retrieval from episodic memory entails a form of first–person subjectivity called autonoetic consciousness that provides a sense that a recollection was something that took place in the experiencer’s personal past. In this paper I expand on this definition of episodic memory. Specifically, I suggest that (a) the core features assumed unique (...) to episodic memory are shared by semantic memory, (b) episodic memory cannot be fully understood unless one appreciates that episodic recollection requires the coordinated function of a number of distinct, yet interacting, “enabling” systems. Although these systems – ownership, self, subjective temporality, and agency – are not traditionally viewed as memorial in nature, each is necessary for episodic recollection and jointly they may be sufficient, and (c) the type of subjective awareness provided by episodic recollection (autonoetic) is relational rather than intrinsic – i.e., it can be lost in certain patient populations, thus rendering episodic memory content indistinguishable from the content of semantic long-term memory. (shrink)

Darwiche and Pearl’s seminal 1997 article outlined a number of baseline principles for a logic of iterated belief revision. These principles, the DP postulates, have been supplemented in a number of alternative ways. Most suggestions have resulted in a form of ‘reductionism’ that identifies belief states with orderings of worlds. However, this position has recently been criticised as being unacceptably strong. Other proposals, such as the popular principle (P), aka ‘Independence’, characteristic of ‘admissible’ operators, remain commendably more modest. (...) In this paper, we supplement the DP postulates and (P) with a number of novel conditions. While the DP postulates constrain the relation between a prior and a posterior conditional belief set, our new principles notably govern the relation between two posterior conditional belief sets obtained from a common prior by different revisions. We show that operators from the resulting family, which subsumes both lexicographic and restrained revision, can be represented as relating belief states associated with a ‘proper ordinal interval’ (POI) assignment, a structure more fine-grained than a simple ordering of worlds. We close the paper by noting that these operators satisfy iterated versions of many AGM era postulates, including Superexpansion, that are not sound for admissible operators in general. (shrink)

The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two di erent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation (...) of inequality) proposed by Witold Wilkosz, a Polish logician, philosopher and mathematician, in 1932. The axioms W are those of ordered sets without largest element, in which every non-empty set has a least element, and every set bounded from above has a greatest element. We show that P and W are equivalent and also that the systems of arithmetic based on W or on P, are categorical and consistent. There follows a set of intuitive axioms PI of integers arithmetic, modelled on P and proposed by B. Iwanuś, as well as a set of axioms WI of this arithmetic, modelled on the W axioms, PI and WI being also equivalent, categorical and consistent. We also discuss the problem of independence of sets of axioms, which were dealt with earlier. (shrink)

As moral injury is a still-emerging concept within the area of military mental health, prevalence estimates for moral injury and its precursor, potentially morally injurious events (PMIEs), remain unknown for many of the world’s militaries. The present study sought to estimate the prevalence of PMIEs in the Canadian Armed Forces (CAF), using data collected from CAF personnel deployed to Afghanistan, via logistic regressions controlling for relevant sociodemographic, military, and deployment characteristics. Analyses revealed that over 65% of CAF members reported exposure (...) to at least one event that would be considered a PMIE. The most commonly PMIEs individuals reported included seeing ill or injured women and children they were unable to help (48.4%), being unable to distinguish between combatants and non-combatants (43.6%), and finding themselves in a threatening situation where they were unable to respond due to the rules of engagement under which they were required to operate (35.4%). These findings provide support for both the presence of exposure to PMIEs in CAF members and the need for formal longitudinal data collection regarding PMIE exposure and moral injury development. (shrink)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...) proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

This paper outlines an account of numbers based on the numerical equivalence schema, which consists of all sentences of the form ‘#x.Fx=n if and only if ∃nx Fx’, where # is the number-of operator and ∃n is defined in standard Russellian fashion. In the first part of the paper, I point out some analogies between the NES and the T-schema for truth. In light of these analogies, I formulate a minimalist account of numbers, based on the NES, which (...) strongly parallels the minimalist account of truth. One may be tempted to develop the minimalist account in a fictionalist direction, according to which arithmetic is useful but untrue, if taken at face value. In the second part, I argue that this suggestion is not as attractive as it may first appear. The NES suffers from a similar problem to the T-schema: it is deductively weak and does not enable the derivation of any non-trivial generalizations. In the third part of the paper, I explore some strategies to deal with the generalization problem, again drawing inspiration from the literature on truth. In closing this paper, I briefly compare the minimalist to some other accounts of numbers. (shrink)

While there has been significant philosophical debate on whether nonlinguistic animals can possess conceptual capabilities, less time has been devoted to considering 'talking' animals, such as parrots. When they are discussed, their capabilities are often downplayed as mere mimicry. The most explicit philosophical example of this can be seen in Brandom's frequent comparisons of parrots and thermostats. Brandom argues that because parrots (like thermostats) cannot grasp the implicit inferential connections between concepts, their vocal articulations do not actually have any conceptual (...) content. In contrast, I argue that Pepperberg's work with Alex (and other African grey parrots) provides evidence that the vocal articulations of at least some parrots have conceptual content. Using Frege's insight that numbers assert something about a concept, I argue that Alex's ability to answer the question "How many?" depended upon a prior grasp of conceptual content. Developing this claim, I argue that Alex's arithmetical abilities show that he was capable of using numbers as both concepts and objects. Frege's theoretical insight and Pepperberg's empirical work provide reason to reconsider the capabilities of parrots, as well as what sorts of tasks provide evidence for conceptual content. (shrink)

The paper considers a new type of objects – blinking fractals – that are not covered by traditional theories studying dynamics of self-similarity processes. It is shown that the new approach allows one to give various quantitative characteristics of the newly introduced and traditional fractals using infinite and infinitesimal numbers proposed recently. In this connection, the problem of the mathematical modelling of continuity is discussed in detail. A strong advantage of the introduced computational paradigm consists of its well-marked numerical character (...) and its own instrument – Infinity Computer – able to execute operations with infinite and infinitesimal numbers. (shrink)

Albert Einstein once made the following remark about "the world of our sense experiences": "the fact that it is comprehensible is a miracle." (1936, p. 351) A few decades later, another physicist, Eugene Wigner, wondered about the unreasonable effectiveness of mathematics in the natural sciences, concluding his classic article thus: "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve" (1960, p. 14). (...) At least three factors are involved in Einstein's and Wigner's miracles: the physical world, mathematics, and human cognition. One way to relate these factors is to ask how the universe could possibly be structured in such a way that mathematics would be applicable to it, and we would be able to understand that application. This is roughly Wigner's question. Alternatively, the way of the mathematical naturalist is to argue that we abstract certain properties from the world, perhaps using our bodies and physical tools, thereby articulating basic mathematical concepts, which we continue building into the complex formal structures of mathematics. John Stuart Mill, Penelope Maddy, and Rafael Nuñez teach this strategy of cognitive abstraction, in very different manners. But what if the very concepts and basic principles of mathematics were built into our cognitive structure itself? Given such a cognitive a priori mathematical endowment, would the miracles of the link between world and cognition (Einstein) and mathematics and world (Wigner) not vanish, or at least significantly diminish? This is the stance of Stanislas Deheane and Elizabeth Brannon's 2011 anthology, following a venerable rationalist tradition including Plato and Immanuel Kant. (shrink)

In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern mathematical logic. The object of Wittgenstein’s approach is not the representation of mathematical properties within a logical axiomatic system, but their representation by a symbolism that identifies the properties in question by its syntactic features. It rests on his distinction of descriptions and operations; (...) its aim is to reduce mathematics to operations. This paper illustrates Wittgenstein’s approach by examining his discussion of irrational numbers. (shrink)

This book manuscript, entitled United Nations Human Rights Ethics: For The Greatest Success of the Greatest Number, critically examines most all major normative ethical theories since Socrates and finds Roman Stoic ethics to be the least deficient. It divides ethical theories into popular ones with little academic support, other popular ones that have had such support, and Kantian ethics standing alone as a philosopher's academic ethical philosophy with limited popular support. It criticizes the appropriation of human rights by (...) the international law profession to the exclusion of moral philosophy, despite the origin of "human rights" in the moral philosopher Rousseau. It blames the inability of moral philosophers to reach a professional consensus on the elements of normative ethics, not the legal profession. It laments both the failure of human rights education to human beings everywhere as requested by the Universal Declaration and the decline in popular support for human rights in favor of nationalism in current history since 2015. It advocates a way of redirecting human right education to people on the ground rather than mainly to law students. Such education has been overtaken by the Rule of Law movement fighting high crimes crimes against humanity unanticipated by the Universal Declaration. It argues for a way for ethicists to get on the same page in teaching elements in ethics and argues forcefully for a positive method for popular human rights education as well as for human rights-based elementary ethical theory. (shrink)

One of the questions regarding the Parmenides is whether Plato was committed to any of the arguments developed in the second part of the dialogue. This paper argues for considering at least one of the arguments from the second part of the Parmenides, namely the argument of the generation of numbers, as being platonically genuine. I argue that the argument at 142b-144b, which discusses the generation of numbers, is not deployed for the sake of dialectical argumentation alone, but it (...) rather demonstrates key platonic features, such as the use of the greatest kinds and the generation principle. The connection between the argument for the generation of numbers and Plato’s philosophy of mathematics is strengthened by the exploration of a possible reference in Aristotle’s Metaphysics A6. Taken as a genuine platonic theory, the argument could have significant impact on how we understand Plato’s philosophy of mathematics in particular, and the ontology of the late dialogues in general – that numbers can be reduced to more basic entities, i.e the greatest kinds, in a way similar to the role the greatest kinds are assigned in the Sophist. (shrink)

Throughout his works, St. Augustine offers at least nine distinct views on the nature of time, at least three of which have remained almost unnoticed in the secondary literature. I first examine each these nine descriptions of time and attempt to diffuse common misinterpretations, especially of the views which seek to identify Augustinian time as consisting of an un-extended point or a distentio animi . Second, I argue that Augustine's primary understanding of time, like that of later medieval (...) scholastics, is that of an accident connected to the changes of created substances. Finally, I show how this interpretation has the benefit of rendering intelligible Augustine's contention that, at the resurrection, motion will still be able to occur, but not time. (shrink)

Strong nativist views about numerical concepts claim that human beings have at least some innate precise numerical representations. Weak nativist views claim only that humans, like other animals, possess an innate system for representing approximate numerical quantity. We present a new strong nativist model of the origins of numerical concepts and defend the strong nativist approach against recent cross-cultural studies that have been interpreted to show that precise numerical concepts are dependent on language and that they are restricted to (...) speakers of languages with the right kind of structure. (shrink)

Once I had explored the research issue of North and South unification with a focus on the legal integration for uniform constitution and various statutes. It pushed me to deal with a big question, and looked like a semi-textbook with an inchoate idea and baby theory upon the completion of research project. The literature review thankfully had allowed the space of creativity and originality of my work product, and can also be a typical way of foreign graduate legal researchers in (...) the process of his dissertation work. They would be beneficial with new statutes and codes, for example, from the Korean Congress, that are enacted recently, which would be their research topic certainly original and contributive. This could be viewed as one of qualitative enclaves enmeshed into a larger scope of qualitative inquiry. This interplay is fairly consequential in excavating a new knowledge and research findings. It could be aboriginal -- one trait word to characterize the qualitative studies-- from the viewpoint of host country, but became original as a crop to expand the horizon of new knowledge. I have once argued that the quantitative studies are on generality of subjects and commonness for involved strands. This profile would vary that the qualitative studies tend to be strong with the story and enclaves. The e-age and rapid compression of space with the development of telecommunication technology also factor to change a paradigm of knowledge and research activities. At least, the contemporary society certainly would be more specific as if we can trace a person with the satellite spotting and the electronic identifier on the leg of sex criminals in Korea guarantees to be safeguarded from his potential danger. That may be favorable concerning the elements and environments of qualitative studies. For example, we may follow up by comparing the research work of Korean statute with the e-government of Korea displaying the statute. We can entertain many on-line sources of information and stories with the dissertations of aboriginal culture. With my time on the qualitative studies, I came across the nocebo effect illustrated with the fear of MERs-CoV in Korea. The effect looks into the negative dimension of human mind and his personality, which could aggravate the current challenge of national crisis, June, 2015. Paradoxically, the nocebo effect can be said to characterize the qualitative context of inquiry. As Freud suggested, the vast of human element is of unexplainable dimension that is less easily quantifiable or generizable over the population (Broome, 2010). This does not say that the continental researchers had been affected with a late nationalization or late development of region leaving them to search for an ego. This is to say that the qualitative studies could explain the part of truths for the universe and human. The researchers interested in deep knowledge could employ their method, but in ethics, who would not vulture the objects of his theme and conduct on due scientific ground. (shrink)

Number systems differ cross-culturally in characteristics like how high counting extends and which number is used as a productive base. Some of this variability can be linked to the way the hand is used in counting. The linkage shows that devices like the hand used as external representations of number have the potential to influence numerical structure and organization, as well as aspects of numerical language. These matters suggest that cross-cultural variability may be, at least in (...) part, a matter of whether devices are used in counting, which ones are used, and how they are used. (shrink)

In this paper I offer a counterexample to the so called vagueness argument against restricted composition. This will be done in the lines of a recent suggestion by Trenton Merricks, namely by challenging the claim that there cannot be a sharp cut-off point in a composition sequence. It will be suggested that causal powers which emerge when composition occurs can serve as an indicator of such sharp cut-off points. The main example will be the case of a heap. It seems (...) that heaps might provide a very plausible counterexample to the vagueness argument if we accept the idea that four grains of sand is the least number required to compose a heap—the case has been supported by W. D. Hart. My purpose here is not to put forward a new theory of composition, I only wish to refute the vagueness argument and point out that we should be wary of arguments of its form. (shrink)

In the third Whitehead Psychology Nexus Studies, we have discussed the dual-aspect-dual-mode proto-experience -subjective experience framework of consciousness based on neuroscience, its implication in war, suffering, peace, and happiness, the process of sublimation for optimizingthem and converting the negative aspects of seven groups of self-protective energy system into their positive aspects from both western and eastern perspectives. In this article, we summarize the recent development since then as follows. In, we rigorously investigated the classical and quantum matching and selection processes (...) for precisely experiencing a specific SE in a specific neural-network. In, we unpacked the quantum view of superposition related to the superposition-based hypothesis H1 of our framework in terms of subquantum dual-aspect primal entities and addressed the related explanatory gaps. We developed alternative hypotheses of our framework, namely, the superposition-then-integration-emergence based H2, the integration-emergence based H3, the intelligent mechanism based H4, and the vacuum/Aether based H5. We concluded that our framework with H1 is the most optimal one because it has the least number of problems. We found over 40 different but overlapping meanings attributed to the term ‘consciousness’ and suggested that authors must specify which aspect ofconsciousness they refer to when using this term to minimize confusion. We proposed definitions of consciousness, qualia, mind, and awareness. We investigated the necessary ingredients for access consciousness: wakefulness, re-entry, attention, working memory and so on. We discussed Nâgârjuna’s philosophy of dependent co-origination with respect to our PE-SE framework. We linked dynamic systems theory and fractal catalytic theory with standard representation theory using our framework. We introduce the PE-SE aspects of consciousness in theoretical classical and quantum physics including loop quantum gravity and string theory. In, we proposed that the SE of subject or ‘self’ in self-related neural-network is tuned to the self-related SEs/PEs superposed in other innumerable entities during samadhi state via matching and selection processes. This leads to bliss, ecstasy, or exceptionally high degree of climax at samadhi state. We conclude that, so far, the dualaspect-dual-mode PE-SE framework with hypothesis H1 is the most optimal framework for explaining our conventional reality because it has the least number of problems. Keywords: Evolution of consciousness; Internal representation; Sensorimotor interaction; Dual-aspect model; Subjective experience; Protoexperiences, Explanatory gap; Mind-brain problem; Purusha; Prakriti; Eastern and Western perspectives; Yoga; Sublimation process; Whitehead; Process and Reality; Occasions of experience; Superposition; Subquantum dual-aspect primal entities ; Superposition-then-integration-emergence; Integration-emergence; Intelligent mechanism; Vacuum/Aether; qualia; Mind; Awareness; Nâgârjuna; Classical and quantum physics; Loop quantum gravity; String theory. (shrink)

Tarlac State University (TSU) is a multi-ethnic and multicultural institution with a student population that is predominated by the Kapampangan, Ilocano, and Tagalog ethnolinguistic groups. Using a modified Katz and Braly trait checklist, a comparative study was able to: 1) profile the stereotypes of these three ethnolinguistic groups, 2) determine their uniformity indices, 3) determine their positivity/negativity indices, 4) compare and contrast their profiled stereotypes, 5) compare and contrast their uniformity indices, and 6) compare and contrast their positivity/negativity indices. This (...) paper was able to establish that (1) the salient traits of the Kapampangan ethnic stereotype are mayabang, masarap magluto, and galante/magastos; those of the Ilocano ethnic stereotype are kuripot, baduy, and madiskarte; and those of the Tagalog ethnic stereotype are maka-Diyos, maganda/guwapo, (2) the Ilocano and the Tagalog ethnic stereotypes shared the most number of traits, while the Kapampangan and Ilocano ethnic stereotypes shared the least number of traits, (3) the Ilocano ethnic stereotype is the sharpest, while the Tagalog ethnic stereotype is the blurriest, and (4) the Tagalog ethnic stereotype is the most positive, while the Kapampangan ethnic stereotype is the most negative. Understanding the dynamics among these ethnolinguistic groups would hopefully lead towards building a more cohesive student body in TSU, or citizens of Tarlac City, or inhabitants of Tarlac Province. This paper is also important in providing a model study that can be replicated in other multicultural institutions and locations in the country. (shrink)

Tarlac State University (TSU) is a multi-ethnic and multicultural institution with a student population that is predominated by the Kapampangan, Ilocano, and Tagalog ethnolinguistic groups. This paper is a comparative study of the ethnic stereotypes and self-stereotypes of these three ethnolinguistic groups. Using a modified Katz and Braly trait checklist, this paper was able to: 1) profile the ethnic stereotypes and self-stereotypes of these three ethnolinguistic groups, 2) determine their uniformity indices, 3) determine their positivity/negativity indices, 4) compare and contrast (...) their profiled ethnic stereotypes and self-stereotypes, 5) compare and contrast the uniformity indices of their ethnic stereotypes and self-stereotypes, and 6) compare and contrast the positivity/negativity indices of their ethnic stereotypes and self-stereotypes. This paper was also able to establish that the Kapampangan ethnic stereotype and self-stereotype shared the most number of traits in common, while the Tagalog ethnic stereotype and self-stereotype shared the least number of traits in common. This paper was also able to establish that the uniformity indices of the Kapampangan ethnic stereotype and self-stereotype are closest to each other; while those of the Tagalog ethnic stereotype and self-stereotype are farthest from each other. Finally, this paper was able to establish that the positivity/ negativity indices of the Kapampangan and Tagalog ethnic stereotype and self-stereotype are both closest to each other; while those of the Ilocano ethnic stereotype and self-stereotype are farthest to each other. This paper is significant not only in knowing whether there is a difference between how the three ethnolinguistic groups construct each other’s stereotypes and their respective self-stereotypes, but more so in laying down the preliminary information that would lead towards understanding the dynamics among these same ethnolinguistic groups, and towards building a more cohesive student body in TSU, or citizens of Tarlac City, or inhabitants of Tarlac Province. This paper is also important in providing a model study that can be replicated in other multicultural institutions and locations in the country. (shrink)

The purpose of college and university ranking mainly resides to assist with the students in choosing their schools and programs at the level they wish to study. The US News and World Report (USNWR) graduate programs ranking is notable that evaluates the graduate level programs uniquely and in contrast with other general subject rankings. Along with the reputation of source, this specificity enables to enjoy a number of subscribers in making an application decision about which school or program is (...) competitive and personally fits. Given the study of national research council is most exhaustive and authoritative ranking source on research doctorates, called Ph.Ds, the ranking of professional schools, for instance, law schools, medical schools, nursing schools and on, as presented to the students in USNWR is very determinative in deciding which school I choose. In this light, the following tables show a ranking that has been yielded on the diversity and quality of graduate and research doctorate programs as well as law studies specifically. Therefore, the tables can be referred to a vast of interested people on the graduate studies in the United States. The last part of reference can be referred not only by JD students, but also by researchers in the graduate law programs. Since some small or exclusively JD-oriented law schools are not available of LL.M or graduate study, the users of table are expected to read consciously. The ranking table has a threshold to qualify so as to be enlisted that the top 44 law schools in all specialties exclusively had been selected and ranked according to the average of two subjects. As said, it could be used secondarily to refer in deciding the schools on the application of general LL.M program. Given the junior scholarly nature of LL.M. or graduate law programs, it is considered that the legal writing program is half factored to select the schools. The column 1 and 2 transcribes the US ranking, which are added for a sum in column 3. Least number is placed at top and less number attains a high ranking correspondingly thorough the end of institution. The first and second parts of this work show the top universities according to the number of programs, whose possible highest rating is placed within the range 1st -17th in either R or S rank of most recent 2010 NRC assessment and roughly same range in the USNWR graduate programs ranking. They are prepared from the revised NRC report published in 2011, which is most recent as well as based on the 2021 version of USNWR. Both data will be incorporated into my current project concerning the American higher education and graduate studies. (shrink)

A number of concerns have been raised about the possible future use of pharmaceuticals designed to enhance cognitive, affective, and motivational processes, particularly where the aim is to produce morally better decisions or behavior. In this article, we draw attention to what is arguably a more worrying possibility: that pharmaceuticals currently in widespread therapeutic use are already having unintended effects on these processes, and thus on moral decision making and morally significant behavior. We review current evidence on the moral (...) effects of three widely used drugs or drug types: propranolol, selective serotonin reuptake inhibitors, and drugs that effect oxytocin physiology. This evidence suggests that the alterations to moral decision making and behavior caused by these agents may have important and difficult-to-evaluate consequences, at least at the population level. We argue that the moral effects of these and other widely used pharmaceuticals warrant further empirical research and ethical analysis. (shrink)