Vít Gvoždiak published a reconciliatory analysis of Searle’s social ontology with semiotics in Gvoždiak (2012). Without prior knowledge of his paper, an analysis of the same subject appeared in Msimang (2014). Even though Searle’s social ontology is a common point of reference in the formulation of semiotics in these papers, it also serves as a point of departure in their understanding of semiotics and its development. The semiotic theory expressed in Gvoždiak (2012) is an inherently linguistic (speech act centred) theory, (...) whereas the semiotic theory presented in Msimang (2014) tends more towards a general theory of communicative systems in which social ontology, which follows from speech act theory, is an interesting part. It is my purpose in this note to contrast the two positions of semiotic theory as they appear in the aforementioned papers in reference to their appropriation of Searle’s social ontology. (shrink)

Facial perception plays a key role in various social interactions, including formidability assessments. People make relatively accurate inferences about men’s physical strength, aggressiveness, and success in physical confrontations based on facial cues. The physical factors related to the perception of fighting ability and their relative contribution have not been investigated yet, since most existing studies employed only a limited number of threat potential measures or proxies. In the present study, we collected data from Czech Mixed Martial Arts (MMA) fighters regarding (...) their fighting success and physical performance in order to test physical predictors of perceived fighting ability made on the basis of high-fidelity facial photographs. We have also explored the relationship between perceived and actual fighting ability. We created standardized 360° photographs of 44 MMA fighters which were assessed on their perceived fighting ability by 94 raters (46 males). Further, we obtained data regarding their physical characteristics (e.g. age, height, body composition) and performance (MMA score, isometric strength, anaerobic performance, lung capacity). In contrast to previous studies, we did not find any significant links between the actual and perceived fighting ability. The results of a multiple regression analysis have, however, shown that heavier fighters and those with higher anaerobic performance were judged as more successful. Our results suggest that certain physical performance-related characteristics are mirrored in individuals’ faces but assessments of fighting success based on facial cues are not congruent with actual fighting performance. (shrink)

From the perspective of philosophy of science and technologies, we firstly attend to the issue of the role of nanotechnologies within the evolution of technologies. We recognize their utmost importance in the respect that they are technologies of life itself. We further explain that the nano-level is the domain of intersection of the rules of quantum physics and traditional Newtonian physics. This is our starting point from which we discuss the issue of conditions under which minimizing things also changes their (...) functional essence. We use the example of the Drexler vs. Smalley debate to demonstrate the paradigmatic incomparability of the two perspectives and the physical-chemical and engineering-related limits of nanotechnologies. We discuss to what extent are the dangers and ethical implications emerging from Drexler’s contemplations real, be it what he calls the “grey goo” problem or the issues of molecular production. We regard certain problems linked to synthetic biology as more serious. We conclude our text with the consideration that the human civilization should think of the possibilities of nanotechnologies in the development of life as an existential challenge. (shrink)

A conversation can be conceived as aiming to circumscribe a set of possibilities that are relevant to the goals of the conversation. This set of possibilities may be conceived as determined by the goals and objective circumstances of the interlocutors and not by their propositional attitudes. An indicative conditional can be conceived as circumscribing a set of possibilities that have a certain property: If the set of relevant possibilities is subsequently restricted to one in which the antecedent holds, then it (...) will be restricted as well to one in which the consequent holds. We will identify a number of desiderata concerning the validity of arguments; we will develop a formally precise semantics for conditionals conceived in this way that satisfies the desiderata, and we will present a deductive calculus that is sound and complete with respect to the semantics. Finally, we will argue that the semantics compares well, both formally and foundationally, with two other semantic theories of indicative conditionals that satisfy the desiderata, namely, those of Gillies and Bledin. (shrink)

This paper introduces a generalized version of inquisitive semantics, denoted as GIS, and concentrates especially on the role of disjunction in this general framework. Two alternative semantic conditions for disjunction are compared: the first one corresponds to the so-called tensor operator of dependence logic, and the second one is the standard condition for inquisitive disjunction. It is shown that GIS is intimately related to intuitionistic logic and its Kripke semantics. Using this framework, it is shown that the main results concerning (...) inquisitive semantics, especially the axiomatization of inquisitive logic, can be viewed as particular cases of more general phenomena. In this connection, a class of non-standard superintuitionistic logics is introduced and studied. These logics share many interesting features with inquisitive logic, which is the strongest logic of this class. (shrink)

This paper introduces the inquisitive extension of R, denoted as InqR, which is a relevant logic of questions based on the logic R as the background logic of declaratives. A semantics for InqR is developed, and it is shown that this semantics is, in a precisely defined sense, dual to Routley-Meyer semantics for R. Moreover, InqR is axiomatized and completeness of the axiomatic system is established. The philosophical interpretation of the duality between Routley-Meyer semantics and the semantics for InqR is (...) also discussed. (shrink)

This paper introduces and explores a conservative extension of inquisitive logic. In particular, weak negation is added to the standard propositional language of inquisitive semantics, and it is shown that, although we lose some general semantic properties of the original framework, such an enrichment enables us to model some previously inexpressible speech acts such as weak denial and ‘might’-assertions. As a result, a new modal logic emerges. For this logic, a Fitch-style system of natural deduction is formulated. The main result (...) of this paper is a theorem establishing the completeness of the system with respect to inquisitive semantics with weak negation. At the conclusion of the paper, the possibility of extending the framework to the level of first order logic is briefly discussed. (shrink)

This paper combines propositional dynamic logic ) with propositional inquisitive logic ). The result of this combination is a logical system \ that conservatively extends both \ and \, and, moreover, allows for an interaction of the question-forming operator from \ with the structured modalities from \. We study this system from a semantic as well as a syntactic point of view. These two perspectives are linked via a completeness proof, which also shows that \ is decidable.

In this paper we introduce a class of inquisitive Heyting algebras as algebraic structures that are isomorphic to algebras of finite antichains of bounded implicative meet semilattices. It is argued that these structures are suitable for algebraic semantics of inquisitive superintuitionistic logics, i.e. logics of questions based on intuitionistic logic and its extensions. We explain how questions are represented in these structures and provide several alternative characterizations of these algebras. For instance, it is shown that a Heyting algebra is inquisitive (...) if and only if its prime filters and filters generated by sets of prime elements coincide and prime elements are closed under relative pseudocomplement. We prove that the weakest inquisitive superintuitionistic logic is sound with respect to a Heyting algebra iff the algebra is what we call a homomorphic p-image of some inquisitive Heyting algebra. It is also shown that a logic is inquisitive iff its Lindenbaum–Tarski algebra is an inquisitive Heyting algebra. (shrink)

This study explores the concept of rhythm and the relation of rhythm to the environment. Rhythm is not conceived of simply as a linear sequence of beats and pauses, but as a formative dynamic principle operating in all living systems. Following the rhythmanalysis of H. Levebvre and C. Regulier, phenomenological analyses of rhythm in Schutz and Richir, and a deleuzian processual approach to rhythm and milieu, this study attempts to address rhythm in terms of polyrhythmic bundles, which may be in (...) states of eurhythmia or arrhythmia. Specifically, the study focuses on three types of polyrhythmic arrangements – individual organism, garden, and city, on which it shows several types of rhythmic formations and rhythmic principles, whose interplay or discrepancy determines the formation of distinct types of living environment. (shrink)

In this paper, Carnap's modal logic C is reconstructed. It is shown that the Carnapian approach enables us to create some epistemic logics in a relatively straightforward way. These epistemic modifications of C are axiomatized and one of them is compared with intuitionistic logic. At the end of the paper, some connections between this epistemic logic and Medvedev's logic of finite problems and inquisitive semantics are shortly discussed.

We provide a complete binary implicational axiomatization of the positive fragment of propositional dynamic logic. The intended application of this result are completeness proofs for non-classical extensions of positive PDL. Two examples are discussed in this article, namely, a paraconsistent extension with modal De Morgan negation and a substructural extension with the residuated operators of the non-associative Lambek calculus. Informal interpretations of these two extensions are outlined.

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2012, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

We ask how to use machine learning to expand observability, which presently depends on human learning that informs conceivability. The issue is engaged by considering the question of correspondence between conceived observability counterfactuals and observable, yet so far unobserved or unconceived, states of affairs. A possible answer lies in importing out of reference frame content which could provide means for conceiving further observability counterfactuals. They allow us to define high-fidelity observability, increasing the level of correspondence in question. To achieve high-fidelity (...) observability, we propose to use generative machine learning models as the providers of the out of reference frame content. From an applied point of view, such a role of generative machine learning models shows an emerging dimension of human-machine cooperation. (shrink)

The paper proposes a synthesis between human scientists and artificial representation learning models as a way of augmenting epistemic warrants of realist theories against various anti-realist attempts. Towards this end, the paper fleshes out unconceived alternatives not as a critique of scientific realism but rather a reinforcement, as it rejects the retrospective interpretations of scientific progress, which brought about the problem of alternatives in the first place. By utilising adversarial machine learning, the synthesis explores possibility spaces of available evidence for (...) unconceived alternatives providing modal knowledge of what is possible therein. As a result, the epistemic warrant of synthesised realist theories should emerge bolstered as the underdetermination by available evidence gets reduced. While shifting the realist commitment away from theoretical artefacts towards modalities of the possibility spaces, the synthesis comes out as a kind of perspectival modelling. (shrink)

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2013, Hejnice, the Czech Republic. The articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.

We investigate an information based generalization of the incompatibility-frame treatment of logics with non-classical negation connectives. Our framework can be viewed as an alternative to the neighbourhood semantics for extensions of lattice logic by various negation connectives, investigated by Hartonas. We set out the basic semantic framework, along with some correspondence results for extensions. We describe three kinds of constructions of canonical models and show that double negation law is not canonical with respect to any of these constructions. We also (...) compare our semantics to Hartonas’. (shrink)

V tomto článku předkládám některé důvody proti Dvořákovu nedeterministickému pojetí svobodné vůle, které vyložil ve své nedávno publikované knize Kauzalita činitele. Zejména se zabývám Dvořákovým řešením problému náhody, podle kterého je akt svobodné vůle náhodný do té míry, do jaké se nepodřizuje deterministickým zákonům, a do této míry také nemůže být předmětem morálního hodnocení. Proti Dvořákově koncepci stavím vlastní pojetí svobodné vůle, které je variací na to, co Dvořák označuje jako „standardní teorie“. Z hlediska tohoto pojetí je svobodná vůle možná (...) i v deterministickém světě. Analyzuji, v čem spočívá volba mezi alternativními možnostmi, a argumentuji, že je možné mít kontrolu nad vlastním jednáním, i když nemáme kontrolu nad minulostí, která toto jednání jednoznačně determinuje. Zároveň vysvětluji, proč se v ostrém rozporu s Dvořákovou koncepcí domnívám, že člověk v deterministickém světě může nést odpovědnost za své činy. (shrink)

The book is mainly concerned with the problem of the logical analysis of hypothetical (conditional) statements.

In this paper, we present Carnap’s modal logic C, which is one of the first attempts to use the concept of possible world in shaping the semantics for modalities. Some older technical results, which concern the logic C, are summarized, namely two different kinds of axiomatization of C, one unusual characterization of C as the only set of formulae having one special property, and semantical and syntactical relations of C to S5. The fact that C is not closed under the (...) universal substitution is shortly discussed. Finally, the predicate version of C, which is not axiomatizable, is defined. (shrink)

This volume of the Logica Yearbook series brings together articles presented at the annual international symposium Logica 2010, Hejnice, the Czech Republic. the articles range over mathematical and philosophical logic, history and philosophy of logic, and the analysis of natural language.