Are there things that we must never do, no matter how untypical the circumstances and “unorthodox” our deontic ideas might be? In this essay I try to make evident that acts I call “pure sadist acts” satisfy this description. I discuss several examples of such acts and alert to their being not always easy to distinguish from certain others. Norms prohibiting such acts I call “true”, and I suggest that other, less suggestive, norms might also be (derivatively) true, if the (...) pertinent acts stand in certain relations with the former ones. I incorporate some ideas from Hume, as well as from elementary model theory, to make mine clearer. (shrink)

G.E.M. Anscombe znalazła w Etyce nikomachejskiej Arystotelesa pewną niekonsekwencję: Arystoteles zdaje się twierdzić, że cokolwiek wynika z namysłu, jest wyborem, i że słaby wolą może się skutecznie namyślać, ale i że — z drugiej strony — on nie wybiera. Anscombe znajduje rozwiązanie tej sprzeczności: Arystoteles powinien był, jej zdaniem, zaznaczyć, że by z namysłu wynikał wybór, to, ze względu na co się namyślamy, musiałby sam być przedmiotem uprzedniego wyboru. Badam to rozwiązanie i znajduję jego słabe strony, jak niebezpieczeństwo nieskończonego regresu, (...) trudność prześledzenia genealogii wyborów i nieosiągalność pierwotnego celu. Pomimo to próbuję je ulepszyć, poddając pod dyskusję, czy tego rodzaju pierwotne wybory, jakich wymaga rozwiązanie Anscombe, nie są jednak czasem naprawdę podejmowane i czy ich cele nie są rozkładalne na takie, które można realistycznie mieć nadzieję osiągnąć. (shrink)

In this essay, I argue that for sentences of form “A is B” there isa distinction between identity and “mere” predication to be made, and thatLeśniewski’s Ontology puts us in a better position to make this distinctionthan first-order predicate logic. I also gesture at how Ontology could helpus to decide questions of identity. The nub of the matter seems to be a“primordial” sense of the copula that Ontology has at its basis.

In this article the author argues that the 'Liar' Paradox sentence: "This sentence is false" is neither true nor false because it does not express any proposition or "Satz" in the sense of Bernard Bolzano. The difficulty left open is that by a similar line of reasoning also the sentence "This sentence is true" would not express any proposition, yet it is sometimes taken to be true (on the strength of a theorem by Loewe).

This essay attempts to define a value (not «the» value) of what, in it, comes to be called an «eccentric». In a largely standardized and stereotyped society like ours of the present times, a society where a human being can be creative but only within certain predefined limits, diverse groups exert all kinds of pressure on an individual, and with growing geographical as well as social mobility these kinds of pressure, intertwined and superimposed, give rise to overdue stress and situations (...) of psychological and maybe even metaphysical impossibility. One solution is a «no notice» attitude, in which all rules but a few selected ones are more or less dignifiedly flouted. Another solution is an attitude of an eccentric, close to, but not identical with, that of John Henry Newman’s «gentleman». I try to define this attitude and show one of its values: enabling us to evade too much social pressure without estranging us from society. (shrink)

Amongst the entities making up social reality, are there necessary relations whose necessity is not a mere reflection of the logical connections between corresponding concepts? We distinguish three main groups of answers to this question, associated with Hume and Adolf Reinach at opposite extremes, and with Searle who occupies a position somewhere in the middle. We first set forth Reinach’s views on what he calls ‘material necessities’ in the realm of social entities. We then attempt to show that Searle has (...) not identified a sustainable position somewhere between the Humean and the Reinachian extremes. This is because Searle’s position is threatened by circularity, and to steer clear of that danger it must incorporate at least some elements of Reinach’s essentialism. (shrink)

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński.

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. (...) Ojeda ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

Polskie przepisy prawne formułujące warunki dopuszczalności eksperymentu medycznego, a więc ipso facto wyznaczające jego granice, można różnorako interpretować, zwłaszcza w tym zakresie, w jakim określają wymagany dla przeprowadzenia eksperymentu bilans związanych z nim możliwych korzyści i szkód. W artykułach prawniczych komentujących te przepisy w zasadzie jednak brak prób systematycznego i (na tyle, na ile pozwala na to sam przedmiot analizy) ścisłego wyróżnienia tych interpretacji w języku tzw. teorii racjonalnego wyboru (rational choice theory), teorii szczególnie przydatnej w tym kontekście z uwagi (...) na jej rozbudowany aparat pojęciowy pozwalający badać różnorakie konfiguracje relacji między costs i benefits. Artykuł próbuje wypełnić tę lukę: wyróżnione w nim zostały różne interpretacje przepisów prawnych określających warunki dopuszczalności eksperymentu medycznego; interpretacje te zostały również poddane ocenie. (shrink)

In [5] we study Nonassociative Lambek Calculus augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus. Here we study a weaker logic InNL, i.e. NL with two involutive negations. We present a one-sided sequent system for InNL, admitting cut elimination. We also prove that InNL is PTIME.

Le Maitre de Claville należy do tradycji moralistycznej klasycyzmu francuskiego i stara się podołać niebagatelnemu zadaniu stworzenia portretu człowieka godnego, honnete homme’a. Usiłując zdefiniować pojęcie cnoty, odwołuje się do własnego smaku estetycznego, subiektywnych emocji radości, zachwytu i rozkoszy wynikających z obcowania z pięknem. Z dużą dowolnością wybiera to, co sam uważa za najdoskonalsze z antyku, Biblii i w najnowszych prądach myślowych swego czasu: m.in. racjonalizmu. Połączenie tych trzech elementow nie jest łatwe. W jego rozważaniach ujawnia się wysiłek moralisty starającego się (...) nadać swej koncepcji kształt logicznie uporządkowanej doktryny, z elementow swobodnie wybranych, nie zawsze ze sobą zgodnych. (shrink)

The introduction of the concept of the field of rationality and its correlates (the field of potentiality and the formal field) by Józef Życiński and Michał (Michael) Heller opened up space for the philosophical explanation of the unreasonable effectiveness of mathematics in capturing regularities built into the physical reality. The presented study is a response to the clear incentive of these authors towards the development of the understanding and applicability of these concepts. It is argued that identifying symmetries within the (...) field of rationality not only helps to articulate the fundamental role of symmetries in physics but also provides a better grasp on the issue of potentialities for the emergence of complexity in the Universe. Additionally, some global properties of this field can be more deeply comprehended. By indicating the drawbacks and limitations of this approach, perspectives for further inquiry into the meaning and usefulness are suggested. (shrink)

Expression of physical motion (e.g., man runs by) shows systematic variability not only between language types (i.e., inter-typological) but also within a language type (i.e., intra-typological). In this study, we asked whether the patterns of variability extend to metaphorical motion events (e.g., time runs by). Our analysis of randomly selected 450 physical motion (150/language) and 450 metaphorical motion (150/language) event descriptions from written texts originally produced by German, Polish, and Spanish authors showed strong inter-typological differences in the expression of both (...) event types. German and Polish speakers differed from Spanish speakers in how they packaged manner and path components of a motion event; they also differed in how extensively they expressed each component in their lexicalization of motion. The strong inter-typological differences were accompanied by more modest intra-typological variability: Polish and German writers differed in their packaging and lexicalization of manner and path components of metaphorical—but not physical—motion events. Our results provide evidence for robust inter-typological differences evident in the expression of both physical and metaphorical motion, along with less robust intra-typological differences, largely evident in the expression of metaphorical motion. Our study thus highlights event type as an important factor in determining crosslinguistic variation in motion expression. (shrink)

Involutive Nonassociative Lambek Calculus is a nonassociative version of Noncommutative Multiplicative Linear Logic, but the multiplicative constants are not admitted. InNL adds two linear negations to Nonassociative Lambek Calculus ; it is a strongly conservative extension of NL Logical aspects of computational linguistics. LNCS, vol 10054. Springer, Berlin, pp 68–84, 2016). Here we also add unary modalities satisfying the residuation law and De Morgan laws. For the resulting logic InNLm, we define and study phase spaces. We use them to prove (...) the cut elimination theorem for a one-sided sequent system for InNLm, introduced here. Phase spaces are also employed in studying auxiliary systems InNLm, assuming the k-cyclic law for negation. The latter behave similarly as Classical Nonassociative Lambek Calculus, studied in de Groote and Lamarche :355–388, 2002) and Buszkowski. We reduce the provability in InNLm to that in InNLm. This yields the equivalence of type grammars based on InNLm with -free) context-free grammars and the PTIME complexity of InNLm. (shrink)

Traditional martial arts continue to be interesting and inspiring to many people around the globe. Some of their contemporary adaptations attract enthusiasts for whom they are especially important. In this article, the author bases his observations on his own long-term participation. The analysis takes into account the influence of the perspectives of Jigoro Kano and several other creators of modern varieties of Japanese budo. It can be concluded that regular, even daily, practice—cultivating martial arts and internalizing its values—co-creates the lifestyle (...) of instructors and advanced students. (shrink)