En uno de los experimentos fundacionales de la filosofía experimental, Nichols y Knobe sostuvieron que la gente tiende a considerar que un universo no determinista es condición de la responsabilidad moral. Pero que esta intuición varía dramáticamente si se plantea la pregunta a partir de un caso concreto que movilice una respuesta emocional de rechazo, en cuyo caso la mayoría se decanta por apreciar responsabilidad moral incluso en un universo determinista. Aplicado el caso a estudiantes de bioética en (...) ingeniería biomédica, los resultados son completamente distintos, de forma consistente en varias cohortes. Este artículo explora diferentes hipótesis (metodología, contexto cultural, lengua materna y trasfondo educativo y vocacional) que podrían explicar la divergencia. (shrink)

Este artigo teve por objetivo identificar e compreender como as mulheres representam a maternidade. Para isso, foram realizadas, através de ligação telefônica, 15 entrevistas com mulheres entre 31 e 40 anos, que têm pelo menos um filho e inseridas no mercado de trabalho, utilizando para isto, um roteiro semiestruturado criado pelos pesquisadores. Através dos dados coletados, foi realizada uma análise qualitativa estruturada em duas categorias, a saber: o sentimento das participantes em relação à maternidade e a percepção da maternidade em (...) meio à outras funções, como esposa e profissional. A partir da articulação entre os relatos das entrevistas com a literatura científica utilizada, foi possível verificar que as mulheres identificam a maternidade como uma grande responsabilidade, que muitas vezes, as fazem abdicar de outras funções também importantes como esposa, profissional, ou a si mesmas enquanto pessoa. Por outro lado, também foi possível averiguar que algumas mulheres, além de representarem a maternidade como uma responsabilidade, também a entronizam como realização, expressando um sentimento de mudanças positivas em suas vidas. A partir do estudo foi possível ratificar o quanto a maternidade é valorizada pelas mulheres com filho, sendo necessário realizar mais estudos que relacionem a saúde mental de mães, com a sobrecarga e o sentimento de culpa citado por elas. (shrink)

A doutora Sonia Maria Oliveira de Barros, professora da Escola de Enfermagem USP, organizou o volume sobre os cuidados no ciclo gravídico-puerperal. A obra aborda os conteúdos programáticos das disciplinas de saúde materna das melhores instituições de ensino brasileiras na área de enfermagem. O objetivo é ensinar sobre a assistência de enfermagem obstétrica na gravidez, tanto no parto quanto no puerpério. O caráter didático dos livros se revela na linguagem clara e na sugestão de atividades de reflexão e fixação (...) dos assuntos discutidos. Todos os capítulos convidam os leitores a refletirem sobre o tema, contribuindo para melhor apreensão das informações. Organizado pelas doutoras Taka Oguisso e Elma Lourdes Campos Pavone Zoboli, ambas também da Escola de Enfermagem da USP, 'Ética e bioética' discute fundamentos da ética, as responsabilidades legais dos profissionais da enfermagem, bioética e políticas públicas. Destaca-se, no livro, a abordagem acerca dos dilemas emergentes no campo da ética, tema bastante atual nas discussões acadêmicas. O livro é um recurso de pesquisa, leitura e apoio para docentes e discentes interessados em se aprofundar em um campo atualmente restrito a poucos estudiosos da área, apesar de sua grande importância na atuação dos profissionais. (shrink)

This Festschrift is in honour of Professor Marie Duzí, VSB - Technical University of Ostrava. The 16 contributions, authored by 24 colleagues, run the gamut from foundations in logic and theoretical computer science through philosophical logic, multi-agent systems and theory of communication to personal recollections. Marie Duzí is best known for her profound and extensive work on both the foundations and multiple applications of Transparent Intensional Logic, originally developed by Pavel Tichý in the late 1960s. Her work, whether single-authored or (...) co-authored, has appeared in various high-level journals. In 2008 the Rector of her home university granted Marie the award Outstanding Results in the Development of Science and Research. The 2010 monograph Procedural Semantics for Hyperintensional Logic earned Marie and her coauthors the prestigious Award for Outstanding Results of Major Scientific Importance from the Academy of Sciences of the Czech Republic. The major achievements of Transparent Intensional Logic that Marie has been involved in over the last decade have been compiled into the volume Transparent Intensional Logic: Selected Recent Essays, also published by College Publications. (shrink)

Se presentan los resultados de un estudio que explora la gestión de la responsabilidad social en trece hospitales de la Red Sanitaria de RS. Las conclusiones revelan que estos hospitales gestionan la RS profesionalmente y con criterios de calidad, orientados al cumplimiento de los ODS, en el marco del plan estratégico de cada hospital. Aunque, todavía se detectan déficits en su implantación departamental, su planificación, y la evaluación de sus impactos. Y debilidades como la falta de recursos y de (...) liderazgo. Para superarlos, el apoyo directivo del hospital resulta determinante. La Red Sanitaria de RS constituye un modelo de colaboración. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

The boundary between analytic and synthetic sentences is well definable. Quine’s attempt to make it vague is based on a misunderstanding: instead of freeing semantics from shortcomings found, e.g. in Carnap’s work, Quine actually rejects semantics of natural language and replaces it by behavioristically articulated pragmatics. Semantics of natural language as a logical analysis is however possible and it can justify hard and fast lines between analyticity and syntheticity.

Propositional and notional attitudes are construed as relations (-in-intension) between individuals and constructions (rather than propositrions etc,). The apparatus of transparent intensional logic (Tichy) is applied to derive two rules that make it possible to export existential quantifiers without conceiving attitudes as relations to expressions (sententialism).

The purpose of this paper can be described as follows. The contemporary philosophical logic cannot work without using some terms well-known from mathematics and logic. Among such terms that play an important role in logical and philosophical analyses of language, meaning and the like we can find function, procedure and construction. One problem is that various authors use these terms in various ways, another problem consists in the well-known fact that many philosophers do not have any idea of what those (...) and similar terms could mean. The present paper tries to explain why an exact explication of the three mentioned terms can contribute to understanding and even solving many problems with semantics of natural language, which a philosopher should be interested in. (shrink)

[Always the same questions, wonder and anger instead of answers].

Problems are defined as abstract procedures. An explication of procedures as used in Transparent Intensional Logic and called constructions is presented and the subclass of constructions called concepts is defined. Concepts as closed constructions modulo α- and η-conversion can be associated with meaningful expressions of a natural or professional language in harmony with Church’s conception. Thus every meaningful expression expresses a concept. Since every problem can be unambiguously determined by a concept we can state that every problem is a concept (...) and every concept can be viewed as a problem.Kolmogorov’s idea of a connection between problems and Heyting’s calculus is examined and the non-classical features of the latter are shown to be compatible with realistic logic using partial functions. (shrink)

It is shown that: classicality is connected with various criteria some of which are fulfilled by TIL while some other are not; some more general characteristic of classicality connects it with philosophical realism whereas anti-realism is connected with non-classical logics; TIL is highly expressive due to its hyperintensionality, which makes it possible to handle procedures as objects sui generis. Thus TIL is classical in obeying principles of realism and non-classical in transcending some principles taught by textbooks of classical logic.

There is a distinctive kind of command, namely commands to answer specific questions. An imperative sentence denoting such a command has an interrogative sentence corresponding to it-a sentence denoting the respective question. LetImp, Int, andQ be such an imperative sentence, the interrogative sentence corresponding to it, and the question denoted by the interrogative sentence, respectively. LetQ be an empirical question, i. e., and ((ητ)ω)-object. LetP be an ((ητ)ω)-construction constructingQ. Then the analysis ofImp has the form (QL).LetQ be an analytical question, (...) i. e., a molecular extensional η-construction. LetQ=C, whereC is a ℊ-object (over the extended base). Then the analysis ofImp has the form (QL′). The imperative sentences whose analyses have the form (QL) or (QL′) can be called ‘question-like imperative sentences’ or simply ‘QL-imperative sentences’. No imperative sentence whose analysis differs from (QL) and (QL\t') can be associated with a question. Therefore, no transformation of such an imperative sentence should result in a correct interrogative sentence. Fulfilling an order which is determined by a QL-imperative sentenceImp, one simultaneously gives the right answer to the questionQ (which is associated withImp). One who does not fulfil this order either wrongly answersQ or does not answerQ at all. (shrink)

The author defends the view that the notion of concept, if used in the logical tradition, should be explicated procedurally . He argues that Tichý’s Transparent Intensional Logic is an apt tool for such an explication and derives the respective definition. Some consequences of this definition concern the notions of emptiness, simple concepts, empirical concepts and algorithmic concepts.

The terms denotation and reference are commonly used as synonyms. A more fine-grained analysis of natural language as offered by TIL shows that we can distinguish these terms in the case of empirical expressions. The latter are shown to denote non-trivial intensions while their reference is the value of these intensions in the actual world.

To talk about simple concepts presupposes that the notion of concept has been aptly explicated. I argue that a most adequate explication should abandon the set-theoretical paradigm and use a procedural approach. Such a procedural approach is offered by Tichý´s Transparent Intensional Logic (TIL). Some main notions and principles of TIL are briefly presented, and as a result, concepts are explicated as a kind of abstract procedure. Then it can be shown that simplicity, as applied to concepts, is well definable (...) as a property relative to conceptual systems, each of which is determined by a finite set of simple (‘primitive’) concepts. Refinement as a method of replacing simple concepts by compound concepts is defined. (shrink)

On the one hand, Pavel Tichý has shown in his Transparent Intensional Logic (TIL) that the best way of explicating meaning of the expressions of a natural language consists in identification of meanings with abstract procedures. TIL explicates objective abstract procedures as so-called constructions. Constructions that do not contain free variables and are in a well-defined sense ´normalized´ are called concepts in TIL. On the second hand, Kolmogorov in (Mathematische Zeitschrift 35: 58–65, 1932) formulated a theory of problems, using NL (...) expressions. He explicitly avoids presenting a definition of problems. In the present paper an attempt at such a definition (explication)—independent of but in harmony with Medvedev´s explication—is given together with the claim that every concept defines a problem. The paper treats just mathematical concepts, and so mathematical problems, and tries to show that this view makes it possible to take into account some links between conceptual systems and the ways how to replace a noneffective formulation of a problem by an effective one. To show this in concreto a wellknown Kleene’s idea from his (Introduction to metamathematics. D. van Nostrand, New York, 1952) is exemplified and explained in terms of conceptual systems so that a threatening inconsistence is avoided. (shrink)

If concepts are explicated as abstract procedures, then we can easily show that each empirical concept is a not an effective procedure. Some, but not all empirical concepts are shown to be of a special kind: they cannot in principle guarantee that the object they identify satisfies the intended conditions.