The triangle in general or the man as such are general objects. These are objects that possess the properties common to all the individual objects in their range. Stanisław Leśniewski and Tadeusz Kotarbiński, two Polish philosophers and logicians belonging to the Lvov-Warsaw School, produced several proofs aiming to show that such objects are impossible because the principles that govern them lead to a contradiction. In this paper I first clarify the structure of their proofs. Then I suggest a way to (...) elude their conclusion. In order to do that I use two Meinongian distinctions: the distinction between complete and incomplete objects, on the one hand, and the distinction between nuclear and extranuclear properties, on the other hand. I claim first that general objects are incomplete objects, i.e. they do not satisfy the ontological principle of the excluded middle, and second that the principle that governs the relations between the properties of general objects and the properties of the individual objects in their range should be restricted to nuclear properties. (shrink)

Leśniewski’s metalogic is often considered to be difficult to understand because it differs greatly from its standard formulation. In this paper I try to explain the reasons of these idiosyncrasies. I claim that they have mainly two sources. First of all there is Leśniewski’s conviction that a formal system should be conceived as a set of concrete marks that can always physically and syntactically be expanded by the addition of new theses. Secondly there is Leśniewski’s conviction that definitions should neither (...) be formulas belonging to the metalanguage, nor deduction rules, but formulas belonging to the object-language and expressed with the help of the biconditional functor. The realisation of the first point is linked to the second one in so far as the metalinguistic rule for the writing out of definitions has to be formulated in a way that makes it possible to build the formal system in agreement with Leśniewski’s conception. While explaining these points I give an overview of the main peculiarities of Leśniewski’s metalogic. (shrink)

This collection of fourteen original essays addresses the seminal contribution of Franz Brentano and his heirs, to philosophy of language. Despite the great interest provoked by the Brentanian tradition and its multiple connections with early analytic philosophy, precious little is known about the Brentanian contribution to philosophy of language. The aim of this new collection is to fill this gap by providing the reader with a more thorough understanding of the legacy of Brentano and his school, in their pursuit of (...) a unique research programme according to which the analysis of meaning is inseparable from philosophical inquiries into what goes on in the mind and what there is in the world. In three parts, the volume first reconstructs Brentano’s pathbreaking thoughts on meaning and grammatical illusions, exploring their strong connections with the Austro-German tradition and analytic philosophy. It then addresses the multifaceted debates on the objectivity of meaning in the Brentano School and its aftermath. Finally, part three explores Brentano’s wider legacy, namely: Husserl’s theory of modification and typicality, Bühler’s theory of linguistic and non-linguistic expressions, and Wittgenstein’s thoughts on guidance and rule-following. The result is a unique collection of essays which shows the significance, originality and timely character of the Brentanian philosophy of language. (shrink)

Les ontologies catégoriales tentent de répartir la totalité des objets en différentes catégories ontologiques entretenant certaines relations déterminées entre elles. Ces ontologies ont connu un regain d’intérêt dans la métaphysique analytique contemporaine, regain d’intérêt qui trouve son origine dans les travaux de Brentano. Dans cet article, nous examinons dans quelle mesure la théorie de l’objet développée par un élève de Brentano, Meinong, peut être comptée au nombre des ontologies catégoriales. Pour ce faire, nous analysons en premier lieu les différents sortes (...) d’objets meinongiens selon les types de vécus élémentaires auxquels ils se rapportent. Nous étudions ensuite les modes d’être (réel et idéal) qui échoient éventuellement à ces objets. Qu’un objet soit réel ou idéal, il est complet, mais il y a aussi des objets qui, comme la montagne d’or ou le cercle-carré, sont incomplets. Analysant cette dernière classe d’objets, nous montrons comment les objets de ce type se voient attribuer un statut extraontologique, un mode d’objectualité qui ne se réduit pas à un mode d’être. Si Meinong semble de la sorte subsumer tous les objets sous une seule et même catégorie, nous expliquons qu’il n’en est en fait rien, la notion d’objet (en général) n’étant en aucun cas un summum genus. Dans la conclusion, nous défendons l’idée que la théorie de l’objet de Meinong n’est pas une ontologie catégoriale au sens strict. S’il y a bien des catégories, celles-ci sont des catégories objectuelles, des catégories dont les catégories ontologiques sont au mieux une sous-classe. (shrink)

English summary: Jan Lukasiewicz (1878-1956) was one of the most important members of the Lwow-Warsaw school of logic. The thirteen translated articles in this volume demonstrate the protean form of Lukasiewiczs work, from his texts on Aristotle and the principle of non-contradiction and syllogistics to modal logic, intuitionism, and multivalent logics. The articles show in particular his preoccupations with logical precision and the problem of human liberty. French description: Avec Kazimierz Twardowski, Stanislaw Lesniewski et Alfred Tarski, le logicien et philosophe (...) polonais Jan Lukasiewicz (1878-1956) est l'un des membres les plus importants de l'Ecole de Lvov-Varsovie. Celebre pour ses ouvrages consacres a Aristote, notamment sur le principe de non-contradiction et sur la syllogistique, il a egalement publie des articles majeurs sur la logique propositionnelle, la logique modale, l'intuitionnisme et les logiques multivalentes, dont il fut l'un des fondateurs. Enfin, il a contribue a faire reconnaitre l'importance des travaux en logique de l'ecole megarico-stoicienne, trop longtemps eclipses par ceux d'Aristote sur la syllogistique. Mais Lukasiewicz ne fut pas seulement un logicien et un historien brillant, il s'engagea aussi dans les polemiques philosophiques de son temps. Il defendit ainsi la methode logique en philosophie. Proche sur ce point des membres du Cercle de Vienne, il ne rejetait pas pour autant les questions metaphysiques, commecelle du determinisme qui l'occupa toute sa vie. Les treize articles de ce recueil, fruit d'un travail collectif de traduction, ont pour ambition de montrer le caractere proteiforme de l'oeuvre de Lukasiewicz, preoccupe autant par la precision logique que par le probleme de la liberte humaine. (shrink)

Dialectica, Volume 73, Issue 4, Page 591-597, December 2019.

A general model of problem‐solving processes based on misconception elimination is presented to simulate both impasses and solving processes. The model operates on goal‐related rules and a set of constraint rules in the form of “if (state or goal), do not (Action)” for the explicit constraints in the instructions and the implicit constraints that come from misconceptions of legal moves. When impasses occur, a constraint elimination mechanism is applied. Because successive eliminations of implicit constraints enlarge the problem space and have (...) an effect on planning, the model integrates “plan‐based” and “constraint‐based” approaches to problem‐solving behavior.Simulating individual protocols of Tower of Hanoi situations shows that the model, which has a proper set of constraints, predicts a single move with no alternative on about 61% of the movements and that protocols are quite successfully simulated movement by movement. Finally, it is shown that many features of previous models are embedded in the constraint elimination model. (shrink)

We re-evaluate existing data that demonstrate a large amount of variability in the content of categories considering the fact that these data have been obtained in a specific task: the production of features of single isolated categories. We present new data that reveal a large consensus when participants have to judge whether or not a given feature is characteristic of a category and we show that classification tasks produce an intermediate level of consensus. We argue that the differences observed between (...) tasks are due to the extent of implied context and we propose a reinterpretation of typicality effects, demonstrating that they are compatible with the existence of a stable conceptual core. In order to explain how the existence of a conceptual core is consistent with variability due to context, we present a theory of categorisation based on a property tree organisation. Within a domain of description, we distinguish between semantic implications (flying → moving) and empirical implications (flying → having wings) as well as between properties used to describe objects. Semantic implications serve to build property lines and Galois lattices are used to reveal category structures according to empirical implications. We show that variability in the category content may be explained by the fact that some properties are emphasised while others are masked according to the context. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Return of Scepticism: From Hobbes and Descartes to BayleSébastien CharlesGianni Paganini, editor. The Return of Scepticism: From Hobbes and Descartes to Bayle. Dordrecht: Kluwer, 2003. Pp. xxviii + 486. Cloth, $180.00.Cette édition des actes du congrès international « The Return of Scepticism », organisé par Gianni Paganini à l'Université du Piémont-Oriental de Vercelli en mai 2000, a pour ambition de faire le point sur l'état de la (...) recherche actuelle en cherchant à cerner au mieux les implications épistémologiques et les répercussions européennes du scepticisme à la période moderne. Placés sous le patronage de Richard H. Popkin, dont un essai ouvre l'ouvrage et pave la voie à de futures recherches sur la question, les textes rassemblés par Gianni Paganini ont pour trait commun d'insister sur la prégnance du scepticisme à l'époque moderne, tout en prenant garde au fait de bien replacer chaque stratégie sceptique dans l'environnement culturel et philosophique qui fut le sien. Divisé en sept sections, l'ouvrage fournit une vue d'ensemble de la question sceptique qui s'étale sur deux siècles, le XVIIe et le XVIIIe.Dans la première section, l'accent est mis sur un aspect délaissé de l'histoire du scepticisme moderne, à savoir le traitement particulier qui lui fut réservé dans la pensée anglaise des XVIIe et XVIIIe siècles. Sont abordés ici les cas de Hobbes, dont le traitement du scepticisme est pensé en relation inversée avec celui de Descartes (G. Paganini), Locke, qui tend à faire sien le principe sceptique de la limitation du savoir (G. A. J. Rogers), et les Platoniciens de Cambridge, qui s'inspirent de la méthode sceptique pour compartimenter le champ du savoir (F. Tomasoni).Dans la deuxième section, c'est la pensée continentale qui est à l'honneur, avec des textes consacrés à Descartes spécifiquement ou à La Mothe le Vayer et Descartes, avec pour objectif commun de questionner l'originalité du travail cartésien en insistant notamment sur le rôle de l'epoché chez Charron comme source possible du cogito (J. R. Maia Neto) et sur une tradition sceptique non fidéiste présente dans les œuvres de La Mothe le Vayer comme de Descartes (J.-P. Cavaillé).La troisième section évoque la prise de conscience des enjeux sceptiques chez les sectateurs et les adversaires de Descartes, qui s'accordent tous à reconnaître l'insuffisance de la réfutation du scepticisme proposée par ce dernier. Ce point fait l'unanimité tant chez les opposants à Descartes—Martin Schoock (A. Del Prete), Pierre Villemandy (C. Borghero), Pierre-Daniel Huet (T. M. Lennon), et les philosophes italiens Fardella et Doria (M. T. Marcialis)—que chez ceux qui se sont inspirés de sa philosophie—Arnauld (G. Belgioioso), Malebranche, Foucher et Desgabets (E. Scribano).La prise en compte des enjeux sceptiques aux plans politique et religieux est intégrée dans la quatrième partie au sein de laquelle sont évoquées des thématiques plurielles comme la présence du probabilisme néo-académique chez Pascal (A. McKenna), l'interprétation sceptique, voire libertine, du pouvoir et de la liberté rattachée à la théorie hobbesienne de l'état de nature chez Samuel Sorbière (L. Bianchi), ou le rapport existant entre scepticisme et tolérance (L. Simonutti).La section suivante délaisse politique et religion pour aborder le cas de la science, et de l'effet du scepticisme au niveau épistémologique. Le cas de Martín Martínez témoigne du fait que le scepticisme peut être conciliable avec une vision empiriste de la science et qu'une physique sceptique reste possible (J. C. Laursen). De même, le rapport des savants italiens comme Redi, Magalotti ou Dati à l'égard du scepticisme est évocateur de la prise de conscience des dangers que le scepticisme pose pour le domaine du démontrable (M. Torrini), ce qui vaut également pour toute théorie de la signification, dont les implications sceptiques sont patentes (G. Hassler), ou pour toute approche historique minée par des considérations pyrrhoniennes (C. Grell... (shrink)

Gottfried Leibniz is well known for his claim to have “rehabilitated” the substantial forms of scholastic philosophy, forging a reconciliation of the New Philosophy of Descartes, Mersenne and Gassendi with Aristotelian metaphysics (in his so-called Discourse on Metaphysics, 1686). Much less celebrated is the fact that fifty years earlier (in his Hypomnemata Physica, 1636) the Bratislavan physician and natural philosopher Daniel Sennert had already argued for the indispensability to atomism of (suitably re-interpreted) Aristotelian forms, in explicit opposition to the rejection (...) of substantial forms by his fellow atomist Sébastien Basson.1.. (shrink)

Whether unconscious stimuli can modulate the preparation of a cognitive task is still controversial. Using a backward masking paradigm, we investigated whether the modulation could be observed even if the prime was made unconscious in 100% of the trials. In two behavioral experiments, subjects were instructed to initiate a phonological or semantic task on an upcoming word, following an explicit instruction and an unconscious prime. When the SOA between prime and instruction was sufficiently long , primes congruent with the task (...) set instruction led to speedier responses than incongruent primes. In the other condition , no task set priming was observed. Repetition priming had the opposite tendency, suggesting the observed task set facilitation cannot be ascribed solely to perceptual repetition priming. Our results therefore confirm that unconscious information can modulate cognitive control for currently active task sets, providing sufficient time is available before the conscious decision. (shrink)

Abstract:Russellian incomplete symbols are usually conceived as an analytical residue—as what remains of the would-be entities when properly analyzed. This article aims to reverse the approach in raising another question: what, if any, does the incomplete symbol contribute to the completely analyzed language? I will first show that, from a technical point of view, there is no difference between the way Russell defines his denoting phrases in “On Denoting” and the way Frege defines his second-order concepts. But I will secondly (...) support that the two notions have two widely different conceptual meanings: the same logical procedures which are used by Frege to increase the deductive power of his system allow Russell to logically relate quantificational notation to ordinary language. Focusing on Russell’s treatment of OD’s puzzles, I will thirdly argue that this shift constitutes the source of a deep transformation in the way logic and language are related. (shrink)

In a globalizing world, governments are not always able or willing to regulate the social and environmental externalities of global business activities. Multi-stakeholder initiatives (MSI), defined as global institutions involving mainly corporations and civil society organizations, are one type of regulatory mechanism that tries to fill this gap by issuing soft law regulation. This conceptual paper examines the conditions of a legitimate transfer of regulatory power from traditional democratic nation-state processes to private regulatory schemes, such as MSIs. Democratic legitimacy is (...) typically concerned with input legitimacy (rule credibility, or the extent to which the regulations are perceived as justified) and output legitimacy (rule effectiveness, or the extent to which the rules effectively solve the issues). In this study, we identify MSI input legitimacy criteria (inclusion, procedural fairness, consensual orientation, and transparency) and those of MSI output legitimacy (rule coverage, efficacy, and enforcement), and discuss their implications for MSI democratic legitimacy. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

In a globalizing world, governments are not always able or willing to regulate the social and environmental externalities of global business activities. Multi-stakeholder initiatives (MSI), defined as global institutions involving mainly corporations and civil society organizations, are one type of regulatory mechanism that tries to fill this gap by issuing soft law regulation. This conceptual paper examines the conditions of a legitimate transfer of regulatory power from traditional democratic nation-state processes to private regulatory schemes, such as MSIs. Democratic legitimacy is (...) typically concerned with input legitimacy (rule credibility, or the extent to which the regulations are perceived as justified) and output legitimacy (rule effectiveness, or the extent to which the rules effectively solve the issues). In this study, we identify MSI input legitimacy criteria (inclusion, procedural fairness, consensual orientation, and transparency) and those of MSI output legitimacy (rule coverage, efficacy, and enforcement), and discuss their implications for MSI democratic legitimacy. (shrink)

Here we question the mechanisms underlying the emergence of the feeling of control that can be modulated even when the feeling of being the author of one’s own action is intact. With a haptic robot, participants made series of vertical pointing actions on a virtual surface, which was sometimes postponed by a small temporal delay (15 or 65 ms). Subjects then evaluated their subjective feeling of control. Results showed that after temporal distortions, the hand-trajectories were adapted effectively but that the (...) feeling of control decreased significantly. This was observed even in the case of subliminal distortions for which subjects did not consciously detect the presence of a distortion. Our findings suggest that both supraliminal and subliminal temporal distortions that occur within a healthy perceptual–motor system impact the conscious experience of the feeling of control of self-initiated motor actions. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Methodological innovations have a special status in disciplinary histories, because they can be widely adopted and anonymised. In the 1950s, this occurred to Georges Laplace’s innovative use of 3-dimensional metric Cartesian coordinate system to record the positions of archaeological objects. This paper proposes a conceptual and social history of this process, with a focus on its spatial context, the Pyrenean region (Spain, Basque Country, and France). Main results of this research based on archives, publications, and bibliometric data, include: 1) a (...) critical discussion of the notions concerning authorship of such methodological innovations; 2) a presentation of the lesser-known aspects of Laplace’s method, showing its contribution to the abstraction and formalisation of archaeological observations and data recording; and 3) the identification of an international Pyrenean intellectual lineage of innovation regarding stratigraphy and excavation methods, from the late 19th century to the early 21th century. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

Winner of the 2015 Pierre-Antoine Bernheim Prize for the History of Religion by the Académie des Inscriptions et Belles-LettresAfter a century during which Confucianism was viewed by academics as a relic of the imperial past or, at best, a philosophical resource, its striking comeback in Chinese society today raises a number of questions about the role that this ancient tradition might play in a contemporary context. The Sage and the People is the first comprehensive enquiry into the "Confucian revival" that (...) began in China during the 2000s. Based on extensive anthropological fieldwork carried out over eight years in various parts of the country, it explores the re-appropriation and reinvention of popular practices in fields as diverse as education, self-cultivation, religion, ritual, and politics.The book analyzes the complexity of the "Confucian revival" within the broader context of emerging challenges to such categories as religion, philosophy, and science that prevailed in modernization narratives throughout the last century. Exploring state cults both in Mainland China and Taiwan, authors Sébastien Billioud and Joël Thoraval compare the interplay between politics and religion on the two shores of the Taiwan strait and attempt to shed light on possible future developments of Confucianism in Chinese society. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

This survey covers some of the main philosophical debates raised by the framework of effective field theories during the last decades. It is centered on three issues: whether effective field theories underpin a specific realist picture of the world, whether they support an anti-reductionist picture of physics, and whether they provide reasons to give up the ultimate aspiration of formulating a final and complete physical theory. Reviewing the past and current literature, we argue that effective field theories do not give (...) convincing reasons to adopt a particular stance towards these speculative issues. They hold good prospects for asking ontologically perspicuous and sensible questions about currently accessible domains. With respect to more fundamental questions, however, the only certainty is provisional and instrumental: effective theories are currently indispensable for conducting fruitful scientific research. (shrink)

This chapter examines two ways in which liberal thinkers have appealed to claims about disagreement in order to defend a principle of free speech. One argument, from Mill, says that free speech is a necessary condition for healthy disagreement, and that healthy disagreement is conducive to human flourishing. The other argument says that in a community of people who disagree about questions of value, free speech is a necessary condition of legitimate democratic government. We argue that both of these arguments, (...) in their standard guises, are premised upon contestable views about the realpolitik of disagreement in a liberal society. (shrink)

In this paper, I propose a general framework for understanding renormalization by drawing on the distinction between effective and continuum Quantum Field Theories (QFTs), and offer a comprehensive account of perturbative renormalization on this basis. My central claim is that the effective approach to renormalization provides a more physically perspicuous, conceptually coherent and widely applicable framework to construct perturbative QFTs than the continuum approach. I also show how a careful comparison between the two approaches: (i) helps to dispel the mystery (...) surrounding the success of the renormalization procedure; (ii) clarifies the various notions of renormalizability; and (iii) gives reasons to temper Butterfield and Bouatta's claim that some continuum QFTs are ripe for metaphysical inquiry (Butterfield & Bouatta, 2014). (shrink)

We present an empirical case study that connects psycholinguistics with the field of cultural evolution, in order to test for the existence of cultural attractors in the evolution of quotations. Such attractors have been proposed as a useful concept for understanding cultural evolution in relation with individual cognition, but their existence has been hard to test. We focus on the transformation of quotations when they are copied from blog to blog or media website: by coding words with a number of (...) well-studied lexical features, we show that the way words are substituted in quotations is consistent with the hypothesis of cultural attractors and with known effects of the word features. In particular, words known to be harder to recall in lists have a higher tendency to be substituted, and words easier to recall are produced instead. Our results support the hypothesis that cultural attractors can result from the combination of individual cognitive biases in the interpretation and reproduction of representations. (shrink)

The theory of social-property relations, or political Marxism, has argued that in contradistinction with pre-capitalist forms of exploitation, capitalism is characterised by the separation of the economic and the political, which makes surplus appropriation under this system uniquely driven by economic coercion. In spite of political Marxism’s various strengths, this article argues that the paradigm puts forward an ahistorical and sanitised conception of capitalism typical of bourgeois economics, which is an outcome of its formal-abstractionist approach to the concept of the (...) mode of production and the separation between theory and history that it operates. A more satisfactory solution to political Marxism’s inability to make sense of past and present forms of coercion and violence under capitalism can be found in Jairus Banaji’s emphasis on Marx’s historical – rather than formal – conception of the mode of production. (shrink)

Belief merging aims at combining several pieces of information coming from different sources. In this paper we review the works on belief merging of propositional bases. We discuss the relationship between merging, revision, update and confluence, and some links between belief merging and social choice theory. Finally we mention the main generalizations of these works in other logical frameworks.

We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness, and are stable in some cardinal. Assuming the singular cardinal hypothesis, we prove a full characterization of the stability cardinals, and connect the stability spectrum with the behavior of saturated models.We deduce that if a class is stable on a tail of cardinals, then it has no long splitting chains. This indicates that there is a clear notion of superstability in this framework.We also present an (...) application to homogeneous model theory: for [Formula: see text] a homogeneous diagram in a first-order theory [Formula: see text], if [Formula: see text] is both stable in [Formula: see text] and categorical in [Formula: see text] then [Formula: see text] is stable in all [Formula: see text]. (shrink)