This paper deals with some metaphilosophical aspects of the modal ontological argument originating from Charles Hartshorne. One of the specific premises of the argument expresses the idea that the ...existence of God is not contingent. Several well-known versions of the argument have been formulated that appeal to different ways of clarifying the latter. A question arises: which of the formally correct and relevant versions is proper or basic? The paper points to some criteria of formal correctness, and distinguishes two types of relevance for these versions: strong and weak. Its aim is to furnish a strictly worked out answer to the question, taking into account each of these types. As a result, a very simple, formally correct and (weakly) relevant version of the modal ontological argument is formulated. The results obtained are also used to criticize a popular belief about the relations in which the main versions of the modal ontological argument stand to one another.
This paper presents the main assumptions of Andrzej Grzegorczyk’s last research project concerning the logic of synonymity. It shows that the basis of logic of analytic equivalence, presented in the ...first part of the work, fully corresponds with these assumptions.
The identity connective is usually interpreted in non-Fregean logic as an operator representing the identity of situations. This interpretation is related to the modal criterion of the identity of ...sentence correlates, characteristic of the WT system and some stronger systems. However, this connective can also be interpreted in a different way – as an operator representing the identity of propositions. The “propositional” interpretation is in turn associated with the modal-contents criterion of the identity of sentence correlates. This begs the question of whether there is a system of non-Fregean logic, providing an adequate formalization of this criterion. The aim of the paper is to systematize the metalogical and philosophical context of the issue and to point to a system that provides its solution.
DOI: http://doi.org/10.26333/sts.xxx1.04 Nagroda im. Danuty i Henryka Hiżów jest indywidualną nagrodą pieniężną przyznawaną w drodze konkursu za najlepszą pracę poświęconą filozofii języka i teorii ...znaku. Henryk i Danuta Hiżowie byli przed 1939 rokiem studentami Tadeusza Kotarbińskiego, zaprzyjaźnionymi ze swoim profesorem i jego rodziną. Oboje byli żołnierzami Powstania Warszawskiego ...
Od redakcji Andrzej Biłat
Studia semiotyczne,
01/2020, Letnik:
30, Številka:
1
Journal Article
Recenzirano
Odprti dostop
DOI: http://doi.org/10.26333/sts.xxx1.01 Niniejsze wydanie Studiów Semiotycznych jest pierwszym owocem procesu przekształcania czasopisma w zespołowo redagowany periodyk, ukazujący się jednocześnie ...drukiem i w Internecie. Podobnie jak wiele wcześniejszych tomów Studiów obecny numer zawiera artykuły badawcze z zakresu analitycznej filozofii języka (Janusza Maciaszka i Marii Matuszkiewicz) oraz zastosowań metod semantycznych w filozofii (Adama Nowaczyka i Pawła Grabarczyka). Numer zawiera także sprawozdanie z konferencji (Joanny Odrowąż-Sypniewskiej) oraz – zgodnie z piękną tradycją Studiów sięgającą lat siedemdziesiątych ubiegłego wieku – wspomnienia o filozofach (Idy Kurcz o Jerzym Bobryku i Jana Woleńskiego o Jaakko Hintikce).
Od redaktora naczelnego Andrzej Biłat
Studia semiotyczne,
09/2019, Letnik:
32, Številka:
1
Journal Article
Recenzirano
Odprti dostop
Problematyka rozpraw, które udostępniamy Państwu w niniejszym numerze „Studiów Semiotycznych”, dotyczy takich zagadnień, jak argumentacja, potoczne rozumowania i publiczne debaty. Mieszczą się one w ...obrębie czterech dyscyplin bezpośrednio związanych z profilem „Studiów”: filozofii, językoznawstwa, psychologii oraz nauk o komunikacji społecznej i mediach. Interdyscyplinarny charakter prezentowanych badań jest zgodny z tradycją Czasopisma ukształtowaną przez Jerzego Pelca w latach 1970–2015 i kontynuowaną w ostatnich latach.
Od redaktora numeru Andrzej Biłat
Studia semiotyczne,
05/2019, Letnik:
32, Številka:
2
Journal Article
Recenzirano
Odprti dostop
DOI: http://doi.org/10.26333/sts.xxxii2.01 Niniejszy numer „Studiów Semiotycznych” jest w całości poświęcony filozoficznej problematyce podstaw matematyki. Podjęte tematy dotyczą w szczególności ...kwestii natury przedmiotowego odniesienia terminów matematycznych, prawdy matematycznej i rozstrzygalności problemów matematycznych. Punktem odniesienia zdecydowanej większości rozpraw i esejów są znane twierdzenia limitacyjne Kurta Gödla.
Remarks on the handbook Logic and Argumentation by Andrzej KisielewiczThe paper contains some critical comments on Andrzej Kisielewicz’s handbook of critical thinking Logika i argumentacja. ...Praktyczny kurs krytycznego myślenia, Warszawa 2017. The comments generally refer to two main topics of the handbook: a the definite rejection of formal logic as a tool of critical thinking, and b the support for the so-called analysis of reasonable possibilities as an essential method of critical thinking. The paper shows that these topics are not suf ficiently clearand the support is not convincing enough.
Modal Logic vs. Ontological Argument Biłat, Andrezej
European journal for philosophy of religion,
06/2012, Letnik:
4, Številka:
2
Journal Article
Recenzirano
Odprti dostop
The contemporary versions of the ontological argument that originated from Charles Hartshorne are formalized proofs (in the metalogical sense of the word) based on unique modal theories. The simplest ...well-known theory of this kind arises from the b system of modal logic by adding two extra-logical axioms: (AA) “If the perfect being exists, then it necessarily exists” (Anselm’s Axiom) and (AL) “It is possible that the perfect being exists” (Leibniz’s Axiom). In the paper a similar argument is presented, however none of the systems of modal logic is relevant to it. Its only premises are the axiom (AA) and, instead of (AL), the new axiom (AN): “If the perfect being doesn’t exist, it necessarily doesn’t”. The main goal of the work is to prove that (AN) is no more controversial than (AA) and – in consequence – the whole strength of the modal ontological argument lies in the set of its extra-logical premises. In order to do that, three arguments are formulated: ontological, “cosmological” and metalogical.
W artykule pojęcie teorii ontologicznej zostało zdefiniowane zgodnie z ogólnymi zasadami wywodzącymi się z metaontologii Arystotelesa. Sformułowano problem struktury ontologii: Jakie są główne ...metodologiczne typy zaksjomatyzowanych teorii ontologicznych i jakie podstawowe relacje zachodzą między nimi? Zauważono, że zarówno w tradycyjnej, jak i we współczesnej filozofii bytu da się wyróżnić trzy odmienne idee formalnej ontologii: logicznej, eksplikacyjnej i empirycznej. Cel pracy jest dwojaki: 1) wskazanie jednolitej koncepcji formalnej ontologii uwzględniającej owe idee i dostarczającej rozwiązania problemu struktury ontologii oraz 2) zastosowanie wskazanej koncepcji w konstrukcji podstawowych przykładów teorii bytu i czasu. Artykuł składa się z następujących sekcji: Wprowadzenie. 1.1. Trzy koncepcje ontologii formalnej. 1.2. O ontologii logicznej. 1.3. O eksplikacyjnej ontologii formalnej. 2.1. Monadyczna teoria identyczności i należenia. 2.2. Eksplikacyjna teoria czasu wypełnionego. 2.3. W stronę empirycznej ontologii świata realnego. Zakończenie.
In the paper the concept of ontological theory is defined according to the general principles of Aristotelian metaontology. The following question concerning the structure of ontology is formulated: What are the main methodological types of axiomatic ontological theories and what basic relationships occur between them? It is noted that there are three distinct ideas of formal ontology in both traditional and analytic philosophy: logical, explicative, and empirical ontology. The aim of the paper is twofold: 1) to indicate a homogeneous concept of formal ontology that takes into account these ideas and provides a solution to the question of the structure of ontology, and 2) to use this concept for the construction of basic examples of theories of being and time. The paper consists of the following sections: Introduction. 1.1 Three concepts of formal ontology. 1.2 On logical ontology. 1.3 On explicative formal ontology. 2.1 Monadic second order theory of identity and membership. 2.2 Explicative theory of filled time. 2.3 Towards the empirical ontology of real world. Conclusion