MIPC is a well-known intuitionistic modal logic of Prior and Bull . It is shown that every normal intuitionistic modal logic L over MIPC has the finite model property whenever L is Kripke-complete and universal.

A minimal theorem in a logic L is an L-theorem which is not a non-trivial substitution instance of another L-theorem. Komori (1987) raised the question whether every minimal implicational theorem in intuitionistic logic has a unique normal proof in the natural deduction system NJ. The answer has been known to be partially positive and generally negative. It is shown here that a minimal implicational theorem A in intuitionistic logic has a unique -normal proof in NJ whenever A is provable without (...) non-prime contraction. The non-prime contraction rule in NJ is the implication introduction rule whose cancelled assumption differs from a propositional variable and appears more than once in the proof. Our result improves the known partial positive solutions to Komori's problem. Also, we present another simple example of a minimal implicational theorem in intuitionistic logic which does not have a unique -normal proof in NJ. (shrink)

Some philosophers have thought that life could only be meaningful if there is no God. For Sartre and Nagel, for example, a God of the traditional classical theistic sort would constrain our powers of self-creative autonomy in ways that would severely detract from the meaning of our lives, possibly even evacuate our lives of all meaning. Some philosophers, by contrast, have thought that life could only be meaningful if there is a God. God and the Meanings of Life is interested (...) in exploring the truth in both these schools of thought, seeking to discover what God could and couldn't do to make life meaningful (as well as what he would and wouldn't do). Mawson espouses a version of the 'amalgam' or 'pluralism' thesis about the issue of life's meaning – in essence, that there are a number of different legitimate meanings of 'meaning' (and indeed 'life') in the question of life's meaning. According to Mawson, God, were he to exist, would help make life meaningful in some of these senses and hinder in some others. He argues that whilst there could be meaning in a Godless universe, there could be other sorts of meaning in a Godly one and that these would be deeper. (shrink)

T. A. Cavanaugh's Hippocrates' Oath and Asclepius' Snake: The Birth of the Medical Profession articulates the Oath as establishing the medical profession's unique internal medical ethic - in its most basic and least controvertible form, this ethic mandates that physicians help and not harm the sick. Relying on Greek myth, drama, and medical experience (e.g., homeopathy), the book shows how this medical ethic arose from reflection on the most vexing medical-ethical problem -- injury caused by a physician -- and argues (...) that deliberate iatrogenic harm, especially the harm of a doctor choosing to kill (physician assisted suicide, euthanasia, abortion, and involvement in capital punishment), amounts to an abandonment of medicine as an exclusively therapeutic profession. The book argues that medicine as a profession necessarily involves stating before others what one stands for: the good one seeks and the bad one seeks to avoid on behalf of the sick, and rejects the view that medicine is purely a technique lacking its own unique internal ethic. It concludes noting that medical promising (as found in the White Coat Ceremony through which U. S. medical students matriculate) implicates medical autonomy which in turn merits respect, including honoring professional conscientious objections. (shrink)

How do we think about animals? How do we decide what they deserve and how we ought to treat them? Subhuman takes an interdisciplinary approach to these questions, drawing from research in philosophy, neuroscience, psychology, law, history, sociology, economics, and anthropology. Subhuman argues that our attitudes to nonhuman animals, both positive and negative, largely arise from our need to compare ourselves to them.

Kit Fine (2000) breaks with tradition, arguing that, pace Russell (e.g., 1903: 228), relations have neither directions nor converses. He considers two ways to conceive of these new "neutral" relations, positionalism and anti-positionalism, and argues that the latter should be preferred to the former. Cody Gilmore (2013) argues for a generalization of positionalism, slot theory, the view that a property or relation is n-adic if and only if there are exactly n slots in it, and (very roughly) that each slot (...) may be occupied by at most one entity. Slot theory (and with it, positionalism) bears the full brunt of Fine's (2000) symmetric completions and conflicting adicities problems. I fully develop an alternative, plural slot theory (or pocket theory), which avoids these problems, key elements of which are first considered by Yi (1999: 168 ff.). Like the slot theorist, the pocket theorist posits entities (pockets) in properties and relations that can be occupied. But unlike the slot theorist, the pocket theorist denies that at most one entity can occupy any one of them. As a result, she must also deny that the adicity of a property or relation is equal to the number of occupiable entities in it. By abandoning these theses, however, the pocket theorist is able to avoid Fine's problems, resulting in a stronger theory about the internal structure of properties and relations. Pocket theory also avoids a serious drawback of anti-positionalism. (shrink)

Exegesis, with text, on the Nyāyasūtra of Gautama, basic aphoristic text of Nyāya.

Издание рассчитано на широкую аудиторию.

Islam - Early works to 20th century ; Islamic ethics - Early works to 20th century.

Ismailites -Doctrines ; Assassins (Ismailites).

_Purpose._ This paper aims to investigate the phenomenon of a human being within the Confucian tradition as well as its interpretations from intercultural perspective. _Theoretical basis._ One of the ways to understand the deepest level of the intercultural dialogue is to reveal the interpretations of a human being in philosophical traditions, since they refer to the formation of personality and identity within a given culture including interpersonal, intergroup, and intercultural relations. Humanism based on the unity of Human and Heaven runs (...) like a red thread through the philosophical teachings of Confucius, Mencius, Xunzi, Zhu Xi, Wang Yangming defining the ideas of human nature, his/her duties, his/her place and roles in society that shaped the Chinese mentality. _Originality._ Quite often, Chinese concepts (for example, human dignity beyond the ideas of democracy and mass political participation, guanxi, mianzi) are incomprehensible to the representatives of the Western civilization, which leads to the challenges in intercultural communication. The interpretation of these ideas in the context of Confucianism allows to understand them from the perspective of Others and expand the set of patterns of cultural perception. This ultimately leads to the awareness that there are many social, political, cultural realities, which we perceive through the lens of our own concepts and attitudes. The participants of an intercultural dialogue realize that each of them has a unique experience, own way of posing a problem and resolving it, and no one is better or worse. _Conclusions._ Confucian philosophy shaped the worldview of Chinese people, defined values, goals, meanings, attitudes, communication models, which affected all spheres of Chinese life and culture. The study of the philosophical heritage of the great Chinese civilization enhances the cultural competence of the intercultural communicators and expands the field of dialogue to the level of global communication. (shrink)

Commentary on Hetvābhāsasāmānyanirukti, portion of Tattvacintāmaṇi of Gaṅgeśa, dealing with the definition of fallacies middle term in Navya Nyāya philosophy.

This robust, clear, and well-researched textbook for classes in logic introduces students to both formal logic and to the virtues of intellectual inquiry. Part 1 challenges students to develop the analytical skills of deductive and inductive reasoning, showing them how to identify and evaluate arguments. Part 2 helps students develop the intellectual virtues of the wise inquirer. The book includes helpful pedagogical features such as practice exercises and a concluding summary with definitions of key concepts for each chapter. Resources for (...) professors and students are available through Baker Academic's Textbook eSources. (shrink)

Knowledge, theory of; Islamic philosophy; philosophy, Arab; interpretation and construction.

Logic; Islamic philosophy; Islam--doctrines.