One of the most significant shifts in current thinking on war and gender is the recognition that rape in wartime is not a simple by-product of war, but often a planned and targeted policy. For many feminists ‘rape as a weapon of war’ provides a way to articulate the systematic, pervasive, and orchestrated nature of wartime sexual violence that marks it as integral rather than incidental to war. This recognition of rape as a weapon of war has taken on legal (...) significance at the Rwandan and Yugoslav Tribunals where rape has been prosecuted as a crime against humanity and genocide. In this paper, I examine how the Rwanda Tribunal’s record of judgments conceives of rape enacted as an instrument of the genocide. I consider in particular how the Tribunal’s conception of ‘rape as a weapon of war’ shapes what can be known about sexual violence and gender in the Rwandan genocide and what cannot, the categories of victims legally recognised and those that are not, and the questions pursued, and those foreclosed, about the patterns of violence before and during the genocide. (shrink)

Buss, S.R., The undecidability of k-provability, Annals of Pure and Applied Logic 53 75-102. The k-provability problem is, given a first-order formula ø and an integer k, to determine if ø has a proof consisting of k or fewer lines . This paper shows that the k-provability problem for the sequent calculus is undecidable. Indeed, for every r.e. set X there is a formula ø and an integer k such that for all n,ø has a proof of k sequents if (...) and only if n ε X. (shrink)

O presente texto procura colocar em diálogo reflexões do campo da Filosofia da Infância com os da Educação Infantil. Além das contribuições teóricas pretende fazer conexões com situações observadas em uma pesquisa de doutorado na qual as relações com o espaço e o tempo são entrelaçadas com as do corpo como experiência que surgem nas relações que as crianças estabelecem com seus machucados, ou como elas definem, seus ‘dodóis’. Nessas relações duas particularidades podem ser observadas: uma primeira é que as (...) crianças percebem o corpo como uma experiência contextualizada com o mundo social e material, ou seja, elas não percebem seus corpos separados dos espaços. Uma segunda particularidade é que as crianças trazem a possibilidade do tempo aión como uma aproximação à experiência, uma compreensão do tempo entrelaçado com pessoas, espaços, lugares e ações em que evidencia também relações, emoções e encontros. Dando seqüência as reflexões o texto pretende trazer para o diálogo também situações nas quais são tema entre as crianças as expressões dos sentimentos e das emoções e ainda situações que envolvem suas excreções como as ‘melecas’ e os ‘ranhos’ trazendo uma potencialidade para se pensar as relações entre corpo, infância e educação. A partir da compreensão de uma infância como experiência, como acontecimento que rompe com a história, pretende pensar indicações para uma infância da educação e não já apenas uma educação da infância. Essa necessidade de se pensar uma infância da educação, e não já apenas uma educação da infância parece simples, mas requer um outro ‘olhar’, requer ‘jogar fora’, ou pelo menos questionar, problematizar parte de nossa história para que seja possível pensar em condições de outras ordens, outros valores, enfim, outra educação. Ou seja, uma educação, em que se ‘olha’ não apenas os processos de desenvolvimento das crianças, mas também os seus conhecimentos, as suas produções, as suas manifestações, as suas preferências, as suas interações e particularmente as suas experiências. (shrink)

This paper considers the computational complexity of the disjunction and existential properties of intuitionistic logic. We prove that the disjunction property holds feasibly for intuitionistic propositional logic; i.e., from a proof of A v B, a proof either of A or of B can be found in polynomial time. For intuitionistic predicate logic, we prove superexponential lower bounds for the disjunction property, namely, there is a superexponential lower bound on the time required, given a proof of A v B, to (...) produce one of A and B which is true. In addition, there is superexponential lower bound on the size of terms which fulfill the existential property of intuitionistic predicate logic. There are superexponential upper bounds for these problems, so the lower bounds are essentially optimal. (shrink)

O presente artigo traz reflexões que envolvem infância e experiência a partir da área da educação e, particularmente, das ponderações em torno das pesquisas com crianças pequenas e da educação infantil. Os apontamentos impõem limites relativos a este lugar de estudo e delimita estes como parte de uma crítica e autocrítica da educação e das possibilidades de consolidação de uma Pedagogia da Infância. Nesta direção, no artigo se toma para esta reflexão a análise do sentido da experiência para as principais (...) teorias educacionais ou projetos educativos para a educação na infância, a fim de levar a uma demarcação dos contornos da experiência educativa na/da infância institucionalizada. Para tal, apresenta alguns elementos relativos à experiência educativa como experiência social a partir de estudos empíricos que dão visibilidade às ações das crianças como parte de suas vidas nos coletivos infantis. Por fim, indica como desafios para a possível consolidação de uma Pedagogia da Infância uma aproximação da Pedagogia às manifestações infantis, a criança em situação e as possibilidades de os processos educativos se pautarem na escuta, na dialogicidade e nas relações, possibilitando incluir, nas práticas educativas, as significações produzidas pelas próprias crianças em seus contextos de vida e suas manifestações culturais e expressivas. (shrink)

The transcription factor NF‐κB (p65/p50) plays a central role in the coordination of cellular responses by activating the transcription of numerous target genes. The precise role of the dynamics of NF‐κB signalling in regulating gene expression is still an open question. Here, we show that besides external stimulation intracellular parameters can influence the dynamics of NF‐κB. By applying mathematical modelling and bifurcation analyses, we show that NF‐κB is capable of exhibiting different types of dynamics in response to the same stimulus. (...) We identified the total NF‐κB concentration and the IκBα transcription rate constant as two critical parameters that modulate the dynamics and the fold change of NF‐κB. Both parameters might vary as a result of cell‐to‐cell variability. The regulation of the IκBα transcription rate constant, e.g. by co‐factors, provides the possibility of regulating the NF‐κB dynamics by crosstalk. (shrink)

We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory [Formula: see text] is consistent with the conjecture that [Formula: see text], i.e. some problem that is solvable in non-deterministic exponential time does not have polynomial size circuits. We suggest this is the best currently available evidence for the truth of the conjecture. The same techniques establish the same results with [Formula: see text] replaced (...) by the class of problems decidable in non-deterministic barely superpolynomial time such as [Formula: see text]. Additionally, we establish a magnification result on the hardness of proving circuit lower bounds. (shrink)

Journal of Mathematical Logic, Ahead of Print. We prove the first unconditional consistency result for superpolynomial circuit lower bounds with a relatively strong theory of bounded arithmetic. Namely, we show that the theory [math] is consistent with the conjecture that [math], i.e. some problem that is solvable in non-deterministic exponential time does not have polynomial size circuits. We suggest this is the best currently available evidence for the truth of the conjecture. The same techniques establish the same results with [math] (...) replaced by the class of problems decidable in non-deterministic barely superpolynomial time such as [math]. Additionally, we establish a magnification result on the hardness of proving circuit lower bounds. (shrink)

A condição humana”, de autoria de Hannah Arendt, possui conteúdos teóricos importantes para a compreensão das atividades humanas na atualidade e, entre elas, as exercidas pelos profissionais da área da saúde e neste momento, da Enfermagem. Dessa forma, pode-se analisar o relato dos Docentes de Enfermagem em relação à Vita Activa quando expõem a condição humana experienciada no cotidiano. Em outros termos, o labor está relacionado às atividades que correspondem ao processo biológico do corpo humano para garantir à subsistência: os (...) cuidados com o corpo do Enfermeiro Docente. Este é realizado por meio da alimentação, da higienização, do sono, do repouso, com uso de medicamentos e o acompanhamento com especialistas. Em relação ao work, os ED realizam uma obra manual e intelectual que compreende ao ensino dos estudantes e ao cuidado ao labor dos usuários do Sistema Único de Saúde. O work abrange também o fazer científico e as relações interpessoais na Universidade, as quais ocorrem por meio do comando, da obediência e com hierarquia. A action é estabelecida quando os ED agem e falam conjuntamente com os pares durante as reuniões de Departamento, nos Sindicatos e nos Conselhos Municipais de Saúde, atuando com igualdade, liberdade, responsabilidade, isto é, de maneira cidadã. O ED precisa estar ciente da importância destas três atividades da Vita Activa, pois além de consumir e produzir pode, ao exercer a política, iniciar novos processos que possibilitem mudanças em relação aos cuidados com o próprio labor, no processo de work e na convivência com os outros. Acredita-se que isto resultará na melhoria da qualidade de vida dele, do ensino em Enfermagem e dos cuidados de saúde aos usuários do SUS. (shrink)

In "Intuitionistic validity in -normal Kripke structures," Buss asked whether every intuitionistic theory is, for some classical theory , that of all -normal Kripke structures for which he gave an r.e. axiomatization. In the language of arithmetic and denote PA plus Open Induction or Open LNP, and are their intuitionistic deductive closures. We show is recursively axiomatizable and , while . If proves PEM but not totality of a classically provably total Diophantine function of , then and so . A (...) result due to Wehmeier then implies . We prove is not -conservative over . If , then is not closed under MR or Friedman's translation, so range (). Both and are closed under the negative translation. (shrink)

We construct by diagonalization a non-well-founded primitive recursive tree, which is well-founded for co-r.e. sets, provable in Σ1 0. It follows that the supremum of order-types of primitive recursive well-orderings, whose well-foundedness on co-r.e. sets is provable in Σ1 0, equals the limit of all recursive ordinals ω1 ck . RID=""ID="" Mathematics Subject Classification (2000): 03B30, 03F15 RID=""ID="" Supported by the Deutschen Akademie der Naturforscher Leopoldina grant #BMBF-LPD 9801-7 with funds from the Bundesministerium für Bildung, Wissenschaft, Forschung und Technologie. RID=""ID="" (...) I would like to thank A. SETZER for his hospitality during my stay in Uppsala in December 1998 – these investigations are inspired by a discussion with him; S. BUSS for his hospitality during my stay at UCSD and for valuable remarks on a previous version of this paper; and M. MÖLLERFELD for remarks on a previous title. (shrink)

There are a number of competing hypotheses about human evolution. For example, Homo habilis and Homo erectus could have existed together, or one could have evolved from the other, and paleontological evidence may allow us to decide between these two hypotheses (see, e.g., Spoor et al., 2007). For most who work on the biology of human behavior, there is no question that human behavior is in some large part a product of evolution. But, there are competing hypotheses in this area (...) as well. Some claim that human behavior is produced by a collection of psychological mechanisms, for the most part, and that these mechanisms are adaptations that arose in the Pleistocene Epoch (e.g., Tooby & Cosmides, 1992; Buss, 2007). The claim is important and testable (although, more difficult to test than the above mentioned hypotheses about origins); but importantly, it is only one among many hypotheses about the evolutionary origins of human behavior. While I think that there may be components of our behavior that are best explained by appealing to processes or mechanisms that arose in the Pleistocene, I think that human behavior is a result of evolutionary processes both much older and more recent than the Pleistocene. I also maintain that much of human behavior, and the mechanisms underlying it, could still be subject to evolutionary.. (shrink)

The elementary arithmetic operations +,·,≤\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${+,\cdot,\le}$$\end{document} on integers are well-known to be computable in the weak complexity class TC0, and it is a basic question what properties of these operations can be proved using only TC0-computable objects, i.e., in a theory of bounded arithmetic corresponding to TC0. We will show that the theory VTC0 extended with an axiom postulating the totality of iterated multiplication proves induction for quantifier-free formulas in the language ⟨+,·,≤⟩\documentclass[12pt]{minimal} (...) \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\langle{+,\cdot,\le}\rangle}$$\end{document}, and more generally, minimization for Σ0b\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma_{0}^{b}}$$\end{document} formulas in the language of Buss’s S2. (shrink)

Etiquette writer Judith Martin is frequently faced with “etiquette skeptics,” interlocutors who protest not simply that this or that rule of etiquette is problematic but complain that etiquette itself, qua a system of conventional norms for human conduct and communication, is objectionable. While etiquette skeptics come in a variety of forms, one of the most frequent skeptical complaints is that etiquette is artificial.The worries Martin canvasses are frequently also raised in more philosophical work as reasons to doubt the moral significance (...) of etiquette. See, e.g., Sarah Buss, “Appearing Respectful: The Moral Significance of Manners”, Ethics 109.4 : 795–826; Nancy Sherman, “The Look and Feel of Virtue”, in Christopher Gill, ed., Virtue, Norms, and Objectivity: Issues in Ancient and Modern Ethics ; and Karen Stohr, On Manners , especially Chapter 1. “Artificial” typically operates in this context as a catch-all te .. (shrink)

This collection includes twenty original philosophical essays in honour of Wolfgang Spohn. The contributions mirror the scope of Wolfgang Spohn’s work. They address topics from epistemology (e.g., the theory of ranking functions, belief revision, and the nature of knowledge and belief), philosophy of science (e.g., causation, induction, and laws of nature), the philosophy of language (e.g., the theory of meaning and the semantics of counterfactuals), and the philosophy of mind (e.g., intentionality and free will), as well as problems of ontology, (...) logic, the theory of practical rationality, and meta-philosophy. ― Contributors: Ansgar Beckermann, Wolfgang Benkewitz, Bernd Buldt, Ralf Busse, Christoph Fehige, Wolfgang Freitag, Gordian Haas, Volker Halbach, Franz Huber, Andreas Kemmerling, Manfred Kupffer, Hannes Leitgeb, Godehard Link, Arthur Merin, Thomas Müller, Julian Nida-Rümelin, Martine Nida-Rümelin, Hans Rott, Holger Sturm, Thomas Ede Zimmermann, Alexandra Zinke. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:THREE NOTIONS OF RESOLUTIO AND THE STRUCTURE OF REASONING IN AQUINAS 1 EILEEN c. SWEENEY Boston College Chestnut Hill, Massachusetts RESOLUTIO, better known by the English transliteration of its Greek counterpart, "analysis," has been touted as " the conceptual model for some of the most important ideas in the history of philosophy, including the history of the methodology and philosophy of science." 2 But while resolution /analysis may be (...) important in the histories of philosophy and science, its own history is, to say the least, confused. A Renaissance commentator, Jeremias Triverius gives some sense of this when, after giving a list of four methods of dialectic (division, definition, demonstration, and resolution),3 he writes, 1 I have used the following abbreviations for works by Thomas Aquinas. All translations of Aquinas are my own. Commentum in Quatuor Libros Sententiarum (ed. Busa): In Sent; Compendium Theologiae (ed. Busa): Comp Theo!; E:rpositio Super Librum Boethii De Trinitate (ed. Decker): Exp de Trin; In Aristotelis Libros Posterium Analyticorum (ed. Marietti) : In Anal Post; In Duodecem Libros Metaphysicorum Aristotelis E:rpositio (ed. Marietti): In Meta; In Librum Beati Dionysii De Divinis Nominibus E:rpositio (ed. Marietti): In Div Nom; Sententia Libri Ethicorum Aristotelis ad Nichomachum: In Ethic; Sententia Libri Politicormn Aristotelis (ed. Leonine): In Pol; De Substantiis Separatis (ed. Busa): De Sub Sep; Summa Contra Gentiles (ed. Leonine): SCG; Summa Theologiae (ed. Leonine): ST; Questiones Disputatae de Veritate: QDV. 2 Jaakko Hintikka and Unto Remes, The Method of Analysis (Boston: D. Reidel, 1974), p. 1. s These four methods of dialectic are also given by a number of ancient commentators, for example, Ammonius (In Porphyrii Isagogen, in Commentaria in Aristotelem Graeca [hereafter, CAG], ed. Maximilian Wallies [Berlin, 1891], vol. IV, pt. 6, p. 34, 11. 19-20) and a later commentator, David (Davidis Prolegomena et in Porphyrii Isagogen Commentarium, CAG, ed. Adolf Busse [Berlin, 1904], vol. 18, p. 88, 11. 6-10). 197 198 EILEEN C. SWEENEY Now anyone who has some knowledge of dialectical matters knows what Definition, Division, and Demonstration are. There is no general agreement, however, so far as I can see, on Resolution. Some identify it with Division. Others regard it as contrary [to Divi- • ] 4 S!On, ••• Triverius, like many modern commentators, adds to, rather than sorts out, the confusion, continuing, " And since each one is entitled to his opinion, I am now maintaining that Resolution is contrary to Demonstration...." 5 Many centuries before Triverius we find a similar ambiguity in Greek commentators on Aristotle, who outline several types of analysis. Unlike Triverius, however, most seem untroubled by the multiple types; Ammonius and David, without puzzlement, explain carefully that analysis is the opposite of each of the other three methods.6 The lack of 4 Jeremias Triverius, In texnhn [sic] Galeni clarissimi commentarii (Lyon, 1547), p. 14; cited and translated in Nea! Gilbert, Renaissance Concepts of Method (New York: Columbia University Press, 1960), p. 106. Galen's opening remarks of the Ars medica, giving three methods of teaching (analysis, synthesis, and definition) is a common locus for the discussion of resolution/ analysis in the Middle Ages and Renaissance. Galen's contribution, at least for Aquinas, seems to have been completely mediated by Medieval Arabic commentators. Galen's own discussions are either incomplete, as in the opening passage to the Ars medica (in Claudii Galeni Opera Omnia, ed. C. G. Kiihn, [Repr. Hildesheim: Georg Olms, 1965], vol. I, pp. 305-306), which merely mentions the word, or are unclear accounts of analysis (Cf. Galen's discussion of analysis in De Peccatorum, in Opera Omnia, vol. 5, ch. 5, pp. 80-81). On two of the Arabic commentaries' descriptions of analysis to accompany medieval translations of Galen, see below, nn. 80 & 83. On Galen's supposed contribution to the notion of resolution and method in the development of experimental science, see A. C. Crombie, Robert Grosseteste and the Origins of Experimental Science (Oxford: Clarendon Press, 1953), especially pp. 7680, and Gilbert, Renaissance Method, pp, 13-27, 44-46. 5 Triverius, In texnhn, p. 14; Gilbert, p. 106. 6 For analysis as the opposite of division, definition, and demonstration, see Ammonius, In Aristotelis Analyticorum Priorum Librum I Commentarium, CAG, ed. Maximilian Wallies, (Berlin, 1891... (shrink)

Erkennen wir die Welt so, wie sie wirklich ist oder konstruieren wir die Wirklichkeit, in der wir leben? Der einführende Artikel vom Herausgeber und der Beitrag von E. von Glasersfeld wollen zeigen, dass diese Streitfrage sich durch die ganze abendländische Philosophiegeschichte zieht. In dem Sammelband wird der Streit auf der Grundlage alter und neuer Argumente noch einmal ausgefochten. Stützen sich die einen auf die wissenschaftliche Erforschung unseres Gehirns und unserer kognitiven Fähigkeiten, um ihre These der Nichterkennbarkeit einer von uns unabhängig (...) existierenden Welt zu untermauern, so meinen die anderen, diese Argumentation sei zirkulär, ja, habe der radikale Konstruktivismus recht, so sei er widersprüchlich und damit falsch. Hinter dem konstruktivistischen Paradigma verberge sich zudem letztlich ein naiver Naturalismus, der glaubt, mit Hilfe wissenschaftlicher Forschungen allein erkenntnistheoretische Aussagen machen zu können, so die Argumentation von H.J. Wendel. Hingegen sind es vor allem Literatur- und Sozialwissenschaftler, die in etwas abgewandelter Form den Konstruktivismus durchaus als wissenschaftliches Paradigma akzeptieren. So verteidigt Wolfgang Frindte einen Sozialen Konstruktivismus, der die Auffassung vertritt, wir erzeugten unsere Wirklichkeit zusammen im Diskurs. S.J. Schmidt geht davon aus, dass soziale Systeme über Wirklichkeitsmodelle verfügen, die in der gesellschaftlichen Evolution über die Konstitution und Thematisierung für essentiell gehaltener Unterscheidungen entstehen. Verschiedene Beiträge beziehen sich explizit auf die Theorie von Humberto Maturana. Busse, Locker und Nüse erörtern in ihren Aufsätzen besonders die Problematik, die sich aus dem Konzept der Autopoiese und der daraus resultierenden Geschlossenheit des zentralen Nervensystems ergeben. O. Breidbach nimmt auf die biologische Forschung Bezug und zieht den es noch viel zu verfrüht ist, um auf dem heutigen Kenntnisstand bereits Aussagen über unsere Erkenntnisfähigkeit zu machen. Einige Beiträge befassen sich mehr mit den praktischen Auswirkungen konstruktivistischer Annahmen z.B. in der Familientherapie (Stierlin) oder in der Lerntheorie (Simon). Von Interesse sind auch die Beiträge von Hans Geisslinger, die beschreiben, wie sich unsere Wirklichkeit mit Hilfe einiger weniger Parameter verändern lässt. (shrink)

Evolutionary psychology—in its ambitious version well formulated by Cosmides and Tooby (e.g., Cosmides & Tooby 1987, Tooby & Cosmides 1992) —will succeed to the extent that it causes cognitive psychologists to rethink central aspects of human cognition in an evolutionary perspective, to the extent, that is, that psychology in general becomes evolutionary. The human species is exceptional by its massive investment in cognition, and in forms of cognitive activity—language, metarepresentation, abstract thinking—that are as unique to humans as echolocation is unique (...) to bats. The promise of evolutionary psychology is thus to help explain not just traits of human psychology that are homologous to those of many other species, but also traits of human psychology that are genuinely exceptional and that in turn help explain the exceptional character of human culture and ecology. However, most of the work done in evolutionary psychology so far is on aspects of human psychology that are not specifically human except in their details. Showing, for instance, how human preferences in mate choice are fine -tuned in the way the theory of evolution would predict is of great interest (see e.g., Buss 1994) but it can be done on the basis of a relatively shallow psychology. This makes work on distinctly human adaptations involving higher cognition of particular importance for defenders of a psychologically ambitious evolutionary psychology. What is often presented (e.g., Pinker, 1997) as the signal achievement of cognitive evolutionary psychology in this respect is the experimental testing of Cosmides’ (1989) hypothesis that there exists an evolved competence to deal with social contracts, and, in particular to detect cheaters. We want to argue that, because of faulty methodological choices—the quasi-exclusive reliance on the four-cards selection task—, the hypothesis has in fact not yet been tested. The plan of this chapter is as follows: We begin, with a short presentation of Cosmides’s social contract hypothesis, of Wason selection task, and of Cosmides’s reasons to use the task in order to test the theory.. (shrink)

We show that the arithmetical theory -INDx5, formalized in the language of Buss, i.e. with x/2 but without the MSP function x/2y, does not prove that every nontrivial divisor of a power of 2 is even. It follows that this theory proves neither NP=coNP nor.

Journal of Mathematical Logic, Volume 22, Issue 03, December 2022. We study a new class of NP search problems, those which can be proved total using standard combinatorial reasoning based on approximate counting. Our model for this kind of reasoning is the bounded arithmetic theory [math] of [E. Jeřábek, Approximate counting by hashing in bounded arithmetic, J. Symb. Log. 74(3) (2009) 829–860]. In particular, the Ramsey and weak pigeonhole search problems lie in the new class. We give a purely computational (...) characterization of this class and show that, relative to an oracle, it does not contain the problem CPLS, a strengthening of PLS. As CPLS is provably total in the theory [math], this shows that [math] does not prove every [math] sentence which is provable in bounded arithmetic. This answers the question posed in [S. Buss, L. A. Kołodziejczyk and N. Thapen, Fragments of approximate counting, J. Symb. Log. 79(2) (2014) 496–525] and represents some progress in the program of separating the levels of the bounded arithmetic hierarchy by low-complexity sentences. Our main technical tool is an extension of the “fixing lemma” from [P. Pudlák and N. Thapen, Random resolution refutations, Comput. Complexity, 28(2) (2019) 185–239], a form of switching lemma, which we use to show that a random partial oracle from a certain distribution will, with high probability, determine an entire computation of a [math] oracle machine. The introduction to the paper is intended to make the statements and context of the results accessible to someone unfamiliar with NP search problems or with bounded arithmetic. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Minor Socratics* PHILIP MERLAN OF MEN MORE OR LESS DECISIVELY influenced by Socrates, three--Antisthenes (c. 455-360), Aristippus of Cyrene (c. 435-356), and Eucleides of Megara (c. 450380 )--became founders of schools (or sects) often referred to as "minor Socratic schools." These schools are the Cynic, the Cyrenaic, and the Megaric, respectively. The names of the last two are self-explanatory. That of the first sounds somewhat like "dog (kytn)-like." By (...) some it is assumed to have been derived from the meeting place of Antisthenes with his followers, the gymnasium of Kynosarges; x others believe it to be contemptuously indicative of the dog-like life of the members of the sect (shamelessness, begging, barking, biting). 2 In this sense it was proudly and defiantly accepted by the members themselves, a What we know of the ethical teachings of the Megaric school amounts to hardly more than one sentence, in which the Good seems to have been identified with the One. 4 All we can say of this formula is that it, in some way, links the * Size (very limited), scope (ethical doctrines only), manner of presentation (for the general reader and rather dogmatic), etc., of this article were determined by the character of the Encyclopedia of Morals, in which it originally appeared. The present footnotes try to make up for some of the shortcomings unavoidable in this kind of article. [The Journal is grateful to Philosophical Library, Inc. for permission to reprint this article. The footnotes were subsequently added by Professor Merlan and appear here for the first time.] As the only collection of fragments of Cynics (Antisthenes, Diogenes, Crates, Monimus, Demonax, Oenomaus, Teles, Bion) is that contained in F. W. A. Mullach, Fragmenta philosophorum graecorum (Paris: 1865), vol. II, pp. 274-429, which is hard to obtain (the collection of fragments by A. W. Winekelmann, Antisthenis fragmenta [1842] even harder), I shall quote them directly from the sources. There was no need to do so with the Cyrenaics, as we have two recent collections of their fragments: G. Giannantoni, 1 Cirenaici (Florence, n.d.: [1958])--they will be quoted as G--and E. Mannebach, Aristippi et Cyrenaicorum fragmenta (K~51n-Leiden: 1961), which will be quoted as Ma. A generous selection of fragments of Megarians, Cynics and Cyrenaics in German translation with introduction and notes is contained in W. Nestle, Die Sokratiker (Jena: 1922), pp. 79-177. Our knowledge of Antisthenes would considerably be enriched if we could follow H. Kesters, who, in a number of publications (one of them: Plaidoyer d'un Socratique... [Louvain: 1959]) ascribes Themistius, Or. XXVI to Antisthenes. However, the ascription is doubtful. i I.e., Whitehound: D.L. VI 13. Elias, In Cat. (CAG XVIII/I, Berlin: 1908), p. Ill, 2-29. Busse has a fourfold explanation of the name, all connected with the word Kt~v. Cf. K. v. Fritz, Quellenuntersuchungen zu Leben und Philosophie des Diogenes von Sinope (Leipzig: 1926), pp. 47-49. D.L. VI 60. 55; Stob. vol. III, p. 462, 16 W.-H. Quotations from Stobaeus refer to: K. Wachsmuth, O. Hense, loannis Stobaei Anthologium, 5 vol. (Berlin: 1884-1902); they are by volume, page, and line of this edition. 4 Eus. PE XIV 17, 1; D.L. II 106 (~v x6 dtTu06v). [143] 144 HISTORY OF PHILOSOPHY Megarians to the Eleatic school 5 but also to some aspects of Plato's Philebus and his Laws, and also to the Epinomis, and, above all, to his lecture or course of lectures "The Good," the conclusion of which was that it is the One which is the Good. 6 And though we know that many Megarians were engaged in political activities,7 we do not know in what way, if any, that highly abstract ethical doctrine was linked to practice. It is entirely different with the other two schools, in which ethical theory is immediately applied to life and theoretical aspects of philosophy are often neglected or even absent. However, there is some doubt as to whether Antisthenes can actually be considered the fountainhead of Cynicism. He seems to have undergone the influence of Socrates late in his life, when he had already been active as a... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A National Shrine to Scapegoating? The Vietnam Veterans Memorial Washington, D.C. Jon Pahl Valparaiso University In a recent survey I conducted of visitors to the Vietnam Veterans Memorial in Washington, D.C, 92 percent agreed that "the memorial is a sacred place, and should be treated as such."1 Clearly, this place, by some reports the most visited site in the U.S. capital, draws devotion. But how does a pilgrimage to (...) this memorial function?2 Does pilgrimage to "the wall" serve to "heal a nation," as its builders intended, or does pilgrimage to the memorial ironically legitimize structures of violence like those which led the United States into the Vietnamese conflict in the first place?3 My argument builds upon the work of René Girard to suggest that pilgrimage to the Vietnam Veterans Memorial can legitimize the violence of American culture by 'The survey was of 185 pilgrims attending ceremonies during Veterans Day, November 11, 1993 and 1994. Several recent works explore the interface between civil religion and violence, notably John E. Bodnar, Karal Ann Marling, and Edward T. Linenthal. On sacred places, the pioneering work of Mircea Eliade, The Sacred and the Profane, remains important but must be supplemented by Jonathan Z. Smith's Imagining Religion. 1 Victor and Edith Turner argue cogently that "if a tourist is half pilgrim, a pilgrim is half tourist" (20). Many visitors to the Vietnam Veterans Memorial understand themselves only as tourists, but their behavior appears to me to warrant treatment under the category of "pilgrimage." 3 I assume a "maximalist" definition of violence, which understands the word to refer not only to physical harm to individuals, but also to systemic, social structures of exclusion (such as racism), and ideological (or symbolic) justifications of violence (see Robert McAfee Brown; for a minimalist approach, see Gerald Runkle). 166Jon Pahi reinforcing scapegoating.4 At the same time, however, the established religious pluralism and voluntarism of American culture—evident in this pilgrimage process—diffuses violence. Furthermore, the democratic character of this pilgrimage empowers pilgrims to critique idolatrous worship of the nation, and to witness to authentic reverence for life. Mimesis on the mall A brief impressionistic portrait ofthe way visitors experience the Vietnam Veterans Memorial will demonstrate how the memorial draws pilgrims into a mimetic process—a key feature of Girard's theory. Many pilgrims stop at the memorial as part of a National Park Service 'Tourmobile' circuit of museums and memorials, or as part of another bus tour (school and senior citizens groups are especially common ). These busses disembark pilgrims at the base of the Lincoln Memorial, directly in front of the reflecting pool on the national mall, in sight of the Washington Monument and the Capitol. Pilgrims may, or may not, first climb the steps of the Lincoln Memorial (a powerful shrine with implications for understanding violence in its own right). Moving north, they eventually proceed along a sidewalk lined with Fig. 1 "Three Men Statue".,. several tents where veterans organizations sell T-shirts, medals, bumper-stickers, books, and other memorabilia. The first stop for many pilgrims is the "Three Men Statue" (Fig. 1) located in a grove just past the tents. 4 I summarize Girard's theory as follows: Beginning with mimetic desire, rivalry for an object escalates and threatens the social order. Religion—and notably sacrifice of the scapegoat—creates sufficient unanimity to restore a sense of social order, but does so through violence itself, masking through myth and ritual a vicious cycle of aggression we know as the history of human culture. A National Shrine to Scapegoating?167 This bronze statue (and the American flag which flies nearby) was not part ofthe original design for the memorial, and was dedicated in 1985, three years after the wall of names. It was the result of a compromise between founders of the Vietnam Veterans Memorial Fund led by veteran Jan Scruggs and a group led by 1992 Presidential candidate H. Ross Perot which was dissatisfied with the wall and felt the need for a more 'heroic' representation of the survivors ofthe war.5 Most pilgrims understand little of the history behind the statue, or its intent to create a more heroic... (shrink)

BackgroundThis study aims to investigate bullying behaviors among college students at one of the national universities in UAE, and also to examine the psychological characteristics of those who were exposed to, or have experienced bullying.MethodsA cross-sectional study was conducted on 839 undergraduate students at one of the national universities in the UAE. Students from all colleges participated in this study and were selected by using stratified random sampling. Participants completed a bullying survey designed for the study, in addition to three (...) psychological measures [i.e., Aggression Questionnaire, Buss and Perry, 1992; The Primary Care Anxiety and Depression, El-Rufaie et al., 1997; and the Post Traumatic Stress Disorder for Diagnostic and Statistical Manual of Mental Disorders-Fifth Edition, Weathers et al., 2013].ResultsThe prevalence rate of students being exposed to or engaged in bullying was 26.3%. Of those, 72 students reported being bullied, 29 reported bullying others, and 185 reported witnessing friends being bullied. The most common types of bullying reported were traditional bullying. Cyberbullying was not very common. More females reported being bullied in comparison to males and most of the aggressors were peer students. Overall, moderate level of aggressive personality traits and low levels of symptoms of depression, anxiety, and PTSD were reported for the total sample. T-tests revealed significant differences in the three psychological measures between those who did not experience bullying and those who did. The mean scores on the Aggression Questionnaire for those who bullied others were significantly higher than those who did not experience bullying.ConclusionExperiences of bullying seem to impact college students’ mental health in the UAE. Therefore, efforts need to focus on developing preventive programs to increase students’ awareness of bullying and its negative impact on campus environment. Offering psychological help for those who were exposed to bullying would help them to deal effectively with this trauma. (shrink)

A family of formal intuitionistic theories is proposed with realizability of proved formulas in several subrecursive classes, e.g. Grzegorczyk classes, polynomial-time computable functions class, etc. xA) Algorithm extraction forxyA is shown for various classes of bounded complexity. The results on polynomial computability are closely connected to work on the Bounded Arithmetic by S. Buss.

The moral doctrine of Hobbes, in many ways the most interesting of our major British philosophers, is, I think, commonly seen in a false perspective which has seriously obscured its real affinities. This is, no doubt, largely due to the fact that most modern readers begin and end their study of Hobbes's ethics with the Leviathan , a rhetorical and, in many ways, a popular Streitschrift published in the very culmination of what looked at the time to be a permanent (...) revolution, and do not pay such attention to the more calmly argued statements of the same doctrine contained in the Elements of Law , circulated before the outbreak of the Civil War, or the De Cive. (shrink)

There are a number of competing hypotheses about human evolution. For example, Homo habilis and Homo erectus could have existed together, or one could have evolved from the other, and paleontological evidence may allow us to decide between these two hypotheses (see, e.g., Spoor et al., 2007). For most who work on the biology of human behavior, there is no question that human behavior is in some large part a product of evolution. But, there are competing hypotheses in this area (...) as well. Some claim that human behavior is produced by a collection of psychological mechanisms, for the most part, and that these mechanisms are adaptations that arose in the Pleistocene Epoch (e.g., Tooby & Cosmides, 1992; Buss, 2007). The claim is important and testable (although, more difficult to test than the above mentioned hypotheses about origins); but importantly, it is only one among many hypotheses about the evolutionary origins of human behavior. While I think that there may be components of our behavior that are best explained by appealing to processes or mechanisms that arose in the Pleistocene, I think that human behavior is a result of evolutionary processes both much older and more recent than the Pleistocene. I also maintain that much of human behavior, and the mechanisms underlying it, could still be subject to evolutionary.. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 25.2 (2001) 251-277 [Access article in PDF] Hans Christian Andersen's Fish Out of Water Nancy Easterlin I Now that Darwinian literary criticism is on the horizon, the natural human tendency to codify manifests itself in calls to summarize succinctly what such an approach entails. Though clarity is always to be praised, bioevolutionary critics need to guard against the reductiveness that has beleaguered attempts at a scientifically (...) grounded literary criticism since the early twentieth century; most especially, we should think twice about limiting the interpretation of complex and varied works to selected sociobiological themes divorced from other biocultural considerations. David Sloan Wilson makes much the same point to students of evolution when he quotes Celia Heyes in a recent review of Evolutionary Psychology, David Buss's new textbook: "When I first encountered the term 'evolutionary psychology,' I thought it referred to the study of how mind and behavior evolved. But I was mistaken. In current usage, 'evolutionary psychology' refers exclusively to research on human mentality and behavior, motivated by a very specific, nativist-adaptationist interpretation of how evolution operates." 1If, as D. S. Wilson suggests, evolutionary psychology thus narrowly defined threatens to produce a limited understanding of human mind and behavior and, in the process, fragment the discipline of psychology further, how much less potentially productive is such an approach for those of us whose central objects of study, cultural artifacts, are as the products of behavior even further removed from the study of mind? Leda Cosmides and John Tooby are most explicit about the falsity of assuming that psychological adaptations determine behavior. This being so, it seems impossible that such adaptations could determine the [End Page 251] meaning of artworks, which are themselves the products of complex human behaviors. As I hope this discussion of Hans Christian Andersen's "Little Mermaid" will demonstrate, an approach to aesthetics strictly following the lead of evolutionary psychology as currently defined, while supplying valuable general insights about the motives for artistic behaviors and the cognitive processes engaged in them, cannot by itself inform us about the meaning of individual artworks. This is a crucial issue, since interpretation is the fundamental pursuit of scholars in fields like mine, literary studies.Putting the question of interpretive frutifulness aside for the moment, it can be said unequivocally that criticism that fails to be sensitive to mutation and change is not properly Darwinian. Evolutionary psychology and sociobiology themselves maintain that our psychic architecture is comprised of domain-specific competences; the result, as E. O. Wilson points out, is that the human mind is not designed to understand reality but is instead an instrument for survival and reproduction. 2 "Natural selection," says Michael Ruse, "works in a gerry-building fashion, making do with what it has at hand." 3 Though our various evolved competences cannot be radically dissonant if the organism is to survive, neither are they logically integrated, neatly interlocking "modules." Under some environmental conditions, specific adaptations or epigenetic rules are not likely to produce a competitive advantage while other very different adaptations certainly will, and hence the flexibility of the organism ensures its survival. If, for instance, I place my coffee mug down on my desk and at that exact moment two cars collide on the street outside, familiarity with my environment militates against invocation of the causal rule, even though such a rule is incontrovertibly part of our adapted psychology. 4 Knowing, then, that we share an evolved psychic architecture whose patient excavation, so to speak, will result in a progressively better defined concept of human nature, and knowing too that the behavior of human beings as writers as well as other kinds of agents varies under divergent environmental conditions, Darwinian criticism should be sensitive to the complex relationship between individual adaptations, the total array of adaptations, subjective cognitive processes, and environmental circumstances that give literary works enduring significance. In contemplating literary meaning, as with aesthetics, we should be mindful that epigenesis is not simply the instantiation of epigenetic rules. 5 Ideally, literary interpretation should be informed by the evolution of mind, behavior, and... (shrink)

We study the groups Gal L and Gal KP, and the associated equivalence relations EL and EKP, attached to a first order theory T. An example is given where EL≠ EKP. It is proved that EKP is the composition of EL and the closure of EL. Other examples are given showing this is best possible.

A Frege proof systemFis any standard system of prepositional calculus, e.g., a Hilbert style system based on finitely many axiom schemes and inference rules. An Extended Frege systemEFis obtained fromFas follows. AnEF-sequence is a sequence of formulas ψ1, …, ψκsuch that eachψiis either an axiom ofF, inferred from previous ψuand ψv by modus ponens or of the formq↔ φ, whereqis an atom occurring neither in φ nor in any of ψ1,…,ψi−1. Suchq↔ φ, is called an extension axiom andqa new extension (...) atom. AnEF-proof is anyEF-sequence whose last formula does not contain any extension atom. In [12], S. A. Cook and R. Reckhow proved that the pigeonhole principlePHPhas a simple polynomial sizeEF-proof and conjectured thatPHPdoes not admit polynomial sizeF-proof. In [5], S. R. Buss refuted this conjecture by furnishing polynomial sizeF-proof forPHP. Since then the important separation problem of polynomial sizeFand polynomial sizeEFhas not shown any progress.In [11], S. A. Cook introduced the systemPV, a free variable equational logic whose provable functional equalities are ‘polynomial time verifiable’ and showed that the metamathematics ofFandEFcan be developed inPVand the soundness ofEFproved inPV. In [3], S. R. Buss introduced the first order systemand showed thatis essentially a conservative extension ofPV. There he also introduced a second order system. (shrink)

Aberrations of self-experience are considered a core feature of borderline personality disorder (BPD). While prominent aetiological accounts of BPD, such as the mentalization-based approach, appeal to the developmental constitution of self in early infant–caregiver environments, they often rely on a conception of self that is not explicitly articulated. Moreover, self-experience in BPD is often theorized at the level of narrative identity, thus minimizing the role of embodied experience. In this article, we present the hypothesis that disordered self and interpersonal functioning (...) in BPD result, in part, from impairments in 'embodied mentalization' that manifest foundationally as alterations in minimal embodied selfhood, i.e. the first-person experience of being an individuated embodied subject. This account of BPD, which engages early intersubjective experiences, has symptomatic findings in BPD, and is consistent with contemporary theories of brain function. (shrink)

The geometric system of deduction called N-Graphs was introduced by de Oliveira in 2001. The proofs in this system are represented by means of digraphs and, while its derivations are mostly based on Gentzen's sequent calculus, the system gets its inspiration from geometrically based systems, such as the Kneales' tables of development, Statman's proofs-as-graphs, Buss' logical flow graphs, and Girard's proof-nets. Given that all these geometric systems appeal to the classical symmetry between premises and conclusions, providing an intuitionistic version of (...) any of these is an interesting exercise in extending the range of applicability of the geometric system in question. In this article we produce an intuitionistic version of N-Graphs, based on Maehara's LJ' system, as described by Takeuti. Recall that LJ' has multiple conclusions in all but the essential intuitionistic rules, e.g., implication right and negation right. We show soundness and completeness of our intuitionistic N-Graphs with respect to LJ'. We also discuss how we expect to extend this work to a version of N-Graphs corresponding to the intuitionistic logic system FIL (Full Intuitionistic Logic) of de Paiva and Pereira and sketch future developments. (shrink)