In this article, we argue that John Henry Newman was right to think that our passional nature can play a legitimate epistemic role. First, we unpack the standard objection to Newman’s understanding of the relationship between our passional nature and the evidential basis of faith. Second, we argue that the standard objection to Newman operates with a narrow definition of evidence. After challenging this notion, we then offer a broader and more humane understanding of evidence. Third, we survey recent (...) scholarship arguing that emotions, a key aspect of our passional nature, are cognitive. In this light, they plausibly have a proper epistemic role. Fourth, we defend Newman’s reliance on the passional nature in epistemic matters by showing how reasonable it is in light of this recent work on evidence and the nature of emotions. Newman’s insistence that the formation of a right state of heart and mind is crucial for epistemic success is far from untenable. (shrink)

In recent years, Duncan Pritchard has developed a position in religious epistemology called quasi‐fideism that he claims traces back to John Henry Newman's treatment of the rationality of religious belief. In this paper, we give three reasons to think that Pritchard's reading of Newman as a quasi‐fideist is mistaken. First, Newman's parity argument does not claim that religious and non‐religious beliefs are on a par because both are groundless; instead, for Newman, they are on a par because both often (...) stem from implicit rather than explicit reasoning. Second, pace Pritchard, Newman's distinction between simple and complex assent does not map onto the Wittgensteinian distinction between groundless hinge commitments and beliefs that flow from these hinges. For Newman, simple and complex assent differ in terms of the believer's level of awareness of their grounds. Third, and finally, Newman does not reject Locke's evidentialism in toto. Instead, he argues that certitude is not restricted to beliefs stemming from intuition and demonstration but often rightly includes probabilistically supported (or fallibly evidenced) beliefs. (shrink)

I propose a reading of The Book of Ruth that takes seriously the pastoral concern for refugees, migrants, and their families that was embodied in the life and teaching of Pope John Paul II.The Book of Ruth models virtues and practices that can help build up a society in solidarity, kindness, and peace. Ruth’s decision to stand beside Naomi demonstrates the value of solidarity in creating a hopeful future for families and communities. Naomi’s role in bringing Ruth and Boaz (...) together shows prudence and a sense of responsibility for shaping the common good. As for Boaz, he is an exemplary model of generosity and kindness. With respect to peacemaking, The Book of Ruth shows how enmity and distrust between nations might be overcome, with God’s help. (shrink)

It is widely thought that knowledge is factive – only truths can be known. However, this view has been recently challenged. One challenge appeals to approximate truths. Wesley Buckwalter and John Turri argue that false-but-approximately-true propositions can be known. They provide experimental findings to show that their view enjoys intuitive support. In addition, they argue that we should reject the factive account of knowledge to avoid widespread skepticism. A second challenge, advanced by Nenad Popovic, appeals to multidimensional geometry to (...) build a case where it seems intuitive that a person knows p even though p is false. In addition, Popovic argues that we should reject the factive account of knowledge because most of us would not become widespread skeptics if we discovered that ordinary objects in our world are actually four-dimensional. In this paper, we defend the factive account of knowledge against these arguments by challenging the intuitive appeal of the cases and arguing that there is no real threat of widespread skepticism for the factive account of knowledge. (shrink)

The role of certitude in our mental lives is, to put it mildly, controversial. Many current epistemologists (including epistemologists of religion) eschew certitude altogether. Given his emphasis on certitude, some have maintained that John Henry Newman was an infallibilist about knowledge. In this paper, we argue that a careful examination of his thought (especially as seen in the Grammar of Assent) reveals that he was an epistemic fallibilist. We first clarify what we mean by fallibilism and infallibilism. Second, we (...) explain why some have read Newman as an infallibilist. Third, we offer two arguments that Newman is at least a fallibilist in a weak sense. In particular, the paradox he seeks to resolve in the Grammar and his dispute with John Locke both indicate that he is at least a weak fallibilist. We close with a consideration of whether Newman is a fallibilist in a much stronger sense as well. (shrink)

Scientific management introduced a novel way of organizing work and measuring productivity into the modern workplace. With a stopwatch and a clever method of analysis, Frederick Winslow Taylor is either acclaimed or reviled, depending on the audience, for giving industrial/organizational consultancy a groundbreaking tool: the efficiency study. What is less well known is that the American pragmatist John Dewey criticized scientific management for its dualistic assumptions, for treating workers as pure doers or “muscle” and management as pure thinkers (...) or “brains” in an efficient, though inhumane, work process. The first section of this paper examines the similarities and differences between Dewey’s and Taylor’s respective conceptions of science and management. In the second section, I consider Dewey’s critique of scientific management in his book Democracy and Education. The paper concludes with some thoughts about the implications of Dewey’s critique of Taylorism for organizational theory and industrial relations today. (shrink)

John Maynard Keynes’s A Treatise on Probability is the seminal text for the logical interpretation of probability. According to his analysis, probabilities are evidential relations between a hypothesis and some evidence, just like the relations of deductive logic. While some philosophers had suggested similar ideas prior to Keynes, it was not until his Treatise that the logical interpretation of probability was advocated in a clear, systematic and rigorous way. I trace Keynes’s influence in the philosophy of probability through a (...) heterogeneous sample of thinkers who adopted his interpretation. This sample consists of Frederick C. Benenson, Roy Harrod, Donald C. Williams, Henry E. Kyburg and David Stove. The ideas of Keynes prove to be adaptable to their diverse theories of probability. My discussion indicates both the robustness of Keynes’s probability theory and the importance of its influence on the philosophers whom I describe. I also discuss the Problem of the Priors. I argue that none of those I discuss have obviously improved on Keynes’s theory with respect to this issue. (shrink)

Introduction to the special issue in Pragmatics & Cognition focused on creativity, cognition, and material culture. With contributions from Maurice Bloch, Chris Gosden, Tim Ingold, John Kirsh, Carl Knappett & Sander van der Leeuw, Lambros Malafouris, Frédéric Vallée-Tourangeau, Kevin Warwick, and Tom Wynn and Frederick L. Coolidge.

HISTÓRIA DA SOCIOLOGIA: O DESENVOLVIMENTO DA SOCIOLOGIA I -/- A SOCIOLOGIA NOS ESTADOS UNIDOS -/- -/- HISTORY OF SOCIOLOGY: THE DEVELOPMENT OF SOCIOLOGY I -/- SOCIOLOGY IN UNITED STATES -/- -/- Emanuel Isaque Cordeiro da Silva – IFPE-BJ, CAP-UFPE e UFRPE. E-mails: [email protected] e [email protected] WhatsApp: (82)9.8143-8399. -/- -/- PREMISSA -/- A Sociologia nos Estados Unidos desenvolveu-se no contexto de dois grandes eventos que marcaram profundamente a história do país. -/- O primeiro foi a Guerra de Secessão (também conhecida como (...) Guerra Civil Americana), que ocorreu entre 1861 e 1865 e gerou ressentimentos e atritos entre a população do sul e a do norte dos Estados Unidos. -/- Em contrapartida, houve a urbanização das terras do oeste e das áreas centrais do país, o que contribuiu para o crescimento da economia e a expansão industrial. No norte, graças ao esforço de guerra, houve um grande crescimento, principalmente na metalurgia, no transporte ferroviário, na indústria de armamentos e na indústria naval. O comércio também se expandiu de maneira exponencial em todo o território estadunidense. -/- O padrão de cultura dos Estados Unidos passou a ser o ideal nortista de “trabalho duro, educação e liberdade econômica a todos”. Houve ainda um grande desenvolvimento de escolas e instituições de ensino superior. -/- O segundo grande evento que marcou a história estadunidense foi a chegada em massa de estrangeiros. Entre 1860 e 1900, os Estados Unidos passaram de país agrícola, com população em torno de 4 milhões, para país industrial, com uma das maiores economias do mundo e com 75 milhões de habitantes. -/- O incremento populacional e a industrialização redundaram em um processo de urbanização sem precedentes que continuou até a década de 1930. Para se ter uma ideia, em 1860 viviam em Chicago 102 260 pessoas; em 1900, a população da cidade passou a 1 698 575 e, em 1930, a 3 375 329. Em virtude desses fatores, consolidaram-se nos Estados Unidos uma burguesia industrial, comercial e financeira significativa, uma classe trabalhadora majoritariamente formada por imigrantes e uma classe média em ascensão. -/- As principais cidades passaram a ser um espaço de conflito e alvo de preocupações. Temas como imigração, aculturação, conflitos étnicos, comportamentos desviantes e políticas públicas foram importantes na Sociologia desenvolvida inicialmente no país. -/- Entre os principais fundadores da Sociologia nos Estados Unidos estão William Graham Sumner (1840 -1910), Lester Frank Ward (1841-1913), Albion Woodbury Small (1854-1926), Franklin Henry Giddings (1855-1931), Thorstein Bunde Veblen (1857-1929), William Isaac Thomas (1863-1947), Robert Ezra Park (1864-1944), Charles Horton Cooley (1864-1929) e George Herbert Mead (1863-1931). -/- A herança cultural desses fundadores é muito diversa: foram influenciados principalmente pela tradição religiosa protestante disseminada em quase todo o território, pelo liberalismo econômico clássico conservador, do tipo laissez-faire, pelo evolucionismo do inglês Charles Darwin (1809-1882) e pelo darwinismo social de Herbert Spencer (1820-1903). Acrescente-se a esse cadinho de concepções de mundo e ciência o pragmatismo do filósofo e psicólogo William James (1842-1910) e do filósofo Charles Pierce (1839-1914). -/- Essa herança permite compreender as duas grandes características da Sociologia nos Estados Unidos: -/- • multiplicidade de temas, problemas e propostas e diversidade teórica e metodológica; -/- • desenvolvimento desse campo do conhecimento em universidades, nas quais as atividades eram financiadas pelo Estado e pelo setor privado (Fundação Rockefeller, comitês e associações normalmente religiosas). -/- Por causa dessa segunda característica, optei por analisar o desenvolvimento da Sociologia nos Estados Unidos em três importantes universidades estadunidenses: a de Chicago, Harvard e Columbia. -/- 1. A Universidade de Chicago -/- A Universidade de Chicago foi fundada em 1890 pelo magnata do petróleo John D. Rockefeller e recebeu os primeiros alunos em 1892. Nela foi criado o primeiro departamento de Sociologia dos Estados Unidos, sob a direção de Albion Woodbury Small. -/- No início de seus trabalhos sociológicos, a Universidade de Chicago deu primazia à pesquisa empírica, procurando conhecer, por meio da observação direta, a dinâmica das relações sociais. Desenvolveu uma forte tendência pragmática e microssociológica, que viria a ser conhecida como a Escola de Chicago. A maior preocupação dos integrantes dessa Escola foi com os problemas das grandes cidades dos Estados Unidos, como a marginalidade social, o alcoolismo, as drogas, a segregação racial e a delinquência, estabelecendo uma relação entre a pesquisa sociológica e a intervenção dos organismos públicos na sociedade. -/- Os sociólogos de Chicago também se dedicaram ao que chamaram de ecologia humana, em oposição à ecologia animal e vegetal. -/- Em 1895, Albion Woodbury Small fundou o American Journal of Sociology e, em 1907, participou ativamente da fundação da Sociedade Americana de Sociologia. Ele publicou, com Georges Vincent, em 1894, talvez o primeiro manual de Sociologia para estudantes, intitulado Introdução ao estudo da sociedade. Tendo estudado na Alemanha, Small foi o principal divulgador do pensamento de Georg Simmel nos Estados Unidos. -/- Entre os integrantes da Escola de Chicago mais conhecidos no Brasil, podemos citar William I. Thomas (1863-1947) e Florian Znaniecki (1882-1958), cuja principal obra foi O camponês polonês na Europa e na América, editada em 1918. -/- Destacam-se ainda Robert E. Park (1864-1944) e Ernest W. Burgess (1886-1966), que escreveram, entre outras obras, Introdução à ciência da Sociologia, em 1921. -/- Os dois, com Roderick Mackenzie, escreveram o clássico A cidade, em 1925. Outro membro de destaque foi Louis Wirth (1897-1952), autor de O gueto, escrito em 1928, e de um artigo que se tornou famoso, “Urbanismo como modo de vida”, publicado em 1938, no American Journal of Sociology. -/- A Escola de Chicago congregou, ainda, sociólogos e antropólogos com ligação com a Psicologia Social, que desenvolveram uma abordagem sociológica das relações sociais conhecida como interacionismo simbólico. A principal figura dessa vertente foi George Herbert Mead (1863-1932), que trabalhou em diversas áreas, sobretudo como psicólogo social e como professor de várias gerações de antropólogos e sociólogos. Seus escritos foram sistematizados por seus alunos e publicados com o nome Mind, self and society (A mente, o eu e a sociedade), em 1934. -/- Além da tradição intelectual dos Estados Unidos, os integrantes da Escola de Chicago receberam a influência de Jean-Gabriel de Tarde, Émile Durkheim e Georg Simmel. Seus continuadores foram Herbert Blumer (1900-1987) e Everett C. Hughes (1897-1983). -/- 1.1 Erving Goffman (1922-1982) -/- O representante da Sociologia desenvolvida na Universidade de Chicago mais influente no Brasil é Erving Goffman, que nasceu em Manville, Alberta, no Canadá, em 1922, e faleceu nos Estados Unidos em 1982. Obteve o grau de bacharel pela Universidade de Toronto, em 1945, e concluiu mestrado (1949) e doutorado (1953) na Universidade de Chicago, onde estudou Sociologia e Antropologia Social. Em 1958, tornou-se professor da Universidade da Califórnia e, em 1968, ingressou na Universidade da Pensilvânia, onde foi professor de Antropologia e Sociologia. -/- Entre 1981 e 1982, Goffman foi presidente da Sociedade Americana de Sociologia e realizou pesquisas na linha da Sociologia interpretativa e cultural, iniciada por Max Weber, desenvolvendo a ideia de que o mundo é um teatro e cada um, individualmente ou em grupo, interpreta papéis de acordo com as circunstâncias em que se encontra. Essas circunstâncias são marcadas por rituais e posições distintivas em relação a outros indivíduos ou grupos. Para ele, é possível distinguir indivíduos, grupos e classes com base, por exemplo, em aspectos como as formas de vestir ou de se apresentar publicamente. -/- O sociólogo considera a interação social como um processo fundamental de identificação e de diferenciação dos indivíduos e grupos, analisando-a no cotidiano, especialmente em lugares públicos. Goffman estudou com especial atenção o que chamou de “instituições totais”, lugares onde o indivíduo é isolado da sociedade, como prisões e manicômios. -/- De acordo com o sociólogo brasileiro Édison Gastaldo: -/- O trabalho de Goffman trouxe à luz aspectos da vida cotidiana que não se julgavam “sociologicamente relevantes”. Seus insights sobre as interações ordinárias, sobre o deslocamento dos pedestres, sobre a ocupação social dos espaços públicos, sobre a atuação dos vigaristas, mendigos, loucos, espiões, jogadores e de todos aqueles que passam cotidianamente debaixo de nossos narizes sem que prestemos atenção modificaram o pensar sociológico no mundo. Sua descrição etnográfica de um hospital para doentes mentais colaborou decisivamente para deflagrar a luta antimanicomial no mundo inteiro. Vinte e dois anos depois de sua morte, os temas e os conceitos desenvolvidos por Goffman ainda estão em pleno uso e vitalidade (GASTALDO, 2004, p. 9/10). -/- Suas três obras mais conhecidas são: A representação do eu na vida cotidiana (1959), Manicômios, prisões e conventos (1961) e Estigma: notas sobre a manipulação da identidade (1963). -/- 2. A Universidade Harvard -/- A história de Harvard começa em 1636, quando foi fundada, na cidade de Cambridge, no estado de Massachusetts, uma instituição de ensino denominada New College. Em 1639, essa instituição recebeu o nome de Harvard College, em homenagem a John Harvard, seu principal mecenas. -/- A Sociologia desenvolvida na Universidade Harvard é marcada por uma preocupação teórica e tem dois sociólogos como expoentes: Pitirim Alexandrovich Sorokin (1889-1968) e Talcott Edgar Frederick Parsons (1902-1979). Este último influenciou muito o desenvolvimento da Sociologia no mundo e no Brasil. -/- 2.1 Talcott Parsons (1902-1979) -/- Talcott Parsons nasceu no Colorado, nos Estados Unidos. Em 1924, graduou-se em Biologia e Filosofia na Faculdade Amherst. Em 1925, pós-graduou-se em Ciências Sociais na Escola de Economia de Londres, na Inglaterra, e, em seguida, doutorou-se na Universidade de Heidelberg, na Alemanha. -/- Nos Estados Unidos, lecionou Economia e Sociologia na Universidade Harvard durante 45 anos (1927-1973). Em 1944, tornou-se presidente do Departamento de Sociologia, transformando-o, dois anos depois, no Departamento de Relações Sociais, a fim de unir a Sociologia a outras ciências sociais. -/- Assim como Sorokin, Parsons voltou-se para a Sociologia europeia, tendo por base as ideias de Max Weber, Vilfredo Pareto (1848-1923) e Émile Durkheim, além das do economista inglês Alfred Marshall (1842-1924). Fundamentado nesses autores, desenvolveu uma grande obra teórica, que dominaria a Sociologia estadunidense desde então. -/- Parsons é o sociólogo estadunidense mais conhecido no mundo. Em geral, seus críticos entenderam-no como um pensador conservador, preocupado basicamente com o bom ordenamento da sociedade. Seu interesse era determinar a função que os indivíduos desempenhavam na estrutura social. Entendia o indivíduo como expressão dessa estrutura, a qual devia ser mantida e preservada. Caso isso não ocorresse, deviam entrar em ação os mecanismos de controle social (moral, ética, sistema jurídico e penal etc.), como instrumentos preventivos ou corretivos. -/- Seu trabalho exerceu influência em diversos países e ambientes acadêmicos (particularmente nas décadas de 1950 a 1970), até mesmo na então União Soviética, onde, em 1964, ministrou aulas sobre a Sociologia estadunidense a convite da Academia de Ciências da União Soviética (URSS). -/- Suas principais obras foram: A estrutura da ação social (1937), O sistema social (1951), Economia e sociedade (1956, com N. Smelser), Estrutura e processo nas sociedades modernas (1960), Sociedades: perspectivas evolucionárias e comparativas (1966), Teoria sociológica e sociedade moderna (1968), Política e estrutura social (1969), Sistemas sociais e a evolução da teoria da ação (1977) e Teoria da ação e a condição humana (1978). -/- 3. A Universidade Columbia -/- A King’s College foi fundada em 1754, em Nova York, nos Estados Unidos. Quando as colônias inglesas se declararam independentes da Grã-Bretanha, a instituição passou a se chamar Universidade Columbia. A partir da última década do século XIX, essa universidade se destacaria por uma importante produção no campo da Sociologia, tendo como pioneiro Franklin Giddings (1855-1931), fundador da cadeira de Sociologia. Fortemente marcado pelo evolucionismo e pelo pragmatismo, foi um dos primeiros a usar métodos quantitativos e experi-mentais no estudo dos fenômenos sociais. -/- Dois sociólogos de Columbia merecem destaque, por serem muito conhecidos no Brasil: Robert K. Merton e Charles Wright Mills. -/- 3.1 Robert King Merton (1910-2003) -/- Merton nasceu na Filadélfia e faleceu em Nova York. Graduou-se em Sociologia na Universidade Temple e pós-graduou-se na Universidade Harvard, onde trabalhou com Pitirim Sorokin e Talcott Parsons até a defesa de seu doutorado, em 1936. -/- Em 1941 Merton transferiu-se para a Universidade Columbia, onde permaneceu durante 38 anos, até aposentar-se. Nessa universidade procurou integrar teoria à prática sociológica. Estudou o comportamento desviante e os processos de adaptação social, tendo por base pesquisas qualitativas e quantitativas do exercício profissional em ambiente de solidariedade e de conflito. Com Paul Lazarsfeld (1901-1976), desenvolveu o Departamento de Pesquisa Social Aplicada. -/- O nome de Merton está vinculado à proposta de criação de teorias de alcance médio, segundo a qual os sociólogos seriam mais úteis à sociedade se deixassem de lado as grandes teorias (criticando Parsons) e criassem outras de médio alcance. Essas teorias estariam situadas entre as hipóteses de trabalho rotineiras na pesquisa e as amplas especulações. Mediariam, dessa forma, as abstrações, generalizações e fundamentos empíricos da pesquisa. -/- Merton tinha uma visão humanista da função social da ciência, demonstrando influência clara de Max Weber. Concebia a ciência como um conjunto de conhecimentos compartilhados por todos os membros da sociedade, que deveriam julgar a credibilidade das postulações científicas de acordo com suas expectativas e valores morais. Mas as decisões acerca do fazer científico não caberiam à sociedade, e sim ao próprio cientista, sempre adequando seus valores aos da sociedade. -/- 3.2 Charles Wright Mills (1916-1962) -/- Charles Wright Mills (1916-1962) nasceu em Waco, no Texas, Estados Unidos. Mestre em Artes, Filosofia e Sociologia pela Universidade do Texas, concluiu, em 1942, seu doutorado em Sociologia e Antropologia pela Universidade de Wisconsin. Foi professor de Sociologia nas universidades de Maryland e Columbia, onde passou a lecionar em 1947 e permaneceu até a morte, em 1962. -/- Charles Mills representa uma tendência quase marginal na Sociologia dos Estados Unidos, por apresentar uma visão crítica e militante da sociedade estadunidense e da própria Sociologia. -/- Influenciado por Karl Marx e Max Weber, Mills procurou conciliar o conceito de classe social com o de status, visando esclarecer processos e mecanismos dos conflitos e das mudanças sociais. Por meio de pesquisas, tentou elucidar a complexidade de estruturas de poder, particularmente das elites (em lugar de classes dominantes), e de seu papel na mudança social, fugindo da ideia de revolução como única via para a transformação social. -/- Charles Wright Mills é conhecido principalmente por seu livro A imaginação sociológica, publicado originalmente nos Estados Unidos em 1959. Nele, o autor propõe que os sociólogos, ao exercer a profissão, não deixem a imaginação e a criatividade de lado em favor de uma pretensa objetividade e neutralidade do trabalho científico. Para Mills, os grandes intelectuais da história nunca abriram mão da reflexão e da criatividade e mantiveram uma postura crítica diante da realidade. -/- Atribuindo aos sociólogos a responsabilidade de agentes ativos na sociedade, cabendo-lhes tomar parte nos debates públicos de sua época, Mills defendia a ideia de que a Sociologia deveria ser compreensível para o grande público. Para ele, a ciência social era inseparável da vida pessoal do cientista: a intuição, a imaginação e o comprometimento com o tempo em que se vivia eram fundamentais para compreender cientificamente a sociedade. Suas obras foram publicadas em vários idiomas. Além da citada anteriormente, as mais importantes são: A nova classe média (1951), A elite do poder (1956), Sobre o artesanato intelectual (1959) e Os marxistas (1962). -/- Mills escreveu também artigos em revistas e dois livros que tiveram grande exposição na mídia dos Estados Unidos, por seu caráter polêmico: As causas da Terceira Guerra Mundial (1958), no qual discute a corrida nuclear, e A Revolução em Cuba (1960), em que analisa a fase inicial da Revolução Cubana. -/- Outros sociólogos que defendem uma postura crítica na Sociologia estadunidense, continuadores ou não de Charles Wright Mills, são Irving Louis Horowitz (1929-2012), Martin Nicolaus (1928-) e Alvin Gouldner (1920-1980). -/- REFERENCIAL TEÓRICO -/- BOTTOMORE, T.; et al. Dicionário do pensamento social do século XX. Trad. Eduardo Francisco Alves. Álvaro Cabral. Rio de Janeiro: Zahar, 1996. -/- COULON, A. A Escola de Chicago. Trad. Tomás R. Bueno. 1ª ed. Campinas: Papirus, 1995. -/- CUIN, C. H.; GRESLE, F. História da Sociologia. Trad. Roberto Leal Ferreira. São Paulo: Ensaio, 1994. -/- DOMINGUES, J. M. A sociologia de Talcott Parsons. 1ª ed. São Paulo: Annablume, 2008. -/- GASTALDO, É. (org.); et al. Erving Goffman, desbravador do cotidiano. 1ª ed. Porto Alegre: Tomo Editorial, 2004. -/- NOVA, S. V. Introdução à Sociologia. 6ª ed. São Paulo: Atlas, 2004. -/- SILVA, A. et al. Sociologia em movimento. 2ª ed. São Paulo: Ática, 2016. -/- VALLADARES, L. do P. A Escola de Chicago: impacto de uma tradição no Brasil e na França. 1ª ed. Belo Horizonte: UFMG, 2005. -/- VÁRIOS, autores. O livro da sociologia. As grandes ideias de todos os tempos. Trad. Rafael Longo. 1ª ed. São Paulo: Globo, 2015. -/- SBS - Sociedade Brasileira de Sociologia PUCRS - PPG em Ciências Sociais Avenida Ipiranga, 6681 - Partenon CEP: 90619-900 - Porto Alegre, RS [email protected] Emanuel Isaque Cordeiro da Silva ©2019 -/- Estimule a criatividade. Respeite os direitos autorais. (shrink)

The paper begins by reviewing two problems for fallibilism: the lottery problem, or the problem of explaining why fallible evidence, though otherwise excellent, is not enough to know that one will lose the lottery, and Gettier problems. It is then argued that both problems can be resolved if we note an important illocutionary force of knowledge attributions: namely, that when we attribute knowledge to someone we mean to give the person credit for getting things right. Alternatively, to say that a (...) person knows is to say that she got things right due to her own abilities, efforts and actions, rather than due to dumb luck, or blind chance, or something else. (shrink)

The account of natural kinds as stable property clusters is premised on the possibility of separating the epistemic value of natural kinds from their underlying metaphysics. On that account, the co-instantiation of any sub-cluster of the properties associated with a given natural kind raises the probability of the co-instantiation of the rest, and this clustering of property instantiation is invariant under all relevant counterfactual perturbations. We argue that it is not possible to evaluate the stability of a cluster of properties (...) without taking stock of the metaphysical picture used to account for that stability. Thus, even on the stable property cluster account, the epistemic value of natural kinds remains partly grounded in their metaphysical status. (shrink)

How should a group with different opinions (but the same values) make decisions? In a Bayesian setting, the natural question is how to aggregate credences: how to use a single credence function to naturally represent a collection of different credence functions. An extension of the standard Dutch-book arguments that apply to individual decision-makers recommends that group credences should be updated by conditionalization. This imposes a constraint on what aggregation rules can be like. Taking conditionalization as a basic constraint, we gather (...) lessons from the established work on credence aggregation, and extend this work with two new impossibility results. We then explore contrasting features of two kinds of rules that satisfy the constraints we articulate: one kind uses fixed prior credences, and the other uses geometric averaging, as opposed to arithmetic averaging. We also prove a new characterisation result for geometric averaging. Finally we consider applications to neighboring philosophical issues, including the epistemology of disagreement. (shrink)

Many policies and ethical guidelines recommend developing “trustworthy AI”. We argue that developing morally trustworthy AI is not only unethical, as it promotes trust in an entity that cannot be trustworthy, but it is also unnecessary for optimal calibration. Instead, we show that reliability, exclusive of moral trust, entails the appropriate normative constraints that enable optimal calibration and mitigate the vulnerability that arises in high-stakes hybrid decision-making environments, without also demanding, as moral trust would, the anthropomorphization of AI and thus (...) epistemically dubious behavior. The normative demands of reliability for inter-agential action are argued to be met by an analogue to procedural metacognitive competence (i.e., the ability to evaluate the quality of one’s own informational states to regulate subsequent action). Drawing on recent empirical findings that suggest providing reliability scores (e.g., F1-scores) to human decision-makers improves calibration in the AI system, we argue that reliability scores provide a good index of competence and enable humans to determine how much they wish to rely on the system. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time (...) machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...) is further shown that each member of one class is synonymous with each member of the other class; thus that all of the theories are definitionally equivalent with each other and with Peano arithmetic. Categoricity of Peano arithmetic then implies categoricity of each of the above theories. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

The social welfare functional approach to social choice theory fails to distinguish a genuine change in individual well-beings from a merely representational change due to the use of different measurement scales. A generalization of the concept of a social welfare functional is introduced that explicitly takes account of the scales that are used to measure well-beings so as to distinguish between these two kinds of changes. This generalization of the standard theoretical framework results in a more satisfactory formulation of welfarism, (...) the doctrine that social alternatives are evaluated and socially ranked solely in terms of the well-beings of the relevant individuals. This scale-dependent form of welfarism is axiomatized using this framework. The implications of this approach for characterizing classes of social welfare orderings are also considered. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...) by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...) by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

Stephen Law developed a challenge to theism, known as the evil-god challenge (Law (2010) ). The evil-god challenge to theism is to explain why the theist’s responses to the problem of evil are any better than the diabolist’s – who believes in a supremely evil god – rejoinders to the problem of good, when all the theist’s ploys (theodicy, sceptical theism, etc.) can be parodied by the diabolist. In the first part of this article, I extend the evil-god challenge by (...) showing that additional theist replies to the problem of evil (more theodicies, the privation view of evil, and others) also may be appropriated, with just as much plausibility, in support of the diabolist position. In the second part of the article, I defend the evil-god challenge against several objections. (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)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...) the premises. The complementarity and interrelation of premise-conclusion arguments and premise-conclusion-mediation arguments resonate throughout the rest of the paper which articulates the conceptual structure found in logic from Aristotle to Tarski. This 1972 paper can be seen as anticipating Corcoran’s signature work: the more widely read 1989 paper, Argumentations and Logic, Argumentation 3, 17–43. MR91b:03006. The 1972 paper was translated into Portuguese. The 1989 paper was translated into Spanish, Portuguese, and Persian. (shrink)

It is proposed that our memory is made up of individual, unconnected Records, to each of which is attached a Heading. Retrieval of a Record can only be accomplished by addressing the attached Heading, the contents of which cannot itself be retrieved. Each Heading is made up of a mixture of content in more or less literal form and context, the latter including specification of environment and of internal states (e.g. drug states and mood). This view of memory allows an (...) easy account of a number of natural memory phenomena as well as a variety of laboratory findings such as the differences between recall and recognition. The theory further proposes that Headed Records can neither be deleted nor modified. Data apparently against such a hypothesis can be accounted for in terms of the retrieval process. (shrink)

It is sometimes asked whether virtue ethics can be assimilated by Kantianism or utilitarianism, or if it is a distinct position. A look atAristotle’s ethics shows that it certanly can be distinct. In particular, Aristotle presents us with an ethics of aesthetics in contrast to themore standard ethics of cognition: A virtuous agent identifies the right actions by their aesthetic qualities. Moreover, the agent’s concernwith her own aesthetic character gives us a key to the important role the emotions play for (...) Aristotle, which further distinguishes him from the other two theories we have mentioned. (shrink)

Embodied human minds operate in and spread across a vast and uneven world of things—artifacts, technologies, and institutions which they have collectively constructed and maintained through cultural and individual history. This chapter seeks to add a historical dimension to the enthusiastically future-oriented study of “natural-born cyborgs” in the philosophy of cognitive science,3 and a cognitive dimension to recent work on material memories and symbol systems in early modern England, bringing humoral psychophysiology together with material culture studies. The aim is to (...) sketch an integrative framework which spans early modern ideas and practices relating to brains, bodies, memory, and objects. Embodiment and environment, I’ll argue, were not (always) merely external influences on feeling, thinking, and remembering, but (in certain circumstances) partly constitutive of these activities. (shrink)

This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...) consequence. Adequacy criteria for systems of the first two types include: effectiveness, soundness, completeness, Post completeness, "strong soundness" and strong completeness. Consideration of a logical system as a theory of deduction leads us to attempt to formulate two adequacy criteria for systems of proofs. The first deals with the concept of rigor or "gaplessness" in proofs. The second is a completeness condition for a system of proofs. An historical note at the end of the paper suggests a remarkable parallel between the above hierarchy of systems and the actual historical development of this area of logic. (shrink)

We show that someone who believes in both gunk and the possibility of supertasks has to give up either a plausible principle about where gunk can be located, or plausible conservation principles.

A philosopher once wrote the following words:If I examine the PTOLOMAIC and COPERNICAN systems, I endeavour only, by my enquiries, to know the real situation of the planets; that is, in other words, I endeavour to give them, in my conception, the same relations, that they bear towards each other in the heavens. To this operation of the mind, therefore, there seems to be always a real, though often an unknown standard, in the nature of things; nor is truth or (...) falsehood variable by the various apprehensions of mankind. Though all human race should for ever conclude, that the sun moves, and the earth remains at rest, the sun stirs not an inch from his place for all these reasonings; and such conclusions are eternally false and erroneous. (shrink)

The idea that education should equip people to lead flourishing lives and help others to do so is now becoming salient in policy-making circles. Philosophy of education can help here by clarifying what flourishing consists in. This essay examines one aspect of this. It rejects the view that well-being goods are derivable from human nature, as in the theories of Howard Gardner and Edmond Holmes. It locates them, rather, as cultural products, but not culturally-relative ones, drawing attention to the proliferating (...) forms they have taken over the past three or four centuries. It looks to aesthetics and art criticism as a guide to a philosophical treatment of well-being goods more generally. It also takes off from aesthetics and art criticism in seeking to identify reliable authorities on the flourishing life. On this, it rejects elitist conceptions in favour of a more democratic model, emphasising its importance in education for citizenship. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...) of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)

Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08. -/- Constance Reid was an insider of the Berkeley-Stanford logic circle. Her San Francisco home was in Ashbury Heights near the homes of logicians such as Dana Scott and John Corcoran. Her sister Julia Robinson was one of the top mathematical logicians of her generation, as was Julia’s husband Raphael Robinson for whom Robinson Arithmetic was named. Julia was a Tarski PhD and, in recognition (...) of a distinguished career, was elected President of the American Mathematics Society. https://en.wikipedia.org/wiki/Julia_Robinson http://www.awm-math.org/noetherbrochure/Robinson82.html. (shrink)

Richard Peters argued for a general education based largely on the study of truth-seeking subjects for its own sake. His arguments have long been acknowledged as problematic. There are also difficulties with Paul Hirst's arguments for a liberal education, which in part overlap with Peters'. Where justification fails, can historical explanation illuminate? Peters was influenced by the prevailing idea that a secondary education should be based on traditional, largely knowledge-orientated subjects, pursued for intrinsic as well as practical ends. Does history (...) reveal good reasons for this view? The view itself has roots going back to the 16th century and the educational tradition of radical Protestantism. Religious arguments to do with restoring the image of an omniscient God in man made good sense, within their own terms, of an encyclopaedic approach to education. As these faded in prominence after 1800, old curricular patterns persisted in the drive for ‘middle-class schools’, and new, less plausible justifications grew in salience. These were based first on faculty psychology and later on the psychology of individual differences. The essay relates the views of Peters and Hirst to these historical arguments, asking how far their writings show traces of the religious argument mentioned, and how their views on education and the development of mind relate to the psychological arguments. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

The development of ecological thinking in North America has been conditioned by the imperative aiming at a valuation of the biotic community. Since the end of WWII, the US population was warned against the dangerous and violent alterations of nature. Many then found in theology an unforeseen ally. I review the roots of the tension which led to debates involving radical ecologism or its denial, and I aim at analyzing it philosophically.

This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.

We are much better equipped to let the facts reveal themselves to us instead of blinding ourselves to them or stubbornly trying to force them into preconceived molds. We no longer embarrass ourselves in front of our students, for example, by insisting that “Some Xs are Y” means the same as “Some X is Y”, and lamely adding “for purposes of logic” whenever there is pushback. Logic teaching in this century can exploit the new spirit of objectivity, humility, clarity, observationalism, (...) contextualism, and pluralism. Besides the new spirit there have been quiet developments in logic and its history and philosophy that could radically improve logic teaching. This lecture expands points which apply equally well in first, second, and third courses, i.e. in “critical thinking”, “deductive logic”, and “symbolic logic”. (shrink)

This presentation includes a complete bibliography of John Corcoran’s publications relevant on Aristotle’s logic. The Sections I, II, III, and IV list respectively 23 articles, 44 abstracts, 3 books, and 11 reviews. Section I starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article—from Corcoran’s Philadelphia period that antedates his discovery of Aristotle’s natural deduction system—and the Journal of Symbolic Logic article—from his Buffalo period first reporting his original results. It ends with works published in (...) 2015. Some items are annotated as listed or with endnotes connecting them with other work and pointing out passages that, in retrospect, are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 10 items published in the 1970s, 24 in the 1980s, 42 in the 1990s, 60 in the 2000s, and 70 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally in some cases, even of the Łukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably George Boger, Charles Kahn, John Mulhern, Mary Mulhern, Anthony Preus, Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. (shrink)

RÉSUMÉ : Dans son récent recueil d’articles Language, Truth and History, Donald Davidson semble pencher en faveur d’une philosophie du langage mettant l’accent sur la notion de l’intention communicative du sujet parlant; en quoi il se rapproche du point de vue de Paul Grice. Si cela est juste, la pensée de Davidson se serait dégagée de l’approche sémantique formelle qu’il soutenait dans ses Inquiries into Truth and Interpretation. Dans cet article, je soutiens que, bien qu’il y ait beaucoup de similitudes (...) entre ces deux penseurs, Davidson n’a pas abandonné ses précédentes vues sur le langage. (shrink)