The paper reports our research aiming at utilization of human interactive communication modeling principles in application to a novel interaction paradigm designed for brain–computer/machine-interfacing (BCI/BMI) technologies as well as for socially aware intelligent environments or communication support systems. Automatic procedures for human affective responses or emotional states estimation are still a hot topic of contemporary research. We propose to utilize human brain and bodily physiological responses for affective/emotional as well as communicative interactivity estimation, which potentially could be used in the (...) future for human–machine/environment interaction design. As a test platform for such an intelligent human–machine communication application, an emotional stimuli paradigm was chosen to evaluate brain responses to various affective stimuli in an emotional empathy mode. Videos with moving faces expressing various emotional displays as well as speech stimuli with similarly emotionally articulated sentences are presented to the subjects in order to further analyze different affective responses. From information processing point of view, several challenges with multimodal signal conditioning and stimuli dynamic response extraction in time frequency domain are addressed. Emotions play an important role in human daily life and human-to-human communication. This is why involvement of affective stimuli principles to human–machine communication or machine-mediated communication with utilization of multichannel neurophysiological and periphery physiological signals monitoring techniques, allowing real-time subjective brain responses evaluation, is discussed. We present our preliminary results and discuss potential applications of brain/body affective responses estimation for future interactive/smart environments. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

The paper will compare two methods used in the design of diagnostic strategies. The first one is a method that precises predictive value of diagnostic tests. The second one is based on the use of Bayes’ theorem. The main aim of this article is to identify the epistemological assumptions underlying both of these methods. For the purpose of this objective, example projects of one and multi-stage diagnostic strategy developed using both methods will be considered.

This article provides current Schwartz Values Survey (SVS) data from samples of business managers and professionals across 50 societies that are culturally and socioeconomically diverse. We report the society scores for SVS values dimensions for both individual- and societal-level analyses. At the individual-level, we report on the ten circumplex values sub-dimensions and two sets of values dimensions (collectivism and individualism; openness to change, conservation, self-enhancement, and self-transcendence). At the societal-level, we report on the values dimensions of embeddedness, hierarchy, mastery, affective (...) autonomy, intellectual autonomy, egalitarianism, and harmony. For each society, we report the Cronbach’s α statistics for each values dimension scale to assess their internal consistency (reliability) as well as report interrater agreement (IRA) analyses to assess the acceptability of using aggregated individual level values scores to represent country values. We also examined whether societal development level is related to systematic variation in the measurement and importance of values. Thus, the contributions of our evaluation of the SVS values dimensions are two-fold. First, we identify the SVS dimensions that have cross-culturally internally reliable structures and within-society agreement for business professionals. Second, we report the society cultural values scores developed from the twenty-first century data that can be used as macro-level predictors in multilevel and single-level international business research. (shrink)

In the article "Podstawy analizy metodologicznej kanonów Milla" [2] Jerzy Łoś proposed an operator that refered sentences to temporal moments. Let us look, for example, at a sentence ‘It is raining in Toruń’. From a logical point of view it is a propositional function, which does not have any logical value, unless we point at a temporal context from a fixed set of such contexts. If the sentence was considered today as a description of a state of affairs, it could (...) be true. If it was considered yesterday, it could be false. 1 The operator enables us to connect any sentence p with any temporal context t. Such a complex sentence we read as: a sentence p is realized at a temporal context t (a point of time, an interval of some kind, etc). (shrink)

According to the so-called "standard account" regarding the problem of material constitution, a statue and a lump of clay that makes it up are not identical. The usual objection is that this view yields many objects in the same place at the same time. Lynne Rudder Baker's theory of constitution is a recent and sophisticated version of the standard account. She argues that the aforementioned objection can be answered by defining a relation of being the same P as (sameP). In (...) this paper I shall examine consequences of her response and show that sameP has wrong formal properties, as a result of which this solution cannot be accepted. (shrink)

We study the monadic fragment of second order intuitionistic propositional logic in the language containing the standard propositional connectives and propositional quantifiers. It is proved that under the topological interpretation over any dense-in-itself metric space, the considered fragment collapses to Heyting calculus. Moreover, we prove that the topological interpretation over any dense-in-itself metric space of fragment in question coincides with the so-called Pitts' interpretation. We also prove that all the nonstandard propositional operators of the form q $\mapsto \exists$p ), where (...) F is an arbitrary monadic formula of the variable p, are definable in the language of Heyting calculus under the topological interpretation of intuitionistic logic over sufficiently regular spaces. (shrink)

The subject of this article is to discuss epistemological issues related to the pro-cess of obtaining empirical evidence in medicine. This paper will present how N. Cartwright, J. Worrall and P. Urbach describe the function of the randomisation pro-cedure in this process. Based on these findings, it will be possible to define an alter-native method of obtaining empirical evidence for the purpose of making clinical decisions. This method involves data analysis using the Rough Set Theory proposed by Z. Pawlak. By (...) applying this method, a deterministic algorithm for making clinical decisions can be formulated. Being an interesting alternative to statistical approaches that dominate in medicine, the RST method generates specific epistemological problems. Therefore, it seems to constitute an interesting subject of analysis for philosophers of science. (shrink)

The aim of this paper is to study the refutation system consisting of the refutation axiom p ∧ ¬p → q and the refutation rules: reverse substitution and reverse modus ponens (B/A, if A → B ∈ RM). It is shown that the refutation system is characteristic for the logic of the 3-element RM algebra.

The paper deals with the procedure of explaining the secondary immune response. First, the basic concepts of the mechanistic account of explanation developed by Machamer, Darden and Craver will be considered. Subsequently, I will focus on the concepts describing the activation of the elements of the immunological system viewed as a signal decoding process. The analysis will make it possible to argue for the thesis that the explanations of the secondary immune response, formulated in immunology, aim to describe the possible (...) procedures of simplifying the signal decoding process. The following considerations will make it possible to show the specificity of the mechanistic explanations formulated in immunology, and to demonstrate their significance for medical sciences. (shrink)

In recent years, the so-calledindispensability argument has been given a lotof attention by philosophers of mathematics.This argument for the existence of mathematicalobjects makes use of the fact, neglected inclassical schools of philosophy of mathematics,that mathematics is part of our best scientifictheories, and therefore should receive similarsupport to these theories. However, thisobservation raises the question about the exactnature of the alleged connection betweenexperience and mathematics (for example: is itpossible to falsify empirically anymathematical theorems?). In my paper I wouldlike to address this (...) question by consideringthe explicit assumptions of different versionsof the indispensability argument. My primaryclaim is that there are at least three distinctversions of the indispensability argument (andit can be even suggested that a fourth,separate version should be formulated). I willmainly concentrate my discussion on thisvariant of the argument, which suggests thepossibility of empirical confirmation ofmathematical theories. A large portion of mypaper will focus on the recent discussion ofthis topic, starting from the paper by E.Sober, who in my opinion put reasonablerequirements on what is to be counted as anempirical confirmation of a mathematicaltheory. I will develop his model into threeseparate scenarios of possible empiricalconfirmation of mathematics. Using an exampleof Hilbert space in quantum mechanicaldescription I will show that the most promisingscenario of empirical verification ofmathematical theories has neverthelessuntenable consequences. It will be hypothesizedthat the source of this untenability lies in aspecific role which mathematical theories playin empirical science, and that what is subjectto empirical verification is not themathematics used, but the representabilityassumptions. Further I will undertake theproblem of how to reconcile the allegedempirical verification of mathematics withscientific practice. I will refer to thepolemics between P. Maddy and M. Resnik,pointing out certain ambiguities of theirarguments whose source is partly the failure todistinguish carefully between different sensesof the indispensability argument. For thatreason typical arguments used in the discussionare not decisive, yet if we take into accountsome metalogical properties of appliedmathematics, then the thesis that mathematicshas strong links with experience seems to behighly improbable. (shrink)

The paper consists of two parts. The first part begins with the problem of whether the original three-valued calculus, invented by J. Łukasiewicz, really conforms to his philosophical and semantic intuitions. I claim that one of the basic semantic assumptions underlying Łukasiewicz's three-valued logic should be that if under any possible circumstances a sentence of the form "X will be the case at time t" is true (resp. false) at time t, then this sentence must be already true (resp. false) (...) at present. However, it is easy to see that this principle is violated in Lukasiewicz's original calculus (as the cases of the law of excluded middle and the law of contradiction show). Nevertheless it is possible to construct (either with the help of the notion of "supervaluation", or purely algebraically) a different three-valued, semi-classical sentential calculus, which would properly incorporate Łukasiewicz's initial intuitions. Algebraically, this calculus has the ordinary Boolean structure, and therefore it retains all classically valid formulas. Yet because possible valuations are no longer represented by ultrafilters, but by filters (not necessarily maximal), the new calculus displays certain non-classical metalogical features (like, for example, nonextensionality and the lack of the metalogical rule enabling one to derive "p is true or q is true" from" 'p ∨ q' is true"). The second part analyses whether the proposed calculus could be useful in formalizing inferences in situations, when for some reason (epistemological or ontological) our knowledge of certain facts is subject to limitation. Special attention should be paid to the possibility of employing this calculus to the case of quantum mechanics. I am going to compare it with standard non-Boolean quantum logic (in the Jauch-Piron approach), and to show that certain shortcomings of the latter can be avoided in the former. For example, I will argue that in order to properly account for quantum features of microphysics, we do not need to drop the law of distributivity. Also the idea of "reading off" the logical structure of propositions from the structure of Hilbert space leads to some conceptual troubles, which I am going to point out. The thesis of the paper is that all we need to speak about quantum reality can be acquired by dropping the principle of bivalence and extensionality, while accepting all classically valid formulas. (shrink)

Some simple algebraic properties, described by universally quantified disjunctions of special identities, are established. Such sentences seem to be useful for an investigation on finite algebras and its products. These considerations are exemplified by results concerning distributive lattices. By P the polynomial algebra of a finite type t is understood. P is the n-ary polynomial algebra . No notational distinction is made between an algebra and its underlying set. Similarly by the same symbol is denoted each polynomial and its realization (...) in a given algebra. (shrink)

In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic K t 4 plus a new axiom ( P ): ‘ p Λ G p ⊃ P G p ’. This formula was used by Prior in his original analysis of Master Argument. ( P ) (...) is usually added as an extra axiom to an axiomatization of the logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by ( P ) in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction. (shrink)

In this paper we examine Prior's reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic $K_t 4$ plus a new axiom $:p \wedge Gp \supset PGp'$. This formula was used by Prior in his original analysis of Master Argument. is usually added as an extra axiom to an axiomatization of the (...) logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction. (shrink)

In this article I consider whether Aquinas’ arguments for the claim that God is His essence are conclusive, and what was his purpose of upholding this thesis. I show his proofs from Summa Theologiae and Summa Contra Gentiles to be problematic and argue that the defense of Aquinas’ views on that matter suggested by certain remarks of P. T. Geach is flawed.

ON SPINOZA’S PROOFS OF (SPINOZIAN) GOD’S EXISTENCE AND THE PROOF OF THE UNIQUENESS OF THE SPINOZIAN SUBSTANCE In this paper I analyze Spinozian ontological arguments for God’s existence from Ethica ordine geometrico demonstrata. I argue that the first proof suffers from circulus vitiosus, whereas the others have at least one non-obvious premise. I also consider P. Gut’s modification of the first proof, reported to me during the conference “The Philosophy of the 17th Century—Its Origins and Continuations” (Gdańsk, 16.06.2011). Meanwhile, I (...) address D. Chlastawa’s remark that theorem 7 and 14 from Ethica… makes Spinoza’s theory inconsistent. Keywords: SPINOZA, GOD’S EXISTENCE, PROOF, UNIQUENESS, SUBSTANCE Discipline: PHILOSOPHY. (shrink)

The main aim of the paper is to discuss some recent definitions of lie and lying, particularly that proposed recently in Edukacja Filozoficzna by Andrzej Stępnik. First I point out that his proposals share common conviction that among other things one has to have intention to deceive someone in order to lie. But this is wrong since it is quite clear that in a case of bold-face lies one can lie without having this intention. And bold-face lies are lies. It (...) follows that not only Stępnik’s definitions but all descriptive definitions of lies and lying sharing this condition are too narrow, so are inadequate. Instead of giving another descriptive definition of lying and lie, some précising definitions are proposed. According to first of them: A person x lies to y iff (i) x claims to y something that x doesn’t believe, and (ii) x doesn’t inform y that she doesn’t believe what she clams. According to another; A person x lies to y iff (i) by uttering something x expresses some propositional attitude (belief, desire, knowledge etc.), (ii) x doesn’t have this attitude, (ii) x doesn’t inform y that (ii) And the last states: A person x lies to y iff (i) x performs some speech act, (ii) some propositional attitude is one of the necessary conditions of sincery condition of this act, (iii) x doesn’t have this propositional attitude, (iv) x doesn’t inform y that (iii). We also propose crucial definition of claiming: A person x claims at a context C that p iff there is some sentence S of some language L (which x understands perfectly): (i) x utters S at C, (ii) according to semantic rules of L: uttering at C sentence S means that p, (iii) x is disposed at C to confirm the truthfulness of S. and expressing: A person x by uttering S expresses some kind of propositional attitude that p iff for all who are acquainted with proper linguistic or social convention is reasonable to attribute this kind of propositional attitude that p to x. (shrink)

The Gettier problem concerns the definition of knowledge as justified true belief. In the paper I argue that Gettier's cases are not cases of justified true belief because Gettier's examples rely on some problematic assumptions. The first is rather elementary definition of justification and the other is that justification is preserved by entailment, that is, (A) for all agents X, if X is justified in believing that p , and X realizes that the truth of p entails the truth of (...) q , then X would also be justified in believing that q . For the simplistic conception of justification has some alarming consequences we pursue more adequate definition of justification which would satisfy the idea that a necessary condition of justification is to entail or to be entailed by a true proposition. We also show that the (A) is not necessary to provide an elegant counter-example to the definition of knowledge if the elementary definition of justification is adopted. (shrink)

Przedmiotem pracy są uwagi Jerzego Pelca dotyczące pojęcia kłamstwa i kłamania opublikowane w O pojęciu kłamstwa – z punktu widzenia semiotyki (1990). Przedstawioną w niej definicję kłamania porównuję z warunkami nakładanymi na to pojęcie przez innych autorów. Pokazuję, że zdaniem Pelca, warunek ekstensji przekonań nie jest koniecznym warunkiem na kłamstwo. Dodatkowo, zauważam, iż pewne uwagi Pelca skłaniają do wniosku, że można kłamać implikując coś, co uważa się za fałsz, nie zaś wyraźnie to stwierdzając. Argumentuję, że przyjmowany w analizowanej pracy warunek (...) chęci oszukania adresata jest wątpliwym warunkiem koniecznym kłamania. Ostatecznie, uwzględniając spostrzeżenia Pelca, proponuję następująca definicję: (DEF. Kłamania*) Osoba A kłamie w określonym kontekście K osobie B, że p, zawsze i tylko wtedy, gdy: (1) A posługuje się w K pewnym znakiem Z, zaś zgodnie z pewną przyjętą lub utartą konwencją posłużenie się Z przez A wobec B w K może być zasadnie uznane za twierdzenie przez A wobec B, że p, i (2) A nie uznaje w K, że p, oraz (3) nie powiadamia uprzednio o tym B, albo też (2*) A uznaje w K, że p, ale (3*) zakłada, że pomimo (1) B uzna, że A nie sądzi, że p. (shrink)

In this article, I present a new interpretation of the pro-life view on the status of early human embryos. In my understanding, this position is based not on presumptions about the ontological status of embryos and their developmental capabilities but on the specific criteria of rational decisions under uncertainty and on a cautious response to the ambiguous status of embryos. This view, which uses the decision theory model of moral reasoning, promises to reconcile the uncertainty about the ontological status of (...) embryos with the certainty about normative obligations. I will demonstrate that my interpretation of the pro-life view, although seeming to be stronger than the standard one, has limited scope and cannot be used to limit destructive research on human embryos. (shrink)

Konserwatywni przeciwnicy prowadzenia badań naukowych na ludzkich embrionach argumentują, że od momentu poczęcia mają one status moralny równy statusowi ludzi dorosłych: zarodki mają takie samo prawo do życia jak dorośli. W artykule przedstawiam oryginalną argumentację za tym stanowiskiem, której źródła można znaleźć w XVII-wiecznej teologii moralnej i współczesnej teorii decyzji. Argumentacja ta nie odwołuje się do statusu ontologicznego embrionów, ale do pewnego typu rozumowania praktycznego na temat tego, co należy robić w rozmaitych sytuacjach niepewności. Na pierwszy rzut oka wydaje się (...) ona wzmacniać stanowisko konserwatywne, ponieważ nie zależy od kontrowersyjnych metafizycznych założeń na temat statusu zarodków czy kwestii ich potencjalności. W artykule pokażę jednak, że argumentacja ta obarczona jest poważnymi wadami, które sprawiają, że nie da się jej zastosować do uzasadnienia sprzeciwu wobec moralnej czy prawnej dopuszczalności np. badań na zarodkowych komórkach macierzystych. (shrink)

In this paper I present an argument in favour of a parental duty to use preimplantation genetic diagnosis (PGD). I argue that if embryos created in vitro were able to decide for themselves in a rational manner, they would sometimes choose PGD as a method of selection. Couples, therefore, should respect their hypothetical choices on a principle similar to that of patient autonomy. My thesis shows that no matter which moral doctrine couples subscribe to, they ought to conduct the PGD (...) procedure in the situations when it is impossible to implant all of the created embryos and if there is a significant risk for giving birth to a child with a serious condition. (shrink)

According to psychological research, people are more eager to help identified individuals than unidentified ones. This phenomenon significantly influences many important decisions, both individual and public, regarding, for example, vaccinations or the distribution of healthcare resources. This paper aims at presenting definitions of various levels of identifiability as well as a critical analysis of the main philosophical arguments regarding the normative significance of the identifiability effect, which refer to: (1) ex ante contractualism; (2) fair distribution of chances and risks; (3) (...) anti-aggregationist principles that recommend the distribution of bad effects and the concentration of good ones. I will show that these arguments, although connected with interesting philosophical problems regarding e.g. counterfactuals, aggregation, or probability, are unconvincing. (shrink)

The paper investigates, in the framework of branching space–times, whether an infinite EPR-like correlation which does not involve finite EPR-like correlations is possible.

The paper extends the framework of outcomes in branching space-time (Kowalski and Placek [1999]) by assigning probabilities to outcomes of events, where these probabilities are interpreted either epistemically or as weighted possibilities. In resulting models I define the notion of common cause of correlated outcomes of a single event, and investigate which setups allow for the introduction of common causes. It turns out that a deterministic common cause can always be introduced, but (surprisingly) only special setups permit the introduction of (...) truly stochastic common causes. I analyse next the Bell-Aspect experiment and derive the Bell-CH inequalities. I observe that we postulate there not a common cause for outcomes of a single event but rather a common common cause that accounts for outcomes of many events, where 'events' mean 'measurements with (different) directions of polarization'. Since the inequalities are violated, I claim that no causal story can be told about the Bell correlations, where causality is subliminal and restricted by screening-off condition. Similarly, given certain intuitive principles, no deterministic story can be told about these correlations. (shrink)

I will argue that physicians have an ethical obligation to justify their conscientious objection and the most reliable interpretation of the Polish legal framework claims that conscientious objection is permissible only when the justification shows the genuineness of the judgment of conscience that is not based on false beliefs and arises from a moral norm that has a high rank. I will demonstrate that the dogma accepted in the Polish doctrine that the reasons that lie behind conscientious objection in medicine (...) cannot be evaluated or controlled by anyone is based either on a mistaken interpretation of the Constitution or on the unreliable concept of conscience. I will refer to the legal regulations concerning military refusals that require from objectors to reveal and justify their views. Finally, I will demonstrate why conscientious objection under uncertainty does not deserve acceptance, because it is based on a specific version of the precautionary principle. (shrink)

The paper puts forward a theory of historical modalities that is framed in terms of possible continuations rather than possible worlds or histories. The proposal is tested as a semantic theory for a language with historical modalities, tenses, and indexicals.

We prove that certain natural sequent systems for bi-intuitionistic logic have the analytic cut property. In the process we show that the (global) subformula property implies the (local) analytic cut property, thereby demonstrating their equivalence. Applying a version of Maehara technique modified in several ways, we prove that bi-intuitionistic logic enjoys the classical Craig interpolation property and Maximova variable separation property; its Halldén completeness follows.

We show that truth conditions for counterfactuals need not always be given in terms of a vague notion of similarity. To this end, we single out the important class of historical counterfactuals and give formally rigorous truth conditions for these counterfactuals, employing a partial ordering relation called "comparative closeness" that is defined in the framework of branching space-times. Among other applications, we provide a detailed analysis of counterfactuals uttered in the context of lost bets. In an appendix we compare our (...) theory with the branching space-times based reading of counterfactuals recently proposed by Belnap. (shrink)

Indeterminism, understood as a notion that an event may be continued in a few alternative ways, invokes the question what a region of chanciness looks like. We concern ourselves with its topological and spatiotemporal aspects, abstracting from the nature or mechanism of chancy processes. We first argue that the question arises in Montague-Lewis-Earman conceptualization of indeterminism as well as in the branching tradition of Prior, Thomason and Belnap. As the resources of the former school are not rich enough to study (...) topological issues, we investigate the question in the framework of branching space-times of Belnap (Synthese 92:385–434, 1992). We introduce a topology on a branching model as well as a topology on a history in a branching model. We define light-cones and assume four conditions that guarantee the light-cones so defined behave like light-cones of physical space-times. From among various topological separation properties that are relevant to our question, we investigate the Hausdorff property. We prove that each history in a branching model satisfies the Hausdorff property. As for the satisfaction of the Hausdorff property in the entire branching model, we prove that it is related to the phenomenon of passive indeterminism, which we describe in detail. (shrink)

In order to understand how the environment influences business owner/managers’ attitudes towards tax morale, we build a theoretical model based on a neo-institutionalist framework. Our model combines three complementary perspectives on institutions—normative, cultural–cognitive and regulatory–instrumental. This enables a broader understanding of factors that influence business owner–managers’ attitudes towards tax evasion. We test the resulting hypotheses using regression analysis on survey data on business owner/managers in Latvia—a transition country, which has undergone massive institutional changes since it was part of the Soviet (...) Union over 25 years ago. We find that legitimacy of the tax authorities and the government, feeling of belonging to the nation and perceptions of the risk and severity of punishment are all associated with higher tax morale for business owners and managers. (shrink)