W wiktoriańskiej Brytanii współistniały dwa kontrastujące ze sobą wizerunki o kobiet – anioł w domu i upadły anioł. Odzwierciedlały one podwójne standardy moralne epoki. Wyobrażenia te oparte były na moralności potocznej i stylach myślenia epoki, czyli dyskursach obecnych w wiktoriańskiej nauce, medycynie, literaturze oraz sztuce. Artykuł omawia zarówno przekazy zawarte z źródłach moralności potocznej, jak i wymienione dyskursy, które prowadziły do nadawania społecznych ocen o (nie)normalności. Przedstawionym wskaźnikiem takich ocen społecznych są przykładowe sankcje i postawy społeczne wobec stylów życia i (...) ról społecznych, jakie odgrywały kobiety wiktoriańskie. (shrink)

Cele niniejszej pracy są następujące: analiza komparatystyczna problemu równości płci w feministycznych pracach J. S. Milla i H. Taylor w kontekście wiktoriańskiego systemu aksjo-normatywnego, w tym: 1) charakterystyka sytuacji kobiet w XIX wieku w kontekście systemu aksjo-normatywnego epoki wiktoriańskiej 2) analiza problemu równości w feminizmie liberalnym J. S. Milla i H. Taylor 3) analiza krytyczna J. S. Milla i H. Taylor jako teorii feminizmu liberalnego oraz 4) dyskusja nad rozdźwiękiem między ujęciem teoretycznym obojga filozofów a realnymi problemami w realizacji ich (...) normatywnych i praktycznych postulatów w epoce wiktoriańskiej. (shrink)

Heidegger’s notion of ‘handiness’ combines two meanings, which in my view should be separated. They both refer to ways of characterizing tools in a given culture. Every culture uses tools, and they are all used so they are ‘handy’. The question is: Handy with regard to what? Two answers come to mind. The first one suggests that handiness is typical of the aims achieved in a given culture, which are linked with that culture’s system of values. Having been fulfilled, the (...) aims seem to disappear, but new ones emerge and the cultural values are all the time appreciated. The aims and values constitute a part of the vision of the world accepted by the members of a given cultural community. In such a context, we can understand the handiness of tools as their optimum quality in facilitating the achievement of the aims which maintain the current cultural values, and so the existence of a given culture. The second answer links handiness with fulfilling the requirements of the human body. When considering the body in terms of its biological categories (as an organism) we can bear in mind its universal characteristics such as limbs, height, differences in body measurements, etc. In such a context, Martin Heidegger’s handiness can be understood pragmatically, as the features of a tool when adjusting it to the human body. In this paper, I propose a thesis that contemporary design loses handiness of the first type, while concentrating on making tools more and more comfortable for the human body. The cultural aims and values traditionally recognized in a given culture lose their priority, or seem to be ignored. At the same time, every tool user is given a chance to develop handiness of the first type. Whether we use this opportunity or not is another problem. (shrink)

In the chapter, there is an analysis of sharing economy development in Poland. It concerns both the big players on the market like the most known Airbnb and Uber, as well as smaller, local initiatives, flourishing especially in the food sector. Sharing economy is not a normative concept and is defined differently depending on the subject to which it refers. However, the significance of the phenomenon is rising rapidly from year to year. Moreover, sharing economy brings many opportunities but also (...) creates a lot of unsolved issues, such as regulations, tax regulations, labour law, competition, which often can lead to conflicts between diverse groups of actors. The new, unregulated, by law, model of the economy in some sectors has caused a lot of confusion, leading to conflicts, as well as a feeling of inequality. (shrink)

J. S. Mill is commonly considered as a representative of psychological hedonism. However, his utilitarianism has also eudaimonic and perfectionistic aspects. Thus, various aspects are interelated with one another not only in his moral philosophy, but are present also in his political philosophy. Interpretators of Mill’s philosophy inquire: how those aspects can be reconciled and if Mill's conception can be consistent then? Main aim of the paper is to explain and justify the view, that the idea of happiness by J. (...) S. Mill based on the greatest happiness principle is founded on both traditions present in the Ancient times: eudaimonism and hedonism. I assume, that: in philosophy of J. S. Mill, formulated in the perspective of both traditions of the idea of happiness and good life, hedonism can be reconciled with eudaimonism and perfectionsm. Philosopher can be qualified as many-sided and eclectic, thus denominating his exclusively as hedonist would be incomplete and would be a result of too hasty and imprecise reading of his works. (shrink)

In his Theory of Justice John Rawls presents a critique of utilitarianism. He focuses on utilitarianism in the version offered by John Stuart Mill, but Rawls’s analysis of Mills’ views is schematic and limited to Mill’s ethical theory. Rawls does not recognize the importance of perfectionistic themes in Mill’s theory, nor does he note the consequences of that issue for the problem of gender equality. Rawls discuses those themes in his Lectures on the History of Political Philosophy. If one is (...) primarily guided by Rawls’s Theory of Justice, however, the person will be unable to appreciate similarities between Rawls’s and Mill’s positions. When focusing on the Lectures it is possible to recognize these affinities that are only dimly insinuated in the Theory of Justice. In the later volume they are strong enough to support the claim that a more pronounced affinity may bind these two authors that are not obvious at the first glance. I proceed therefore (1) to expose some shortcomings in the presentation of Mill’s utilitarianism by Rawls; (2) go on to analyse Lectures on the History of Political Philosophy in order to present a more penetrating reading of Mill’s utilitarianism by including its perfectionistic content; and (3) finally on the basis of those claims I point to some practical consequences of Mill’s and Rawls’s views on gender equality. (shrink)

Celem artykułu jest przedstawienie przykładowych trudności, jakie mogą się wiązać z tłumaczeniem tekstu popularnonaukowego o tematyce historycznej oraz podanie powodów, dla których tego rodzaju tekst może zasługiwać na uwagę polskich czytelników. Zakładam, że samo tłumaczenie może pełnić funkcję edukacyjną jako przykładowy tekst wykorzystywany w szkoleniu z doskonalenia warsztatu z zakresu przekładu osób przygotowujących się do pracy w zawodzie tłumacza pisemnego. Sam zaś tekst udostępniony polskiemu czytelnikowi może stanowić źródło informacji z zakresu historii społecznej, a dokładnie badań nad historią kobiet w (...) epoce wiktoriańskiej. Autorką tekstu o ideałach kobiecości w wiktoriańskiej Brytanii jest Lynn Abrams. Artykuł historyczki wykładającej obecnie na Uniwersytecie w Glasgow ukazał się w 2001 roku na stronie internetowej BBC poświęconej popularyzowaniu wiedzy o historii Wielkiej Brytanii. Zamierzam rozpowszechnić ten tekst jako źródło wiedzy o społecznych, kulturowych i politycznych warunkach życia kobiet w epoce wiktoriańskiej w czasopiśmie popularnonaukowym zajmującym się tematyką historii społecznej lub historii gender. (shrink)

Das Problem, wie der Völkermord an den Juden in der Nazizeit in der SBZ/ DDR behandelt wurde, war Gegenstand zahlreicher wissenschaftlicher Abhandlungen von Philologen und Historiken. In den Jahren 1990-2000 wurden die Arbeiten von u.a. Mario Kessler, Michael Wolffsohn, Angelika Timm, Thomas Jung und Ulrike Offenberg veröffentlicht. Die dort formulierten Thesen bilden die Grundlage für diesen Artikel. Er schildert die Lage der jüdischen DDR-Bewohner, die sich nach Kriegsende für das Leben in Deutschland entschieden haben. Es wurde versucht, die Kluft zu (...) veranschaulichen, die zwischen der von der Regierung betriebenen Propaganda und dem ostdeutschen Alltag bestand. Die im Artikel dargestellten politischen und ideologischen Grundlagen des ostdeutschen Staates, wie auch die Realität, in welcher die jüdischen DDR-Bürger gelebt haben, bilden wichtige Kontexte für das Schaffen von Jurek Becker. Die angedeuteten Probleme, die die jüdische Bevölkerung zu bewältigen hatte, wie etwa die Unmöglichkeit der Identitätsfindung in der scheinbar homogenen, in Wirklichkeit jedoch deutlich geteilten ostdeutschen Gesellschaft, kommen hier zur Sprache. Da Becker selbst von diesem Problem betroffen war, inspirierte ihn dies bei der Arbeit an seinen Romanen, Erzählungen und anderen literarischen Texten, die oft autobiographische Züge aufweisen. Dies wurde am Beispiel von Bronsteins Kinder dargestellt. Die existenziellen Probleme der jüdischen Bevölkerung wurden hier in Verbindung mit der Kritik der ostdeutschen Gesellschaft geschildert. (shrink)

The article is an attempt of the analysis and the interpretation of the categories ‘pleasure’ (Fr. plaisir) and ‘delight’ (Fr. jouissance), in the context of philosophically oriented theoretical‑literary considerations of Roland Barthes, sacrificed to the mystery of experiencing of the love. The part first, referring mainly to Barthes’ works, Revognises the range of the semantic field plaisir and jouissance, as categories basic for the textual language of the outstanding theoretician. The second part introduces three examples of western cultural practices which (...) illustrate the manner of use plaisir and jouissance as the factors of textual structures. (shrink)

Artykuł poświęcony jest twórczości jednego z przedstawicieli Młodego Wiednia, legendarnej, barwnej postaci z kręgu cyganerii przełomu wieków. Altenberg był autorem impresjonistycznych szkiców, które nazywał „ekstraktami życia”, „telegraficznym stylem duszy” („Extrakte des Lebens” , Telegramm-Stil der Seele” ). Forma szkicu posłużyła pisarzowi do zapisywania pojedynczych wrażeń i do impresyjnego odtwarzania scen z życia wiedeńskich klas niższych. Nieostrość i nieokreśloność gatunkowa szkicu, luźny, niepełny, urywkowy charakter wypowiedzi, a także zamierzona powtarzalność (wątków, refleksji, sformułowań) to cechy, dzięki którym Altenberg w pełni wyraził swój (...) stosunek do świata i do swojego w nim miejsca. (shrink)

W literaturze przedmiotu określenie "kapitał" wystȩpuje zarówno w ujȩciach funkcjonalnych, strukturalnych, normatywnych, jak i aksjologicznych. W naukach humanistycznych i społecznych pojȩcie to rozumiane jest jako wartość odnoszona do czynnika ludzkiego. W naukach ekonomicznych kapitał to pojȩcie wȩższe niż "zasób". Zasoby s¸a} wykorzystywane przez ludzi do zaspokajania ich potrzeb, s¸a} czynnikami produkcji dóbr i usług. Kapitał to szczególny czynnik produkcji, gdyż stanowi już przekształcone zasoby, które mog¸a} zostać uruchomione, by przynieść zysk, powiȩkszyć szanse oraz osi¸a}gn¸ać cele i korzyści na rynku. ** (...) In literature on the subject, the term "capital" appears in both functional, structural, normative and axiological approaches. In the humanities and social sciences this concept is understood as a value related to the human factor. In economic sciences, capital is a narrower concept than "resource." Resources are used by people to meet their needs, they are factors in the production of goods and services. Capital is a special factor of production, because it is already transformed resources that can be launched to bring profit, increase opportunities and achieve goals and benefits on the market. (shrink)

Based on a critical interpretative review of existing qualitative research investigating accounts of ‘lived experience’ of surrogates and intended parents from a relational perspective, this article proposes a typology of surrogacy arrangements. The review is based on the analysis of 39 articles, which belong to a range of different disciplines (mostly sociology, social psychology, anthropology, ethnology, and gender studies). The number of interviews in each study range from as few as seven to over one hundred. Countries covered include Australia, Canada, (...) Greece, India, Iran, Israel, Italy, Mexico, Norway, Russia, Sweden, UK, Ukraine, and the USA. Most studies focus only on surrogacy practices in one country (although often with intended parents from other countries), and some include several countries (e.g. interviewees from several countries or fieldwork in different field-sites). The proposed typology goes beyond the division between altruistic versus commercial, and traditional versus gestational surrogacy, in order to inform further research and to contribute to bioethical and policy debates on surrogacy in a transnational context. Four types of relations are identifiable: open, restricted, structured, and enmeshed. The criteria which influence these relationships are: the frequency and character of contact pre- and post-birth; expectations of both parties; the type of exchange involved in surrogacy arrangements; and cultural, legal, and economic contexts. The theoretical contribution of the article is to further the development of a relational justice approach to surrogacy. (shrink)

Raport wydany został przez Stowarzyszenie "Miasta w Internecie". Jego celem jest opracowanie modelu i katalogu funkcjonalnych kompetencji cyfrowych. Przedstawia on analizȩ badań i literatury przedmiotu, taksonomie kompetencji cyfrowych oraz projekt pomiaru funkcjonalnych kompetencji cyfrowych. Raport powstał w ramach „Projektu systemowego - działania na rzecz rozwoju szerokopasmowego Internetu ", realizowanego przez Ministerstwo Administracji i Cyfryzacji oraz Stowarzyszenie „Miasta w Internecie" pod hasłem POLSKA CYFROWA RÓWNYCH SZANS.

In this paper we consider the logics L(i,n) obtained from the (n+1)-valued Lukasiewicz logics L(n+1) by taking the order filter generated by i/n as the set of designated elements. In particular, the conditions of maximality and strong maximality among them are analyzed. We present a very general theorem that provides sufficient conditions for maximality between logics. As a consequence of this theorem, it is shown that L(i,n) is maximal w.r.t. CPL whenever n is prime. Concerning strong maximality (i.e. maximality w.r.t. (...) rules instead of only axioms), we provide algebraic arguments in order to show that the logics L(i,n) are not strongly maximal w.r.t. CPL, even for n prime. Indeed, in such case, we show that there is just one extension between L(i,n) and CPL obtained by adding to L(i,n) a kind of graded explosion rule. Finally, using these results, we show that the logics L(i,n) with n prime and i/n < 1/2 are ideal paraconsistent logics. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic article from his (...) Buffalo period first reporting his original results; it ends with works published in 2015. A few of the 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: 8 items published in the 1970s, 23 in the 1980s, 42 in the 1990s, 56 in the 2000s, and 69 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, of the Lukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably 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. -/- REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. Also, let me know of passages I should comment on. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the premises: (...) there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution (...) and the Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future contingents. They (...) point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (shrink)

The book titled The Collaborative Economy in Action: European Perspectives is one of the important outcomes of the COST Action CA16121, From Sharing to Caring: Examining the Socio-Technical Aspects of the Collaborative Economy that was active between March 2017 and September 2021. The Action was funded by the European Cooperation in Science and Technology - COST. The main objective of the COST Action Sharing and Caring is the development of a European network of researchers and practitioners interested in investigating the (...) collaborative economy models, platforms, and their socio-technological implications. The network involves scholars, practitioners, communities, and policymakers. The COST Action Sharing and Caring helped to connect research initiatives across Europe and enabled scientists to develop their ideas by collaborating with peers. This collaboration opportunity represented a boost for the participants’ research, careers, and innovation potential. The main aim of this book is to provide a comprehensive overview of the collaborative economy in European countries with a variety of its aspects for a deeper understanding of the phenomenon as a whole. For this reason, in July 2017, an open call for country reports was distributed among the members of the COST Action Sharing and Caring. Representatives of the member countries were invited to produce short country reports covering: definition of the CE; types and models of the CE; key stakeholders involved; as well as legislation and technological tools relevant for the CE. Submitted reports varied in length and regarding the level of detail included, in accordance with how much information was available in each respective country at the time of writing. Editors of the book have compiled these early reports into a summary report, which was intended as a first step in mapping the state of the CE in Europe. The Member Countries Report on the Collaborative Economy, edited by Gaia Mosconi, Agnieszka Lukasiewicz, and Gabriela Avram that was published on the Sharing and Caring website, represented its first synergetic outcome and provided an overview of the CE phenomenon as interpreted and manifested in each of the countries part of the network. Additionally, Sergio Nassare-Aznar, Kosjenka Dumančić, and Giulia Priora compiled a Preliminary Legal Analysis of Country Reports on Cases of Collaborative Economy. In 2018, after undertaking an analysis of the previous reports’ strengths and weaknesses, the book editors issued a call for an updated version of these country reports. Prof. Ann Light advised the editorial team, proposing a new format for country reports and 4000 words limit. The template included: Introduction, Definition, Key Questions, Examples, Illustration, Context, Developments, Issues, Other Major Players, and Relevant Literature. The new template was approved by the Management Committee in October 2018. The task force that had supported the production of the first series of country reports acted as mentors for the team of authors in each country. The final reports arrived at the end of 2018, bringing the total number of submissions to 30. A call for book editors was issued, and a new editorial team was formed by volunteers from the participants of the COST Action: Andrzej Klimczuk, Vida Česnuityte, Cristina Miguel, Santa Mijalche, Gabriela Avram, Bori Simonovits, Bálint Balázs, Kostas Stefanidis, and Rafael Laurenti. The editorial team organized the double-blind reviews of reports and communicated to the authors the requirements for improving their texts. After reviews, the authors submitted updated versions of their country reports providing up-to-date interdisciplinary analysis on the state of the CE in 2019, when the reports were collected. During the final phase, the chapters were again reviewed by the lead editors together with all editorial team members. At the time, the intention was to update these reports again just before the end of the COST Action Sharing and Caring in 2021 and to produce a third edition. However, the COVID-19 pandemic changed these plans. Thus, this final volume was created by 82 scholars-editors and contributors-and consists of reports on 27 countries participating in the COST Action. M4 - Citavi. (shrink)

I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting natural (...) deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for Lukasiewicz's three-valued logic. (shrink)

Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.

This note considers deductive systems for the operator a of unprovability in some particular propositional normal modal logics. We give thus complete syntactic characterization of these logics in the sense of Lukasiewicz: for every formula  either `  or a  (but not both) is derivable. In particular, purely syntactic decision procedure is provided for the logics under considerations.

A hundred years ago Frege had published most of his arguments against psychologism and Husserl was busy writing his Logical Investigations, which was to appear at the turn of the century and open with a long onslaught on psychologism. The arguments of these two logicians against the psychologistic view - of Mill, Erdmann and many others - that the discipline of logic, its sentences, or its "laws", deal with psychological phenomena met with widespread approval from those best qualified to judge (...) (for example Lukasiewicz). They set the agenda for most twentieth century work in exact, "scientific", or analytic philosophy. As the century draws to its close, many of the arguments of Frege and Husserl have been found wanting by analytic philosophers and cognitive scientists who are prepared to argue that the laws of logic are just laws of human thought. (shrink)

This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...) method to non-classical fragments equipped with weaker implications (that avoid Curry's objection). This is the case, for example, of Jan Lukasiewicz's n-valued logics and Wilhelm Ackermann's logic of restricted implication. Besides such problems, both Henkin's method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to mo- tivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a ¯first-order positive logic as well as the philosophical connection between truth and meaning are dis- cussed from a conceptual point of view. (shrink)

Why does Aristotle not use the copulative wording for categorical propositions, but instead the clumsier terminological formulations (e. g. the B belongs to every A) in his syllogistic? The proposed explanations by Alexander, Lukasiewicz and Patzig: Aristotle wants to make clear the difference between subject and predicate, seems to be insufficient. In quantified categorical propositions, this difference is always sufficiently clear by the use of the pronouns going with the subject expressions. Aristotle opts for the terminological wording because in premiss (...) pairs of figures two and three he can thus suppress the middle term in one of the premisses and connect the major and minor term, using connecting particles. This renders the syllogisms more transparent. Had he used the copulative wording instead, he would have run into difficulties, in particular with o-propositions among the premisses (i. e. in Baroco and Bocardo) because in these cases the pronoun expressing the quantification would have to go with the subject term, the negation with the predicate. (shrink)

Etude de l'extension par la negation semi-intuitionniste de la logique positive des propositions appelee logique C, developpee par A. Urquhart afin de definir une semantique relationnelle valable pour la logique des valeurs infinies de Lukasiewicz (Lw). Evitant les axiomes de contraction et de reduction propres a la logique classique de Dummett, l'A. propose une semantique de type Routley-Meyer pour le systeme d'Urquhart (CI) en tant que celle-la ne fournit que des theories consistantes pour la completude de celui-ci.

This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".

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)

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)

This presentation includes a complete bibliography of John Corcoran’s publications devoted at least in part to Aristotle’s logic. Sections I–IV list 20 articles, 43 abstracts, 3 books, and 10 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article that antedates Corcoran’s Aristotle’s studies and the Journal of Symbolic Logic article first reporting his original results; it ends with works published in 2015. A few of the items are annotated with endnotes connecting them with (...) other work. In addition, Section V “Discussions” is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 22 in the 1980s, 39 in the 1990s, 56 in the 2000s, and 65 in the current decade. The secondary bibliography is annotated with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. As is evident from the Acknowledgements sections, all of Corcoran’s publications benefited from correspondence with other scholars, most notably Timothy Smiley, Michael Scanlan, and Kevin Tracy. All of Corcoran’s Greek translations were done in consultation with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. (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)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of (...) Gödel 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

This review places this translation and commentary on Book A of Prior Analytics in historical, logical, and philosophical perspective. In particular, it details the author’s positions on current controversies. The author of this translation and commentary is a prolific and respected scholar, a leading figure in a large and still rapidly growing area of scholarship: Prior Analytics studies PAS. PAS treats many aspects of Aristotle’s Prior Analytics: historical context, previous writings that influenced it, preservation and transmission of its manuscripts, editions (...) of its manuscripts, interpretations, commentaries, translations, and its influence on subsequent logic, philosophy, and mathematics. All this attention is warranted because Prior Analytics marks the origin of logic: the field that, among other things, asks of a given proposition whether it follows from a given set of propositions; and, if it follows, how we determine that it follows; and, if it does not follow, how we determine that it does not follow. This translation and commentary is not suitable for use in an undergraduate course. It has too many quirks that the teacher would want to warn against. A copy editor should have dealt with these things and with other matters such as incorrect punctuation and improper end-of-line divisions. The prose is heavily laden with glaring clichés. The one-page preface contains “longer than I care to remember”, “more than I can possibly list here”, “first and foremost”, and “last and by no means least”—a sentence later is devoted to thanking the “incredibly meticulous and helpful copy-editor”. A few pages later the translator reveals the need “to find a path between the Scylla … and the Charybdis …”. Moreover, the index is far from meeting the needs of undergraduate students. The attention to scholarly detail is not what one hoped for from Oxford University Press. At 26b10-15, this translation reads “let swan and white be chosen as white things” for what Smith correctly translates “let swan and snow be selected from among those white things”. At 41b16, “angles AB and CD” should read “angles AC and BD”. Despite this book’s flaws, it will be found useful if not indispensable for those currently engaged in Prior Analytics studies. The alternatives suggested to Robin Smith’s translation choices are often worth consideration. It is to be emphasized, however, that this book is unsuitable for those entering Prior Analytics studies. (shrink)