Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "Olszewski, Adam" wg kryterium: Autor

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 32
Tytuł:
A consequence of the notional existence of an effectively calculable yet non-recursive function
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/29552071.pdf
Data publikacji:
2021
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Opis:
The present paper is devoted to a discussion of the role of Church’s thesis in setting limits to the cognitive possibilities of mathematics. The specific aim is to analyse the formalized theory of arithmetic as a fundamental mathematical structure related to the theory of computation. By introducing notional non-standard computational abilities into this theory, a non-trivial enlargement of the set of theorems is obtained. The paper also indicates the connection between the inclusion of new functions through the development of axioms and the potential modification of inference rules. In addition, the paper provides an explanation of the role of inclusion of a certain interpretation of the meaning of the axioms of the theory in that theory.
Źródło:
Analecta Cracoviensia; 2021, 53; 111-139
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Analiza gospodarki osadowej i biogazowo-energetycznej w oczyszczalni ścieków w Opolu
Analysis of sewage sludge and biogas-energy management at the Opole wastewater treatment plant
Autorzy:
Szczyrba, Paulina
Masłoń, Adam
Czarnota, Joanna
Olszewski, Kamil
Powiązania:
https://bibliotekanauki.pl/articles/399850.pdf
Data publikacji:
2020
Wydawca:
Polskie Towarzystwo Inżynierii Ekologicznej
Tematy:
osady ściekowe
fermentacja beztlenowa
biogaz
energochłonność oczyszczalni ścieków
sewage sludge
anaerobic digestion
biogas
energy consumption
wastewater treatment plant
Opis:
Zwiększające się wymagania oczyszczania ścieków oraz rozwój systemów oczyszczania ścieków, unieszkodliwiania i przeróbki osadów ściekowych powodują znaczny wzrost zapotrzebowania na energię elektryczną i cieplną. Alternatywnym sposobem na pozyskiwanie taniej energii jest wykorzystywanie biogazu wytworzonego w procesie fermentacji z osadów ściekowych. W pracy przedstawiono analizę gospodarki osadowej i biogazowo-energetycznej w oczyszczalni ścieków w Opolu w aspekcie uzyskiwania biogazu i jego wykorzystania do produkcji energii elektrycznej. Układ biogazowo-energetyczny w rozpatrywanym okresie funkcjonował prawidłowo. W dwóch agregatach prądotwórczych wyprodukowano z biogazu łącznie 7,26 GWh energii elektrycznej, co pozwoliło na pokrycie blisko 35% zapotrzebowania na energię elektryczną.
Increasing requirements of wastewater treatments and the development of wastewater treatment and sewage sludge systems cause a significant increase in the demand for electricity and heat. An alternative way to obtain cheap energy is to use biogas produced in the anaerobic digestion process from sewage sludge. The paper presents an analysis of sewage sludge and biogas-energy management at the wastewater treatment plant in Opole in the aspect of obtaining biogas and its use for electricity production. The biogas-energy system was functioning properly in 2017–2019. A total of 7.26 GWh of electricity was produced from biogas in two power generators, which allowed to cover nearly 35% of the demand for electricity.
Źródło:
Inżynieria Ekologiczna; 2020, 21, 2; 26-34
2081-139X
2392-0629
Pojawia się w:
Inżynieria Ekologiczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Byt maksymalny
The maximal being
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/30149482.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
Bóg
dowód ontologiczny
św. Anzelm
Józef Tischner
element największy
God
ontological proof
St Anselm
the greatest element
Opis:
Zadaniem artykułu jest pobudzenie teologów i filozofów do badań nad pewnymi aspektami dowodu ontologicznego (OA). Po przyjęciu ustaleń terminologicznych i prezentacji ogólnych uwag dotyczących argumentu ontologicznego cytuję argument św. Anzelma z Proslogionu II w łacińskiej wersji oryginalnej oraz przekładzie polskim. Następnie, co jest „sercem” pracy, próbuję szkicowo zrekonstruować Tischnerowską wersję tego argumentu św. Anzelma i poddaję ją wstępnej krytycznej analizie. W dalszej kolejności podaję dwa ogólne rozumienia dowodu na istnienie Boga. Ostatnia sekcja pracy poświęcona jest interesującym, a nawet intrygującym spostrzeżeniom na temat pojęcia tytułowego – bytu maksymalnego.
The purpose of this article is to stimulate theologians and philosophers to study certain aspects of the ontological argument (OA). After adopting terminological arrangements, and presenting general remarks on the ontological argument, I quote St Anselm's argument from Proslogion II in the original Latin version and the Polish translation. Then, which is the heart of the paper, I attempt to sketchily reconstruct Tischner’s version of this argument of St Anselm and subject it to a preliminary critical analysis. I then give two quite general understandings of the proof for the existence of God in general. The final section of the paper is devoted to interesting and even intriguing insights into the notion of the titular concept – the maximal being.
Źródło:
Analecta Cracoviensia; 2023, 55; 67-84
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Churchs thesis as an empirical hypothesis
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/764387.pdf
Data publikacji:
2005
Wydawca:
Uniwersytet Marii Curie-Skłodowskiej. Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej
Źródło:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica; 2005, 3, 1
1732-1360
2083-3628
Pojawia się w:
Annales Universitatis Mariae Curie-Skłodowska. Sectio AI, Informatica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o kryterium Quinea
Some Remarks on Quines Criterion
Autorzy:
Brożek, Bartosz
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/966611.pdf
Data publikacji:
2010-03-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Opis:
The aim of the paper is to evaluate the usefulness of W.V.O. Quine's criterion for establishing the ontological commitments of a theory. At the outset, Quine's conception is reconstructed. It is argued that Quine does not provide a particularly clear exposition of the procedure of establishing ontological commitments. It is further maintained that - on a persuasive interpretation - one should distinguish several concepts associated with Quine's conception. These are: ontology, domain tolerated by an ontology, ontological commitments type 1 (categorical), ontological commitments type 2 (individual). Then, the procedure itself is reconstructed. It is argued that it consists of three stages: (1) the reduction of the analyzed theory to so-called basic existential propositions; (2) the paraphrase of the basic existential propositions into the formulae of the I order logic; (3) the reconstruction of the ontology presupposed by the given theory as well as of the ontological commitments type 1 and type 2. The final part of the paper contains three objections against Quine's conception. It is argued, first, that it is impossible to reconstruct the ontology presupposed by the given theory as it requires that the same or a richer ontology is already in use. Second, Quine's procedure is based on a vicious circle: one needs to know the ontological commitments in order to reconstruct them. Third, if one assumes that Quine's procedure is applicable to uninterpreted theories, it is impossible to determine the domain of these theories. The conclusion of the paper is that Quine's criterion seem useless.
Źródło:
Filozofia Nauki; 2010, 18, 1; 5-15
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kilka uwag o Tezie Churcha i Aksjomacie Hilberta
Some remarks concerning Church's Thesis and Hilbert's Axiom
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/690900.pdf
Data publikacji:
2006
Wydawca:
Copernicus Center Press
Tematy:
Church's Thesis
Hilbert's Axiom
philosophy of mathematics
Opis:
Some facts concerning Church's Thesis are first reminded, then Hilbert's Axiom of Thought is formulated. Hilbert proposed this axiom in 1905. He believed that it belongs to a domain of knowledge that is prior with respect to mathematics. An attempt is made to apply this axiom to some considerations concerning Church's Thesis
Źródło:
Zagadnienia Filozoficzne w Nauce; 2006, 38; 114-126
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Linda problem – the tame solution in question
Problem Lindy – zakwestionowanie oswojonego rozwiązania
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/28695152.pdf
Data publikacji:
2019
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
eksperyment Kahnemana-Tversky’ego
heurystyki
interpretacje
problem Lindy
prawdopodobieństwo
conjunction
heuristics
interpretations
Kahneman&Tversky experiment
Linda problem
probability
Opis:
After a brief reminder of the, so called, Linda problem and its solution by Kahneman & Tversky (KT) (the tame solution), I point out the implications of the solution adopted by the KTs. Among these implications, I emphasize the importance of the relation of probability between the sentences: ‘Linda is active in a feminist movement’ (F) and ‘Linda is a bank teller and active in a feminist movement’ (T∧F); while in KT’s paper the main emphasis was put on considering the relationship between the probability of sentences: ‘Linda is a bank teller’ (T) and ‘Linda is a bank teller and active in a feminist movement’ (T∧F). I offer a critical argument against the zero hypothesis H0 that ‘at least 85% of the respondents will choose the sentence F as more likely than the sentence (T∧F), and the opposite consequently will be selected at most by 15% of the respondents;’ being drawn from the assumptions made by Kahneman and Tversky. This hypothesis will be further partially refuted by means of results from the surveys N0.1. and N0.2. Then the reasoning supporting the result of surveys is presented and finally critical conclusions will be derived.
Po krótkim przypomnieniu, na czym polega tzw. problem Lindy oraz jego rozwiązania przez Kahnemana i Tversky’ego (KT), wskazuję na implikacje ich rozwiązania tego problemu. Pośród tych implikacji podkreślam znaczenie relacji pomiędzy prawdopodobieństwami przypisanymi zdaniom: „Linda is active in a feminist movement” (F) oraz „Linda is a bank teller and active in a feminist movement” (T∧F); Kahneman i Tversky kładli główny nacisk na relację pomiędzy prawdopodobieństwami przypisanymi zdaniom: „Linda is a bank teller” (T) and „Linda is a bank teller and active in a feminist movement” (T∧F). Idąc po tej linii, formułuję hipotezę badawczą H0 o postaci: „co najmniej 85% respondentów wybierze zdanie F, jako bardziej prawdopodobne niż zdanie (T∧F), a możliwość przeciwna zostanie, konsekwentnie, wybrana jedynie przez co najwyżej 15% respondentów”, którą to hipotezę zerową formułuję na podstawie wyników badań samych Kahnemana i Tversky’ego. Następnie przytaczam wyniki badań sondażowych wykonanych wśród studentów (N0.1. i N0.2.), które częściowo odrzucają sformułowaną hipotezę, zgodnie z metodologią badań statystycznych. Na koniec prezentuję pewne rozumowanie wspierające osiągnięte rezultaty i formułuję krytyczne uwagi względem koncepcji heurystyk KT.
Źródło:
Analecta Cracoviensia; 2019, 51; 209-217
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Matematyka czy teologia? Hilbert, Gordan i początki formalizmu
Mathematics or Theology? Hilbert, Gordan and the Beginning of the Formalism
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/690964.pdf
Data publikacji:
2012
Wydawca:
Copernicus Center Press
Tematy:
philosophy of mathematics
theology
David Hilbert
Paul Gordan
formalism
Opis:
The aim of the article is two-fold: first, to analyse the impact Gordan’s problem had on Hilbert’s Programme and, secondly, to discuss, mainly from the theological standpoint, Gordan’s phrase: ”This is not Mathematics, this is Theology”.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2012, 51; 131-149
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Negacja w języku teologii
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/669768.pdf
Data publikacji:
2016
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
negation
theology
logic
negacja
teologia
logika
Opis:
In the first part of the paper I present the brief overview of what negation is in philosophy and logic. In the second part I present examples of five kinds of negation that are used in the language of the catholic theology. This surprisingly results from the complex structure of the theology.
W pierwszej części artykułu prezentuję krótki przegląd tego, czym jest negacja z punktu widzenia filozofii i logiki. W drugiej części przedstawiam przykłady pięciu rodzajów negacji, które są używane w języku teologii katolickiej. Co zaskakujące, jest to wynik skomplikowanej struktury teologii.
Źródło:
Analecta Cracoviensia; 2016, 48
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Negation in the language of theology – some issues
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/691084.pdf
Data publikacji:
2018
Wydawca:
Copernicus Center Press
Tematy:
logic
theology
negation
difference
negation-as-failure
strong negation
imperative negation
notae theologice
Opis:
The paper consists of two parts. In the first one I present some general remarks regarding the history of negation and attempt to answer the philosophical question concerning the essence of negation. In the second part I resume the theological teaching on the degrees of certainty (notae theologice) and point to five forms of negation – known from other areas of research -- as applied in the framework of theological investigations.
Źródło:
Zagadnienia Filozoficzne w Nauce; 2018, 65
0867-8286
2451-0602
Pojawia się w:
Zagadnienia Filozoficzne w Nauce
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Note on Probability of Logical Sentences and the Linda Problem
Autorzy:
Olszewski, Adam
Powiązania:
https://bibliotekanauki.pl/articles/30148795.pdf
Data publikacji:
2022
Wydawca:
Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:
probability
logic
Boolean valuation
Linda problem
logika
prawdopodobieństwo
problem Lindy
wartościowania boolowskie
Opis:
This paper presents a logical concept of probability which seems to be obvious, as it is, but the author is not aware of any elaboration of a developed studies on the issue or of any special philosophical application of it. Such a probability of the formula A, of the language of the propositional logic, is the quotient of the number of Boolean valuations of formula A of the classical propositional calculus, which takes the logical value 1, to the number of all Boolean valuations of such a formula A. An application of this concept of logical probability to the solution of the Linda problem is given.
Niniejsza praca prezentuje koncepcję prawdopodobieństwa logicznego, która choć wydaje się oczywista, to autor nie znalazł nigdzie ani jej opracowania ani tym bardziej zastosowania do rozwiązania problemów filozoficznych. To prawdopodobieństwo formuły A, języka klasycznej logiki zdaniowej, jest ilorazem liczby wartościowań boolowskich, dla których formuła A przyjmuje wartość logiczną prawdy, do liczby wszystkich wartościowań boolowskich formuły A. To nowe pojęcie prawdopodobieństwa zostało zastosowane do podania alternatywnego rozwiązania problemu Lindy.
Źródło:
Analecta Cracoviensia; 2022, 54; 135-146
2391-6842
0209-0864
Pojawia się w:
Analecta Cracoviensia
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 32

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies