We revisit the foundations of positive model theory, introducing h-inductive sentences. These allow a considerably simplified presentation of positive model theory, as well as a characterisation of Hausdorff cats by an amalgamation property of their h-inductive theory.

General-elimination harmony articulates Gentzen’s idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the E-rules allow one to infer no more and no less than the I-rules justify. Pfenning and Davies call the rules locally complete if the E-rules are strong enough to allow one to infer the original judgement. A method is given (...) of generating harmonious general-elimination rules from a collection of I-rules. We show that the general-elimination rules satisfy Pfenning and Davies’ test for local completeness, but question whether that is enough to show that they are stable. Alternative conditions for stability are considered, including equivalence between the introduction- and elimination-meanings of a connective, and recovery of the grounds for assertion, finally generalizing the notion of local completeness to capture Dummett’s notion of stability satisfactorily. We show that the general-elimination rules meet the last of these conditions, and so are indeed not only harmonious but also stable. (shrink)

Philosophers debate about which logical system, if any, is the One True Logic. This involves a disagreement concerning the sufficient conditions that may single out the correct logic among various candidates. This paper discusses whether there are necessary conditions for the correct logic; that is, I discuss whether there are features such that if a logic is correct, then it has those features, although having them might not be sufficient to single out the correct logic. Traditional rationalist arguments suggest that (...) the necessary conditions of thought are necessary and sufficient conditions singling out the correct logical and mathematical theories. In the contemporary debate, Chalmers advocates a view along this line. Jago, analogously, suggests that the necessary conditions for thought—or, as he calls them, our basic epistemic expectations—single out a family of logical and mathematical theories. Warren and Williamson, on the other hand, argue that there are no necessary conditions of thought. I argue that there are necessary conditions for thought, and these are necessary but not sufficient conditions to be the correct logic; indeed, these are features that all logics—correct or incorrect—share. No view we can understand is ruled out by the necessary conditions for thought, but we cannot understand quite any view. Human linguistic and conceptual abilities are genetically constrained, and these constraints are our best guide to the boundaries of logic. Arguing for this, I tackle two dogmas of modern rationalism: namely, the view that the biological constraints of human cognition have no bearing on the boundaries of the epistemic space, and the view that the boundaries of thought coincide with the boundaries of language. (shrink)

In a series of papers, 137–158; 1994, Midwest Studies in Philosophy, 23, 61–74, 1999) Fine develops his hylomorphic theory of embodiments. In this article, we supply a formal semantics for this theory that is adequate to the principles laid down for it in. In Section 1, we lay out the theory of embodiments as Fine presents it. In Section 2, we argue on Cantorian grounds that the theory needs to be stabilized, and sketch some ways forward, discussing various choice points (...) in modeling the view. In Section 3, we develop a formal semantics for the theory of embodiments by constructing embodiments in stages and restricting the domain of the second-order quantifiers. In Section 4 we give a few illustrative examples to show how the models deliver Finean hylomorphic consequences. In Section 5, we prove that Fine’s principles are sound with respect to this semantics. In Section 6 we present some inexpressibility results concerning Fine’s various notions of parthood and show that in our formal semantics these notions are all expressible using a single mereological primitive. In Section 7, we prove several mereological results stemming from the model theory, showing that the mereology is surprisingly robust. In Section 8, we draw some philosophical lessons from the formal semantics, and in particular respond to Koslicki’s main objection to Fine’s theory. In the appendix we present proofs of the inexpressibility results of Section 6. (shrink)

Serious actualism is the prima facie plausible thesis that things couldn’t have been related while being nothing. The thesis plays an important role in a number of arguments in metaphysics, e.g., in Plantinga’s argument for the claim that propositions do not ontologically depend on the things that they are about and in Williamson’s argument for the claim that he, Williamson, is necessarily something. Salmon has put forward that which is, arguably, the most pressing challenge to serious actualists. Salmon’s objection is (...) based on a scenario intended to elicit the judgment that merely possible entities may nonetheless be actually referred to, and so may actually have properties. It is shown that predicativism, the thesis that names are true of their bearers, provides the resources for replying to Salmon’s objection. In addition, an argument for serious actualism based on Stephanou, 219–250 2007) is offered. Finally, it is shown that once serious actualism is conjoined with some minimal assumptions, it implies property necessitism, the thesis that necessarily all properties are necessarily something, as well as a strong comprehension principle for higher-order modal logic according to which for every condition there necessarily is the property of being a thing satisfying that condition. (shrink)

On the classical understanding, an agent is fully excused for an action if and only if performing this action was a case of faultless wrongdoing. A major motivation for this view is the apparent existence of paradigmatic types of excusing considerations, affecting fault but not wrongness. I show that three such considerations, ignorance, duress and compulsion, can be shown to have direct bearing on the permissibility of actions. The appeal to distinctly identifiable excusing considerations thus does not stand up to (...) closer scrutiny, undermining the classical view and giving us reason to seek alternative ways of drawing the justification/excuse distinction. (shrink)

Necessitism, Contingentism, and Theory Equivalence is a dissertation on issues in higher-order modal metaphysics. Consider a modal higher-order language with identity in which the universal quantifier is interpreted as expressing universal quantification and the necessity operator is interpreted as expressing metaphysical necessity. The main question addressed in the dissertation concerns the correct theory formulated in this language. A different question that also takes centre stage in the dissertation is what it takes for theories to be equivalent.The whole dissertation consists of (...) an extended argument in defence of the truth of two seemingly inconsistent higher-order modal theories, specifically: 1.Plantingan Moderate Contingentism, a theory based on Plantinga’s [1] modal metaphysics that is committed to, among other things, the contingent being of some individuals and the necessary being of all possible higher-order entities;2.Williamsonian Thorough Necessitism, a theory advocated by Williamson [3] which is committed to, among other things, the necessary being of every possible individual as well as of every possible higher-order entity.Part of the case for these theories’ joint truth relies on defences of the following metaphysical theses: Thorough Serious Actualism, the thesis that no things could have been related while being nothing, and Higher-Order Necessitism, the thesis that necessarily, every higher-order entity is necessarily something. It is shown that Thorough Serious Actualism and Higher-Order Necessitism are both implicit commitments of very weak logical theories. The defence of Higher-Order Necessitism constitutes a powerful challenge to Stalnaker’s [2] Thorough Contingentism, a theory committed to, among other things, the view that there could have been some individuals as well as some entities of any higher-order that could have been nothing.In the dissertation it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are in fact equivalent, even if they appear to be jointly inconsistent. The case for this claim relies on the Synonymy account, a novel account of theory equivalence developed and defended in the dissertation. According to this account, theories are equivalent just in case they have the same commitments and conception of logical space.By way of defending the Synonymy account’s adequacy, the account is applied to the debate between noneists, proponents of the view that some things do not exist, and Quineans, proponents of the view that to exist just is to be some thing. The Synonymy account is shown to afford a more nuanced and better understanding of that debate by revealing that what noneists and Quineans are really disagreeing about is what expressive resources are available to appropriately describe the world.By coupling a metatheoretical result with tools from the philosophy of language, it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are synonymous theories, and so, by the lights of the Synonymy account, equivalent. Given the defence of their extant commitments made in the dissertation, it is concluded that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are both correct. A corollary of this result is that the dispute between Plantingans and Williamsonians is, in an important sense, merely verbal. For if two theories are equivalent, then they “require the same of the world for their truth.”Thus, the results of the dissertation reveal that if one speaks as a Plantingan while advocating Plantingan Moderate Contingentism, or as a Williamsonian while advocating Williamsonian Thorough Necessitism, then one will not go wrong. Notwithstanding, one will still go wrong if one speaks as a Plantingan while advocating Williamsonian Thorough Necessitism, or as a Williamsonian while advocating Plantingan Moderate Contingentism.On the basis of a conception of the individual constants and predicates of second-order modal languages as strongly Millian, i.e., as having actually existing entities as their semantic values, in the appendix are presented second-order modal logics consistent with Stalnaker’s Thorough Contingentism. Furthermore, it is shown there that these logics are strong enough for applications of higher-order modal logic in mathematics, a result that constitutes a reply to an argument to the contrary by Williamson [3]. Finally, these logics are proven to be complete relative to particular “thoroughly contingentist” classes of models. (shrink)

O objetivo deste artigo é demonstrar, a partir do pensamento de Marx, como o lucro comercial e a renda fundiária – dois componentes do mais-valor que, juntamente com o salário, correspondem aos rendimentos da fórmula trinitária – pressupõem a exploração do trabalho ou o intercâmbio desigual que mantém o processo de acumulação capitalista. As remunerações do comerciante e do proprietário fundiário, muito embora apareçam na superfície da economia moderna dissociadas do seu fundamento real, como se fossem autônomas e sem qualquer (...) nexo com a espoliação que garante a autovalorização do capital, representam apenas quotas do trabalho excedente obtido na esfera da produção. (shrink)

Cet article se demande si un dialogue entre la civilisation chinoise et Leo Strauss est possible et à quelles conditions. Il décrit le contexte d’introduction de Strauss en Chine, en se concentrant sur Liu Xiaofeng, l’un des straussiens les plus influents de la Chine contemporaine. L’analyse de son interprétation de la critique straussienne de la modernité occidentale fait ressortir deux distorsions fondamentales : là où Strauss considérait l’« enseignement tyrannique » comme quelque chose de théorique, Liu en fait un plan (...) d’action politique ; au lieu de reconnaître la modernité des bases idéologiques de l’État fondé par Mao Zedong, il les interprète au crible de la tradition. Cette double déformation contredit l’intention de Strauss en tant que philosophe zététique et socratique. (shrink)

The history of philosophy risks a self-opacity whereby we overestimate or underestimate our proximity to prior modes of thinking. This risk is relevant to assessing Hegel’s appropriation by McDowell and Priest. McDowell enlists Hegel for a quietist answer to the problem with assuming that concepts and reality belong to different orders, viz., how concepts are answerable to the world. If we accept Hegel’s absolute idealist view that the conceptual is boundless, this problem allegedly dissolves. Priest enlists Hegel for a dialetheist (...) answer to the problem with assuming that truth and falsity are mutually exclusive, viz., how certain sentences are both true and false. If we accept Hegel’s dialectical view that certain contradictions are necessary, this problem allegedly dissolves. For both McDowell and Priest, we find a true friend in Hegel. I argue that McDowell’s and Priest’s appropriations of Hegel overestimate Hegel’s affinity with quietism and dialetheism. McDowell reads Hegel as a quietist who silences metaphysical claims and the skeptical questions they raise against commonsense, but neglects Hegel’s adaptation of ancient skepticism against commonsense. Priest reads Hegel as a dialetheist who subordinates formal logic to dialectical logic by affirming the truth of certain contradictions, but neglects Hegel’s commitment to resolving contradictions for the sake of truth qua whole. I diagnose their misreadings in terms of what Hegel regards as the three moments of logic and argue that while McDowell jumps to its third moment, Priest stalls at its second moment. According to Hegel’s Encyclopedia Logic, logic has three “moments”: the abstractive moment of the understanding, which “stops short” at fixed categories; the negative moment of dialectic, which discovers the “genuine nature” of the categories, viz., that each “passes over, of itself, into its opposite”; and the positive moment of speculation, which grasps the “unity” of categories through the “dissolution” of their inner opposition. Hegel warns that if these moments are “kept separate from each other […] they are not considered in their truth”. I suggest that quietist and dialetheist readings of Hegel fail to consider truthfully the unified moments of his logic. In his quietist critique of metaphysics, McDowell enlists Hegel to dissolve the problem with assuming the duality of concept and reality. But McDowell helps himself directly to the third moment of logic, where the unity of the categories, and hence the boundlessness of the conceptual, would be fully articulated. Since he arrives at the third moment prematurely, ignoring its prior moments, he obscures its truth (§1). In his dialetheist critique of formal logic, Priest enlists Hegel to dissolve the problem with assuming the duality of truth and falsity. But Priest restricts himself gratuitously to the second moment of logic, where contradictions within the categories are not yet resolved. Since he stalls at the second moment, severed from its final moment, he obscures its truth (§2). I argue we can extricate Hegel from quietist and dialetheist misreadings only if we grasp the truth of the three moments of logic. (shrink)

Dans cet article, nous revenons sur le premier moment de l'appropriation de Nietzsche dans le parcours de Gilles Deleuze. Le livre Nietzsche et la philosophie (1962) s'inscrit de plein pied dans une phase inédite de légitimation institutionnelle du philosophe allemand comme en témoigne toute une série de stratégies de lecture et de prises de position stylistiques propres au travail de Deleuze visant à constituer pleinement Nietzsche en philosophe, mais aussi ces opérations de courts-circuits de différents champs de production culturelle (littéraire, (...) politique, « marginaux ») au sein desquels la lecture de Nietzsche était particulièrement vivante durant la première moitié du XXe siècle. Restituer cette légitimation philosophique de Nietzsche par le haut, c'est aussi se donner les moyens de comprendre la force et l'audace de ce « second moment » (au début des années 1970 notamment) où Nietzsche, à l'inverse, devient chez Deleuze le nom de ralliement d'un rapport hétérodoxe à la lecture des textes philosophiques. (shrink)

In 1957, Francis Crick outlined a startling vision of life in which the great diversity of forms and shapes of macromolecules was encoded in the one-dimensional sequence of nucleic acids. This paper situates Crick's new vision in the debates of the 1950s about protein synthesis and gene action. After exploring the reception of Crick's ideas, it shows how they differed radically from a different model of protein synthesis which enjoyed wide currency in that decade. In this alternative model, advocated by (...) Linus Pauling and other luminaries, three-dimensional templates directed the folding of proteins. Even though it was always considered somewhat speculative, this theory was supported by a number of empirical results originating in different experimental systems. It was eventually replaced by a model in which the forms and shapes of macromolecules resulted solely from their amino acid sequence, dramatically simplifying the problem of protein synthesis which Crick was attempting to solve in 1957. (shrink)

The book outlines the historical development of Public Law and the state from ancient times to the modern day, offering an account of relevant events in parallel with a general historical background, establishing and explaining the relationships between political, religious, and economic events.

We prove that the minimal Logic of Formal Inconsistency $\mathsf{QmbC}$ validates a weaker version of Fraïssé’s theorem. LFIs are paraconsistent logics that relativize the Principle of Explosion only to consistent formulas. Now, despite the recent interest in LFIs, their model-theoretic properties are still not fully understood. Our aim in this paper is to investigate the situation. Our interest in FT has to do with its fruitfulness; the preservation of FT indicates that a number of other classical semantic properties can be (...) also salvaged in LFIs. Further, given that FT depends on truth-functionality, whether full FT holds for $\mathsf{QmbC}$ becomes a challenging question. (shrink)

This article offers a libertarian re-examination of Brazilian political history focusing mainly on the first few decades of the 19th century. The article finds two main tendencies lurking behind the various political parties and labels of the time: one, associated mainly with the Conservative Party, leaned dangerously away from the individual liberties advocated by classical liberalism and instead more toward authoritarian forms of government. The other, associated mainly with the Liberal Party, was more libertarian in nature. This article also concludes (...) that other examinations of these budding political parties fall short by overlooking a potentially authoritarian state underlying the Conservative project that dominated politics in Brazil at the time. (shrink)

According to the mythical-religious literature time is determined by the eternal nature of divinity or origin of all things. From this adagio, theological literature is provoked and studies on the eternal nature of divinity suggest that if the universe was created the image of its creator the first must also be eternal. Therefore the question arises: how to shape that which by nature is formless, infinite, namely eternity? To answer this question the following paper develops a brief history about the (...) Judeo-Christian tradition on the problem of time and its relationship with eternity and also tries to prepare at the end one logical answer to the question about the form of eternity. (shrink)

In 1948, Bertrand Russell and Frederick Copleston entertained us with a radiophonic debate, on the BBC, concerning the rational proofs of God’s existence. This debate is primarily a product of Authors’ mindset. In this sense, every argument on each side presupposes a universal reason from which human intellect can grasp a certain degree of truth. Therefore, we would expect that the debate 75 years old to be outdated. Or maybe, Russell’s agnostic position could, at first sight, seem to be more (...) aligned with a contemporary post-modern mindset than Copleston’s theism. However, we disagree with the aforementioned thesis. We will not argue that Copleston won the debate by means of reason alone. We will rather show that both positions emerge from different ontologies. And these ones are intertwined with specific narratives and its respective ways of life. For that matter, the Russell-Copleston debate substantiates the thesis of Radical Orthodoxy. Deep down, John Milbank’s “ontology of peace,” as opposed to the Nietzschean nihilism, emerges from this debate. In this sense, while Copleston’s argumentation grounds this narrative on an ontology of peace, Russell tends to follow in a nihilism capable of destroying the communion between different persons. In this sense, the debate is still up to date. (shrink)

The imperative to practice hospitality constitutes a mark of Western civilization. Already in Homer’s Odyssey, the hero Ulysses punishes Polyphemus for not having respected the obligation of hospitality towards him and his companions. In fact, hospitality has been a constitutive element of the West, marked by linguistic, cultural, and religious differences, in a world whose borders are supposed to be well defined. In his discussion of hospitality, Derrida shows how Socrates, in Plato’s dialogue The Apology of Socrates, places himself in (...) the position of a foreigner. In fact, Socrates presents himself as foreigner, that is, someone who is alien to the language and procedures of the court that is judging him. According to Derrida, he shows, in this way, the extent to which the foreigner is forced to ask for hospitality in a language he does not know. The court reduces Socrates to the other, the different. Moreover, the court forces him to deny his difference, his own identity, asking him to adapt himself to a system that he does not control. The paradox arises when Socrates, who regrets being regarded as a foreigner, asks the court to treat him at least as a foreigner. He feels so outraged that he asks to be granted at least the rights of a non-national. In doing so, Socrates shows how recognizing the rights of the foreigner generates hospitality but, at the same time, also limits it. Whenever a human being is recognized as human being, he or she will necessarily be seen as another, as someone different. This person will have to adapt him or herself to a system, culture or world that will define him or her as a foreigner. In short, in the phenomena that we tend to see as hospitality there is always a certain hostility. In a world of ongoing migratory crises, and in the context of a return to nationalisms of exclusion combined with populisms of prejudice and aversion to those who are different, it becomes imperative to rethink the ethics and politics of hospitality. In this context, Derrida’s distinction between conditioned and unconditioned hospitality can be useful. (shrink)

Nesse artigo temos como objetivo analisar a representação do conceito de liberdade na primeira temporada da série “Merli”, veiculada no canal de streaming Netflix. Nela, pretendemos verificar como o professor de Filosofia Merli Bergeron trabalha conceitos libertários e suscita reflexões críticas em seus alunos sobre os padrões de convívio socialmente impostos pelas instituições primárias e secundárias. Ao mesmo tempo, pretendemos abordar a personalidade do professor, discutindo sobre o convívio que ele mantém com os colegas de trabalho e seus alunos, assim (...) como em sua vida particular, para visualizarmos se, de fato, ele pratica aquilo que discursa aos estudantes durante suas aulas. Haverá um foco maior na relação dele com o aluno Ivan Basco, que sofre com agorafobia e recebe aulas particulares de Merli para superar sua situação de isolamento. Em um primeiro momento, com caráter introdutório, iremos discutir sobre a importância da discussão de liberdade na contemporaneidade. A seguir, exporemos conceitos formulados por diversos pensadores acerca do que é a liberdade e sua importância para a emancipação humana. A partir disso, serão abordadas informações básicas sobre a produção da série, como os diretores, veiculadores e atores envolvidos para, por fim, executarmos a análise dos capítulos do seriado e apresentarmos nossas considerações finais. Diversos teóricos pertinentes a esse trabalho serão utilizados na revisão bibliográfica. Como metodologias de análise fílmica usaremos, para verificação estrutural do filme, a metodologia de análise fílmica de Manuela Penafria e, para visualização das formas simbólicas, a Hermenêutica de Profundidade, proposta por John Thompson em “Ideologia e Cultura Moderna”. (shrink)

pt. I. En tout temps, l'art comme figure du bonheur -- pt. II. La réinitialisation artistique de la culture -- pt. III. La réinitialisation des perceptions bienheureuses du monde.

Let's touch base -- Relocalizing the global -- Without the world or within -- Sharing responsibility: farewell to the sublime -- From lands to disputed territories -- Innovation not hype -- Secular at last -- In search of a diplomatic middle ground -- Appendix.

Ce livre s'intéresse au moment dynamique intermédiaire : quand l'interprétation est un acte qui n'a pas encore abouti. Le fondement de l'expérience esthétique se trouverait davantage dans le chemin parcouru pendant l'interprétation que dans le message trouvé au bout du chemin.

The most common first- and second-order modal logics either have as theorems every instance of the Barcan and Converse Barcan formulae and of their second-order analogues, or else fail to capture the actual truth of every theorem of classical first- and second-order logic. In this paper we characterise and motivate sound and complete first- and second-order modal logics that successfully capture the actual truth of every theorem of classical first- and second-order logic and yet do not possess controversial instances of (...) the Barcan and Converse Barcan formulae as theorems, nor of their second-order analogues. What makes possible these results is an understanding of the individual constants and predicates of the target languages as strongly Millian expressions, where a strongly Millian expression is one that has an actually existing entity as its semantic value. For this reason these logics are called ‘strongly Millian’. It is shown that the strength of the strongly Millian second-order modal logics here characterised afford the means to resist an argument by Timothy Williamson for the truth of the claim that necessarily, every property necessarily exists. (shrink)