In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...) a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

According to a prominent view in Jewish-Halakhic literature, “mitzvot (commandments) require intention.” That is, to fulfill one’s obligation in performing a commandment, one must intend to perform the act because it’s a mitzvah; one must take the fact that one’s act is a mitzvah as her reason for doing the action. I argue that thus understood, this Halakhic view faces a revised version of Thomas Hurka’s recent dilemma for structurally similar views in ethics: either it makes it a necessary condition (...) for the act’s being a mitzvah that one has a false belief about the act’s Halakhic status, or it commits proponents of the “mitzvot require intention” view to a sort of rational failure in performing the mitzvot. The dilemma arises, however, only if we interpret this Halakhic view as requiring one to have a belief about her act’s Halakhic status in order for it to have this status. I suggest that the dilemma can be avoided by interpreting the intention requirement as requiring a make-belief, instead of a belief. Under this understanding, Halakha (or God) doesn’t care about why one performs an act of a mitzvah, but rather about how she does it; how she sees and experiences her action. This suggests another form of worship central to Judaism—worship via make-believing. (shrink)

Moral realism is often taken to have common sense and initial appearances on its side. Indeed, by some lights, common sense and initial appearances underlie all the central positive arguments for moral realism. We offer a kind of debunking argument, taking aim at realism’s common sense standing. Our argument differs from familiar debunking moves both in its empirical assumptions and in how it targets the realist position. We argue that if natural selection explains the objective phenomenology of moral deliberation and (...) judgement, then this undermines arguments from that phenomenology. This results in a simpler, and in some ways more direct, challenge to realism. It is also less vulnerable to the main objections that have been leveled against such arguments. If accepted, our conclusion should make a real difference to the dialectic in this area. It means that neither realism nor its denial is the default, to-be-refuted, position. (shrink)

Some philosophers think that knowledge or justification is both necessary and sufficient for rational action: they endorse knowledge-action or justification-action biconditionals. This paper offers a novel, metaphysical challenge to these biconditionals, which proceeds with a familiar question: What depends on what? If you know that p iff it is rational for you to act on p, do you know that p partly because it is rational for you to act on p, or is it rational for you to act on (...) p partly because you know that p? And a structurally similar question can be asked regarding justification-action biconditionals. I argue that proponents of these biconditionals cannot give a satisfactory answer to these questions. This is because each direction of these biconditionals strongly supports an opposite order of explanation to the one that is supported by the other direction. Given the traditional assumption that metaphysical explanations—even partial ones—are asymmetric, I argue that these biconditionals should be rejected. While knowledge might be necessary for rational action, and it might be sufficient, it cannot be both. And the same goes for justification. (shrink)

Sumário. Apresentação. PARTE I. 1. O legado filosófico de P. F. Strawson, Itamar Luís Gelain e Jaimir Conte; 2 . Strawson e o caso dos metafísicos descritivos, Itamar Luís Gelain; 3. Metafísica e linguagem comum: sobre uma conturbada herança wittgensteiniana de Strawson, Jônadas Techio; 4. Strawson e Descartes, Albertinho Luiz Gallina; 5. Strawson: sobre Kant e Berkeley, Robert Calabria; 6. O empirismo pós-kantiano de Strawson, Wenceslao J. González; 7. Reabilitando Strawson, Marco Antonio Franciotti; 8. Strawson e o ceticismo (...) em Individuals, Plínio Junqueira Smith; 9. Strawson e a causação visível, João Paulo Monteiro; 10. A verdade dos fatos, Susana Badiola; 11. Estabelecer limites: implicações epistemológicas da lógica, Roberta Corvi; 12. Referência e termos singulares, Carlos E. Caorsi; 13. Strawson: da experiência possível para a ação possível, Márlon Henrique Teixeira; 14. Atitudes reativas e responsabilidade moral, Cristina de Moraes Nunes; 15. Strawson e Hume: uma comparação a propósito de “Moralidade social e ideal individual”, Amán Rosales Rodríguez; PARTE II. 16. Liberdade e ressentimento, P. F. Strawson. Tradução: Jaimir Conte; 17. Moralidade social e ideal individual, P. F. Strawson, Tradução: Jaimir Conte. Seleção bibliográfica. (shrink)

Coletânea de textos: 1.Idealismo transcendental, naturalismo e um pouco de história, Adriano Naves de Brito; 2. Ceticismo e a reconstrução de P.F. Strawson da dedução kantiana das categorias, Pedro Stepanenko; 3. Dedução Transcendental e Ceticismo, Marco Antonio Franciotti; 4. Strawson e Kant sobre a dualidade entre intuições e conceitos, Roberto Horácio de Sá Pereira; 5. Princípio de significatividade em Kant e Strawson, Cristina de Moraes Nunes; 6. Strawson e Kant sobre a Liberdade, Albertinho Luiz Gallina e Cecília Rearte Terrosa; 7. (...) Argumentos Transcendentais e Metafísica Descritiva em P. F. Strawson, Itamar Luís Gelain; 8. Breve consideração sobre o problema da tese da aprioridade do espaço e do tempo, Juan Adolfo Bonaccini; 9. Os novos fundamentos da metafísica estabelecidos por Kant, Peter F. Strawson, Trad. Jaimir Conte; 10. Imaginação e percepção, Peter F. Strawson, Trad. Ítalo Lins Lemos. (shrink)

Esta coletânea sobre a filosofia de Strawson é composta de dezesseis textos, dentre os quais oito são inéditos. Inclui também a tradução de dois importantes ensaios de autoria do próprio Strawson – Liberdade e ressentimento e Moralidade social e ideal individual – duas de suas principais contribuições para a filosofia moral. A presente coletânea nasce do desejo de tornar disponível em língua portuguesa uma obra sobre o pensamento do autor. Embora o estudioso da filosofia de Strawson já encontre algumas de (...) suas obras traduzidas para o português, bem como algumas dissertações e teses, ou ainda artigos publicados em revistas especializadas, este volume constitui um empreendimento inédito no Brasil, uma vez que reúne, na forma de livro, uma série de ensaios que comentam e discutem a filosofia de Strawson. (shrink)

Esta coletânea é um tributo a Peter Frederick Strawson pelo centenário de seu nascimento (1919-2019). Diferentemente de outras coletâneas, esta propõe colocar em relevo a interlocução de Strawson com a tradição filosófica. Em outras palavras, por um lado, queremos evidenciar as discussões que Strawson travou com os seus contemporâneos (Austin, Quine, Russell e Wittgenstein), e, por outro, a influência que recebeu e as críticas que dirigiu àqueles que o precederam na história da filosofia (Aristóteles, Descartes, Hume, Kant). Poderíamos ter enriquecido (...) a lista acima com o nome de muitos outros filósofos com os quais Strawson teve contato, mas julgamos que o trabalho ficaria bastante extenso. Por esse motivo, optamos por aqueles nomes mais significativos que figuram na construção da história intelectual de Strawson. O presente volume reúne nove capítulos que levam como título o nome de Strawson e do filósofo com o qual ele dialogou ao longo de suas obras. Essa opção na nomeação dos capítulos por si só já permite colocar em evidência os principais filósofos pelos quais Strawson se interessou e com os quais se confrontou ao longo de seu trabalho filosófico. Com exceção do capítulo sobre Wittgenstein, que é uma versão revisada de um texto publicado anteriormente, todos os outros capítulos são inéditos e foram escritos especialmente para esta coletânea. O volume inclui na abertura a tradução de “Um fragmento de autobiografia intelectual”, de P. F. Strawson. Quando elegemos como título desta obra, Strawson e a tradição filosófica, não estamos insinuando que Strawson é um historiador da filosofia e muito menos que se interesse por historiografia. O título desta obra apenas quer indicar que Strawson, por um lado, transita na história da filosofia com alguma facilidade, além de nutrir um grande apreço por ela e, por outro, que ele discute com os principais nomes da história da filosofia no que concerne aos temas de seu interesse. A sua proposta filosófica é alimentada e irrigada por esse conhecimento, o que lhe dá a possibilidade de assumir na maioria das vezes posições ponderadas e equilibradas acerca de temas complexos por ele tratados. ​ ISBN: 978-85-5696-689-6. Nº de pág.: 244. (shrink)

Prefácio ao livro Peter F. Strawson: Metafísica e Ceticismo, de Itamar Luís Gelain.

This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules (...) from rejective introduction rules, and conversely. It corresponds to Francez's notion of vertical harmony. I also formulate a process I call 'conversion', which allows the determination of rejective introduction rules from assertive elimination rules and conversely, and the determination of assertive introduction rules from rejective elimination rules and conversely. It corresponds to Francez's notion of horizontal harmony. The account has a number of features that distinguish it from Francez's. (shrink)

An adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay outlines (...) a range of proof-theoretic analyses for characterizing generics. Particular attention is given to an expressivist proof-theory that can be traced to 1) work on logical syntax that Carnap undertook prior to his turn toward truth-conditional model theory in the late 1930s, and 2) research on sequent calculi and natural deduction systems that originate in work from Gentzen and Prawitz.11 This essay offers a more precise exposition of some of the material discussed in the first two chapters of my dissertation (Stovall Citation2015a). These ideas developed in the context of a working group on non-monotonic logic run by Robert Brandom, and they were subsequently clarified through the work of Nissim Francez (particularly Francez Citation2015). I am indebted to many people for feedback and criticism on this essay, though I am sure none among them would agree with everything I say and do here. I would particularly like to thank Brandom, Francez, Ulf Hlobil, Daniel Kaplan, Jared Millson, Bernhard Nickel, Jaroslav Peregrin, Jeffry Pelletier, Thomas Ricketts, Mark Risjord, Shawn Standefer, and two reviewers for this journal. Work on this essay was supported by the joint Lead-Agency research grant between the Austrian Science Foundation (FWF) and the Czech Science Foundation (GAČR), Inferentialism and Collective Intentionality, GF17-33808L. It was substantially revised prior to its final submission. (shrink)

După sfârşitul celei de a doua mari conflagraţii mondiale, Europa se afla în ruină şi dezastru economico-social. Ajutorul dat de Statele Unite ale Americii în reconstrucţia statelor europene a fost vital pentru supravieţuirea Occidentului european. În anul 1948, cinci state (Franţa, Marea Britanie, Belgia, Ţările de Jos şi Luxemburg) semnează Tratatul de Cooperare Culturală, Socială, Economică şi Apărare Colectivă, pe scurt Tratatul de la Bruxelles . După numirea generalului Dwight Eisenhower în funcţia de comandant suprem aliat în Europa, acest tratat (...) va deveni parte a documentelor NATO. Nevoia de apărare împotriva ameninţării sovietice se face şi mai vizibilă în propunerea ministrului de externe francez Réne Pléven. Planul Pléven, propus în anul 1952, viza constituirea unei Comunităţii Europene a Apărării, dar şi a unei Comunităţi Politice Europene. Planul nu a fost votat de către Adunare Franceză în anul 1954. Eşecul acestei comunităţi se datorează lipsei de viziune a liderilor europeni. O altă piedică în adoptarea acestui plan a fost teama statelor naţionale de posibila federalizare a Europei. (shrink)

Beall (2016) proposes to read the middle-value of Weak Kleene logic as off-topic. This interpretation has recently drawn some attention: for instance, Francez has pointed out that Beall's interpretation does not meet some important requirements to count as a truth value. Moreover, Beall is silent about what a topic (or a subject matter) is. But arguably, what is a topic? is a crucial question, and an answer is really important to fully understand his proposal. Thus, our goal here is (...) to help to remedy this deficiency, and show how Beall's interpretation of Weak Kleene truth-values interacts with the notion of topic. To do that, we formalize his motivating ideas and draw some consequences from them. (shrink)

This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretation of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.

Tradução para o português do ensaio "Freedom and Resentment”, de P. F. Strawson. Publicado originalmente em Proceedings of the British Academy, v. 48, 1960. Republicado em Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 2-28]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora da UFSC, 2015. ISBN: 9788532807250.

Tradução para o português do ensaio "Social Morality and Individual Ideal”. Publicado originalmente em Philosophy: The Journal of the Royal Institute of Philosophy, vol. XXXVI, n. 136, p. 1-17, Jan. 1961. Republicado em: STRAWSON, P. F. Freedom and Resentment and Other Essays. Londres: Methuen, 1974. [Routledge, 2008, p. 26-44]. ]. Publicado na coletânea: Ensaios sobre a filosofia de Strawson: com a tradução de Liberdade e ressentimento & Moralidade social e ideal individual. Organizadores: Jaimir Conte & Itamar Luís Gelain. Editora (...) da UFSC, 2015. ISBN: 9788532807250. (shrink)

Capítulo de livro publicado em "Uma introdução à filosofia do direito" Itamar Luís Gelain (Org.) .- Ijuí: Ed. Unijuí, 2015. - 368 p. - (Coleção direito, política e cidadania; 37). . ISBN 978-85-419-0 I 75-8.