In many cases medical diagnosis is based on information obtained through a process involving the emission of different forms of ionizing radiation. The safety of the medical staff and patients exposed to ionizing radiation is highly dependent on the proper design of the shielding used in the laboratory. Therefore, the authors propose a multi-platform application supporting such a design through the computation of the critical parameters of shielding. The specific requirements for shielding are defined by government authorities so the algorithm (...) must comply with all the written standards. The application was implemented using Xamarin. Forms for cross-platform development. The results obtained with the use of the developed tool were compared with those calculated manually for the design of stationary shields developed, deployed, and validated by local inspection. (shrink)

This book is about beliefs, language, communication and cognition. It deals with the fundamental issue of the interpretation of the speaker's utterance expressing a belief and reporting on beliefs of other people in the form of oratio obliqua. The main aim of the book is to present a new account of the problem of interpreting utterances expressing beliefs and belief reports in terms of an approach called Default Semantics.

Let J be any proper ideal of subsets of the real line R which contains all finite subsets of R. We define an ideal J * ∣B as follows: X ∈ J * ∣B if there exists a Borel set $B \subset R \times R$ such that $X \subset B$ and for any x ∈ R we have $\{y \in R: \langle x,y\rangle \in B\} \in \mathscr{J}$ . We show that there exists a family $\mathscr{A} \subset \mathscr{J}^\ast\mid\mathscr{B}$ of power ω (...) 1 such that $\bigcup\mathscr{A} \not\in \mathscr{J}^\ast\mid\mathscr{B}$ . In the last section we investigate properties of ideals of Lebesgue measure zero sets and meager sets in Cohen extensions of models of set theory. (shrink)

The termination of rewrite systems for parameter recursion, simple nested recursion and unnested multiple recursion is shown by using monotone interpretations both on the ordinals below the first primitive recursively closed ordinal and on the natural numbers. We show that the resulting derivation lengths are primitive recursive. As a corollary we obtain transparent and illuminating proofs of the facts that the schemata of parameter recursion, simple nested recursion and unnested multiple recursion lead from primitive recursive functions to primitive recursive functions.

Dans toutes les dimensions de la communication verbale, le virtuel s'efface devant l'actuel, mais le sens "absent" ne cesse d'escorter le sens « present ». Il le sous-tend, l'informe et, quelquefois, pointe le bout de son nez. En s'inscrivant dans la perspective de la sémantique microstructurale, ce livre se propose de revisiter le virtuel linguistique pour saisir ses rapports avec le domaine de l'actuel, en envisageant la virtualité dans l'optique interprétative qui mobilise tout un éventail de mécanismes sémantico-discursifs de la (...) production du sens en contexte. (shrink)

There are exactly two nonfinitely axiomatizable algebraic matrices with one binary connective o such thatx(yz) is a tautology of . This answers a question asked by W. Rautenberg in [2], P. Wojtylak in [8] and W. Dziobiak in [1]. Since every 2-element matrix can be finitely axiomatized ([3]), the matrices presented here are of the smallest possible size and in some sense are the simplest possible.

The dissertation develops a conception of action based on the concept of practical task-responsibility rather than on the concept of intention. It answers two problems. First, it grounds the distinction between an action and a mere happening, thus meeting Wittgenstein's challenge to explain what is the difference between an agent's raising her arm and her arm rising? Second, it grounds the distinction between acting for a reason and acting while merely having a reason, thus meeting Davidson's challenge to give an (...) account of the explanatory force of reasons. ;One source of resistance to an account of action in terms of normative expectations rather than in terms of intentions comes from explanatory individualism. The explanatory individualist argues that it is ultimately the intentional attitudes of the agent rather than normative expectations of other people that are relevant to the way in which we explain one another's actions, and that they ought to figure in the account of the nature of action. I defend explanatory nonindividualism, according to which we sometimes act on our own intentions and desires but sometimes on the normative expectations and desires of others . Explanatory nonindividualism is fortified by a selectional account of the explanatory force of reasons. I demonstrate that Davidson's challenge can be met by identifying reasons with selectional criteria rather than with causes. ;In response to Wittgenstein's challenge, I propose that we understand what it is to be an action not in terms of a performance being intentional under a description, but in terms of it being reasonable to expect a performance of the agent under some description. Only one concept of reasonableness is necessary to make the distinction between actions and mere happenings, and I explicate that concept. In addition to accounting for actions that are intentional under some description, the account also captures cases that are not so straightforwardly captured by that criterion . Moreover, cases of so-called basic wayward causal chains are excluded from qualifying as actions. (shrink)

The objective of this paper is to show how methods rooted in formal logic may be used to analyze socially important processes of persuasion. A formal approach to the theory of persuasion enables us to thoroughly research issues crucial in everyday life such as: how we argue, why we quarrel, where we are efficient in persuasion, when do we win a negotiation, how we influence others’ decisions, and the kinds of argumentative strategies that are apt to yield more accurate beliefs (...) for all parties involved.I concentrate on three aspects of persuasion practice: nature, success and cognitive value of argumentation process. From a logical perspective, I understand argumentation as reasoning which, after initiation through the opponent’s disagreement, is deployed by the proponent in order to persuade the audience to believe his thesis. Furthermore, I attempt to determine the ways in which we succeed in persuading others. Lastly, I try to specify when an argument is cognitively valuable and when it is reliable, in the sense that it helps us to track the truth. In order to analyze these matters, I investigate argumentation on two independent levels. The subjective level of people’s beliefs is the essential foundation of all persuasion -- every time we aim to make the audience believe our opinions and /or change their decisions. The second level is the objective field of truthfulness, where we consider whether a given argumentation will lead us to true or false conclusions. (shrink)

We discuss in the paper the following problem: Given a function in a given Baire class, into "how many" (in terms of cardinal numbers) functions of lower classes can it be decomposed? The decomposition is understood here in the sense of the set-theoretical union.

By B2 we denote the σ-ideal of all subsets A of the Cantor set {0,1}ω such that for every infinite subset T of ω the restriction A∣{0,1}T is a proper subset of {0,1}T. In this paper we investigate set theoretical properties of this and similar ideals.

This is a collection of nine papers dealing with the topic of reporting on beliefs and other attitudes, and in particular with the issue of the semantics-pragmatics boundary dispute which is the core topic of research in the field.

We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the -fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.

The author presents a uniform formulation of the Paradox of an Unexpected Ex-amination and classifies proposed solutions of the antinomy. The analysis of the so-lutions and counterarguments found in the literature of the problem allows to point possible further developments and criticism.