The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since they (...) do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

Popyt na zawody i kompetencje na podlaskim rynku pracy a potrzeby pracodawców w zakresie kształcenia ustawicznego pracowników w wieku 45 lat i więcej Katarzyna Baczyńska-Koc, Magdalena Borys, Andrzej Klimczuk, Iwona Pietrzak, Bogusław Plawgo, Katarzyna Radziewicz, Ewa Rollnik-Sadowska, Cecylia Sadowska-Snarska & Justyna Żynel-Etel .

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...) decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of (...) consequence relations, with which we can maintain uniqueness in a bilateralist setting. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

Color-motion asynchrony (CMA) refers to an apparent lag of direction of motion when a dynamic stimulus changes both color and direction at the same time. The subjective order of simultaneous events, however, is not only perceptual but also subject to illusions during voluntary actions. Self-initiated actions, for example, seem to precede their sensory outcomes following an adaptation to a delay between the action and the sensory feedback. Here, we demonstrate that the extent of the apparent asynchrony can be substantially reduced (...) when direction change is induced by a voluntary key press following a delay adaptation regime. We also show that the reduced color-motion asynchrony effect size following a motor-sensory recalibration is not a result of a change in the onset of perceived direction change relative to that of the color. This is particularly important as it implies, for the first time in the literature, that voluntary action is not only important in forming action-sensory outcome associations but may also act as a binding factor between the two perceptual features of a sensory event. (shrink)

Science is, if not the most, at least one of the most important human activities which has an undeniable impact on our lives. However, it is a matter of debate that science and its various applications have many negative effects besides their numerous positive contributions. As the negative effects of the science and its applications have become more visible, the science-value relation has regained popularity in the philosophy of science. Precautionary principle is one of the central concepts of the late (...) science-value debates. We first scrutinize the science-value relation, especially whether the science is value-free or value-laden activity, from the perspective of history and philosophy of science, and argue that sciences involve both epistemic and non-epistemic values. Then we introduce the precautionary principle and discuss the possible causes and outcomes of having it as a methodological component of scientific research. Finally, we argue that, if the science-value relation can be reestablished on ethical grounds, as the precautionary principle demands, the negative effects of science and its applications on human health and environment might be minimized and science could contribute more to human happiness. -/- Bilim yaşamımızı biçimlendiren en önemli insan etkinliklerinden birisi, belki de en önemlisidir. Ancak bilimlerin ve onun çeşitli uygulamalarının insan yaşamına olumlu katkılarının yanında insan ve çevre sağlığı üzerinde pek çok olumsuz etkilerinin de olduğu tartışılmaktadır. Bilim ve uygulamalarının insan sağlığı ve çevre üzerindeki olumsuz etkilerinin her geçen gün daha çok görünür hâle gelmesi, bilim-değer ilişkisini yeniden önemli bir tartışma başlığı hâline getirmiştir. İhtiyat ilkesi bilim-değer ilişkisi üzerine yapılan tartışmaların odağında yer alan kavramlardan biridir. Biz çalışmamızda önce bilim-değer ilişkisini, bilimin değerden bağımsız bir etkinlik olup olmadığını bilim tarihi ve felsefesi perspektifinden ele alıyor ve bilimlerin hem epistemik hem de epistemik olmayan değerler içerdiğini savunuyoruz. Daha sonra ihtiyat ilkesini ele alıyor ve onun bilimsel araştırmaların yöntembilimsel bir bileşeni hâline getirilmesinin olası nedenleri ve sonuçları üzerinde duruyoruz. Son olarak, bilim-değer ilişkisinin, ihtiyat ilkesi örneğinde olduğu gibi etik temelli kurulması durumunda bilim ve uygulamalarının insan sağlığı ve çevre üzerindeki olumsuz etkilerinin azaltılabileceğini ve bilimin insan mutluluğuna daha çok katkı sağlayabileceğini tartışıyoruz. (shrink)