In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences and the terms from which they (...) are composed is underpinned, shows moreover that the proof-theoretic analysis of first-order logic can be pursued also beneath the atomic level. (shrink)

This paper is an attempt to examine Mattias Kiesselbach’s account of the thesis that meaning is normative that was presented in his recently published article titled “The normativity of meaning: from constitutive norms to prescriptions.” Kiesselbach’s account has three crucial points: the applicability of norms, the transtemporal character of the constitutive norms and commitments incurred by or attributed to the speaker within the scorekeeping practice. I will discuss all these crucial points, and I will argue that his account raises many (...) questions and the anti-prescriptivist about meaning can have reasonable doubts about all of them. (shrink)

This article outlines the contributions of the Kraków School to the field of science and religion. The Kraków School is a group of philosophers, scientists, and theologians who belong to the milieu of the Copernicus Center for Interdisciplinary Studies. The members of the group are engaged in inquiries pertaining to the relationship between theology and various sciences, in particular cosmology, evolutionary theory, and neuroscience. The article includes a presentation of the historical background of the School, as well as its main (...) original contributions pertaining to the history of the interactions between science and religion, the rationality and mathematicity of the universe, theology of science, and the role of logic in theology. (shrink)

We have taken a look at the rules of games in order to acquire some knowledge concerning constitutive rules and, probably, institutional phenomena in general. In this paper we tried to elaborate a system account of constitutive rules. We claim that all accounts that put emphasis on the form of rules are vulnerable. It appears that constitutive rules are interconnected and always form a system that can be internally differentiated. Thanks to adopting certain qualitative criterion we were able to distinguish (...) central and peripheral constitutive rules. Moreover, that very account makes it possible to distinguish between different types of practices that are determined by types of systems of rules. Secondly, it appears there are three “layers” of games that should not be confused: deep conventions, constitutive rules that establish the game and determine games’ identities, and “rules of efficiency” that are some sort of recommendations as to how to play well. (shrink)

The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper (...) also proposes the notion of modality de nomine as an alternative to the denotational notion of modality de re. (shrink)

A first-order language with a defined identity predicate is proposed whose apparatus for atomic predication is sensitive to grammatical categories of natural language. Subatomic natural deduction systems are defined for this naturalistic first-order language. These systems contain subatomic systems which govern the inferential relations which obtain between naturalistic atomic sentences and between their possibly composite components. As a main result it is shown that normal derivations in the defined systems enjoy the subexpression property which subsumes the subformula property with respect (...) to atomic and identity formulae as a special case. The systems admit a proof-theoretic semantics which does not only apply to logically compound but also to atomic and identity formulae—as well as to their components. The potential of the defined systems for a meticulous first-order analysis of natural inferences whose validity crucially depends on expressions of some of the aforementioned categories is demonstrated. (shrink)

The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and equality of (...) atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs. (shrink)

The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski with a specific kind of set-forming operator suited for the representation of belief attitudes. The extended formalism allows us to interpret constructions which involve, e.g., iteration of belief, quantifying into belief contexts, and anaphora in belief reports. Moreover, constructive solutions to canonical instances of the problem of hyperintensionality are suggested. The paper includes a discussion of Ranta’s constructive account of belief reports.

The paper concerns the problem of the legal responsibility of autonomous machines. In our opinion it boils down to the question of whether such machines can be seen as real agents through the prism of folk-psychology. We argue that autonomous machines cannot be granted the status of legal agents. Although this is quite possible from purely technical point of view, since the law is a conventional tool of regulating social interactions and as such can accommodate various legislative constructs, including legal (...) responsibility of autonomous artificial agents, we believe that it would remain a mere ‘law in books’, never materializing as ‘law in action’. It is not impossible to imagine that the evolution of our conceptual apparatus will reach a stage, when autonomous robots become full-blooded moral and legal agents. However, today at least, we seem to be far from this point. (shrink)

Despite the great expansion and many benefits of information and communication technologies in healthcare, the attitudes of Polish general practitioners to e-health have not been explored. The aim of this study was to determine the GPs’ perception of ICT use in healthcare and to identify barriers to the adoption of EMR in the Podlaskie Voivodeship. Online and telephone surveys were conducted between April and May 2013. Responses from 103 GP practices, 43% of all practices in the region, were analysed. The (...) results showed that 67% of the respondents agreed that IT systems improve quality of healthcare services. In the GP group who declared at least partial EMR implementation, 71.4% see the positive impact of IT on practice staff processes and 66.1% on personal working processes. In this group, more than three-quarters of GPs did not see any positive impact of ICT on the average number of patients treated per day, number of patients within the practice or scope of services. The four most common barriers to EMR implementation were: lack of funds, risk of a malfunction in the system, resistance to change, and lack of training and proper information. Although the use of ICT by Polish GPs is limited, their attitude to e-health is generally positive or neutral and resembles the overall pattern in Europe. Barriers identified by GPs need to be taken into account to ensure the effective implementation of e-health across the country. (shrink)

The Logic of Legal Requirements. Essays on Defeasibility, edited by Jordi Ferrer Beltrán and Giovanni Battista Ratti, and published by Oxford University Press in 2012, is a very much welcome contribution to one of the most discussed topics in the contemporary legal theory and philosophy. Defeasibility is connected to many essential issues such as the nature of legal reasoning, the structure of legal norms and legal system, the concept of legal validity, as well as the mechanisms and limits of..

In the following paper we propose a model-theoretical way of comparing the “strength” of various truth theories which are conservative over PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document}. Let Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {Th}}$$\end{document} denote the class of models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} which admit an expansion to a model of theory Th\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...) \begin{document}$${ Th}$$\end{document}. We show that PA⊃TB⊃RS⊃UTB⊇CT-,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\begin{aligned} {{\mathfrak {PA}}}\supset {\mathfrak {TB}}\supset {{\mathfrak {RS}}}\supset {\mathfrak {UTB}}\supseteq \mathfrak {CT^-}, \end{aligned}$$\end{document}where PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {PA}}$$\end{document} denotes simply the class of all models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} and RS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {RS}}$$\end{document} denotes the class of recursively saturated models of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document}. Our main original result is that every model of PA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ PA $$\end{document} which admits an expansion to a model of CT-\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ CT ^-$$\end{document}, admits also an expansion to a model of UTB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ UTB $$\end{document}. Moreover, as a corollary to one of the results we conclude that UTB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ UTB $$\end{document} is not relatively interpretable in TB\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ TB $$\end{document}, thus answering the question from Fujimoto. (shrink)

The operators of first-order logic, including negation, operate on whole formulae. This makes it unsuitable as a tool for the formal analysis of reasoning with non-sentential forms of negation such as predicate term negation. We extend its language with negation operators whose scope is more narrow than an atomic formula. Exploiting the usefulness of subatomic proof-theoretic considerations for the study of subatomic inferential structure, we define intuitionistic subatomic natural deduction systems which have several subatomic operators and an additional operator for (...) formula negation at their disposal. We establish normalization and subexpression property results for the systems. The normalization results allow us to formulate a proof-theoretic semantics for formulae composed of the subatomic operators. We illustrate the systems with applications to reasoning with combinations of sentential negation, predicate term negation, subject term negation, and antonymy. (shrink)

This paper is a follow-up to [4], in which a mistake in [6] was corrected. We give a strenghtening of the main result on the semantical nonconservativity of the theory of PT−with internal induction for total formulae${$, denoted by PT−in [9]). We show that if to PT−the axiom of internal induction forallarithmetical formulae is added, then this theory is semantically stronger than${\rm{P}}{{\rm{T}}^ - } + {\rm{INT}}\left$. In particular the latter is not relatively truth definable in the former. Last but not (...) least, we provide an axiomatic theory of truth which meets the requirements put forward by Fischer and Horsten in [9]. The truth theory we define is based on Weak Kleene Logic instead of the Strong one. (shrink)

The aim of this paper is very modest. First, we want to assess how different strategies of naturalization might deal with the need of using folk psychology in legal domain. Second, we want to check whether folk psychology is indeed indispensable in the legal domain. Third, we want to describe possible problems with one strategy of naturalization, i.e. radical naturalization with classical elimination. Our conclusion will be that despite various attempts, every project of naturalization of law will have to resolve (...) the tension between law and folk psychology and such resolution would not be achieved by simple reduction or elimination of folk psychology. A variety of non-standard solutions might be in place to resolve this tension. We will only outline those strategies here. (shrink)

We show that a typed compositional theory of positive truth with internal induction for total formulae (denoted by PT tot ) is not semantically conservative over Peano arithmetic. In addition, we observe that the class of models of PA expandable to models of PT tot contains every recursively saturated model of arithmetic. Our results point to a gap in the philosophical project of describing the use of the truth predicate in model-theoretic contexts.

“Comer para viver e não viver para comer”, essa é uma máxima que parece ter percorrido a história do Ocidente. Desde o século XIII a moderação tornou-se um ideal e a renascença trouxe consigo a civilidade das maneiras, transformando a voracidade do comer em uma atitude animalesca. Utilizando como fontes, manuais de civilidade de diferentes épocas, pretende-se analisar preceitos neles contidos sobre ideais de comportamento social e moral diante da comida, e em que medida podemos perceber permanências e transformações de (...) regras em relação ao comedimento e de rejeição da gula à mesa ainda no Brasil do século XX.Dominating its own flesh: gluttony, temperance and table manners in civility handbooks “Eat to live and not live to eat”, this is maximum that seems to be traversed the West history. Since the thirteenth century moderation has become an ideal and the arrival of the renaissance brought with it the civility of manners, transforming the voracity of eating into an animalistic attitude. Using as sources, handbooks of civility from different epochs, we intend to know and analyze precepts contained in them about ideals of social and moral behavior in front of food, as well as to observe to what extent we can perceive permanences and transformations of rules in relation to restraint and rejection of gluttony at the table in twentieth-century Brazil. Resumen Dominando su propia carne: gula, templanza y maneras de mesa en los manuales de civilidad "Comer para vivir y no vivir para comer", esa es una máxima que parece haber recorrido la historia de Occidente. Desde el siglo XIII la moderación se ha convertido en un ideal y el renacimiento ha traído consigo la civilidad de las maneras, transformando la voracidad del comer en una actitud animal. Utilizando como fuentes, manuales de civilidad de diferentes épocas, se pretende analizar preceptos en ellos contenidos sobre ideales de comportamiento social y moral ante la comida, y en qué medida podemos percibir permanencias y transformaciones de reglas en relación al comedimiento y de rechazo de la gula a la en el Brasil del siglo XX. (shrink)

Are the cognitive sciences relevant for law? How do they influence legal theory and practice? Should lawyers become part-time cognitive scientists? The recent advances in the cognitive sciences have reshaped our conceptions of human decision-making and behavior. Many claim, for instance, that we can no longer view ourselves as purely rational agents equipped with free will. This change is vitally important for lawyers, who are forced to rethink the foundations of their theories and the framework of legal practice. Featuring multidisciplinary (...) scholars from around the world, this book offers a comprehensive overview of the emerging field of law and the cognitive sciences. It develops new theories and provides often provocative insights into the relationship between the cognitive sciences and various dimensions of the law including legal philosophy and methodology, doctrinal issues, and evidence. (shrink)

Let ${\cal T}$ be any of the three canonical truth theories CT^− (compositional truth without extra induction), FS^− (Friedman–Sheard truth without extra induction), or KF^− (Kripke–Feferman truth without extra induction), where the base theory of ${\cal T}$ is PA. We establish the following theorem, which implies that ${\cal T}$ has no more than polynomial speed-up over PA. Theorem.${\cal T}$is feasibly reducible to PA, in the sense that there is a polynomial time computable function f such that for every ${\cal T}$-proof (...) π of an arithmetical sentence ϕ, f(π) is a PA-proof of ϕ. (shrink)

The goal of the paper is to reply to David Duarte’s critique of the partial reducibility thesis―a claim I defended in one of my books that analogy is partly reducible to the balancing of legal principles. In the first part of the paper I sketch the framework against which the thesis was formulated, i.e. Robert Alexy’s theory of legal reasoning. In the second part I attempt to rebut Duarte’s objections, pointing out that they do not take into account the Alexian (...) background of my considerations. Finally, I suggest that some aspects of my theory of analogical reasoning are independent of its theoretical background and may be of value for any conceptualization of analogy in the law. (shrink)

Cilj članka je odgovoriti na kritiko, ki jo je David Duarte usmeril zoper tezo o delni zvedljivosti, tj. trditev, ki jo Brożek zagovarja v eni izmed svojih knjig in pravi, da je analogno sklepanje deloma zvedljivo na tehtanje pravnih načel. Prvi del članka oriše okvir, ki je avtorju služil pri oblikovanju teze o zvedljivosti, tj. Alexyjevo teorijo pravnega sklepanja. Drugi del je namenjen ovrženju Duartejevih ugovorov. Ti naj namreč ne bi upoštevali prej omenjenega okvira. V zadnjem delu avtor še zatrdi, (...) da so nekateri vidiki njegove teorije analognega sklepanja neodvisni od omenjenega teoretskega okvira in zato uporabni za katerokoli pojmovanje analogije v pravu. (shrink)

The goal in this short paper is to argue that so-called intermediary concepts play an essential role in organizing and generating legal knowledge. The point of departure is a reconstruction and a critique of Alf Ross’s analysis of such concepts. His goal was to argue that there exist concepts in the law which have no semantic reference, yet it is reasonable to use them as they perform some useful function regarding the presentation of legal rules. The author believes that Ross (...) is wrong on both counts: his argument to the effect that intermediary concepts have no reference is flawed, and his characterization of the functions such concepts play in the law is too limiting. (shrink)

Avtor zatrjuje, da imajo t. i. posredniški pojmi ključno vlogo pri urejanju in tvorbi pravnega znanja. V izhodišču povzame Rossovo razmišljanje o takšnih pojmih, ki ga nato kritizira. Ross je skušal pokazati, da v pravu obstajajo pojmi, ki nimajo nobenega pomenskega ozira, a je njihova raba kljub temu nekaj razumnega, saj imajo pri predstavitvi pravnih pravil koristno vlogo. Avtor meni, da sta obe Rossovi trditvi napačni: zmoten je njegov sklep, da posredniški pojmi nimajo nobenega pomenskega ozira, Rossova opredelitev njihove vloge (...) v pravu pa je preveč omejujoča. (shrink)

El propósito en este breve artículo es argumentar que los llamados conceptos intermediarios juegan un rol esencial en la organización y generación del conocimiento jurídico. El punto de partida es una reconstrucción y crítica del análisis de Alf Ross sobre dichos conceptos. Su objetivo era argumentar que existen conceptos en el derecho que no tienen referencia semántica, pero que aun así es razonable usarlos dado que cumplen con algunas funciones útiles relacionadas con la presentación de las reglas jurídicas. El autor (...) de este artículo afirma que Ross está equivocado en ambos casos: su argumento al efecto de que los conceptos intermediarios no tienen referencia es defectuoso, y su caracterización de las funciones que dichos conceptos cumplen en el derecho es muy limitante. (shrink)