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ę "Marciszewski, Witold" wg kryterium: Autor

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-14 z 14
    Tytuł:
    Does Science Progress Towards Ever Higher Solvability Through Feedbacks Between Insights and Routines?
    Autorzy:
    Marciszewski, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/561316.pdf
    Data publikacji:
    2018
    Wydawca:
    Polskie Towarzystwo Semiotyczne
    Tematy:
    Algorithm
    arithmetic
    axiom
    axiomatic formalized theory
    concept
    decidability
    feedback
    insight (intuition)
    mathematics
    mechanism
    mentalism
    oracle
    problem
    problem-solving
    progress
    routine procedure
    science
    solvability
    Opis:
    The affirmative answer to the title question is justified in two ways: logical and empirical. (1) The logical justification is due to Gödel’s discovery (1931) that in any axiomatic formalized theory, having at least the expressive power of PA (Peano Arithmetic), at any stage of development there must appear unsolvable problems. However, some of them become solvable in a further development of the theory in question, owing to subsequent investigations. These lead to new concepts, expressed with additional axioms or rules. Owing to the so-amplified axiomatic basis, new routine procedures like algorithms, can be reached. Those, in turn, help to gain new insights which lead to still more powerful axioms, and consequently again to ampler algorithmic resources. Thus scientific progress proceeds to an ever higher scope of solvability. (2) The existence of such feedback cycles – in a formal way rendered with Turing’s systems of logic based on ordinal (1939) – gets empirically supported by the history of mathematics and other exact sciences. An instructive instance of such a process is found in the history of the number zero. Without that insight due to some ancient Hindu mathematicians there could not arise such an axiomatic theory as PA. It defines the algorithms of arithmetical operations, which in turn help intuitions; those, in turn, give rise to algorithmic routines, not available in any of the previous phases of the process in question. While the logical substantiation of the point of this essay is a well-established result of logico-semantic inquiries, its empirical claim, based on historical evidences, remains open for discussion. Hence the author’s intention to address philosophers and historians of science, and to encourage their critical responses.
    Źródło:
    Studia Semiotyczne; 2018, 32, 2; 153-185
    0137-6608
    Pojawia się w:
    Studia Semiotyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Kazimierz Ajdukiewicz i polski spór o uniwersalia
    Kazimierz Ajdukiewicz and the Polish Debate on Universals
    Autorzy:
    Marciszewski, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/963622.pdf
    Data publikacji:
    1999-09-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    When discussing Kazimierz Ajdukiewicz's role in philosophy, it is worthwhile recalling his participation in scholarly controversies. It was characteristic of his open mind that his taking part in debates was motivated by a vivid interest in various ways of thinking. Ajdukiewicz's intellectual power consisted, so to speak, in his ability of not to understand. This ability has brought him success in some important debates, concerning i.a. the classical logical concept of contradiction and the debate on universals raised in modern Poland with the nominalistic program of Stanislaw Lesniewski and Tadeusz Kotarbiński. In this latter debate Ajdukiewicz shows that when one says that individuals exist, the word „exist" refers to something different that in the statement that universals exist. In other words, the functor „is" has a different category in the definition of an individual from that appearing in the definition of a universal; hence there must be two different senses of the word „exist".
    Źródło:
    Filozofia Nauki; 1999, 7, 3-4; 5-13
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On sequential convergence in weakly compact subsets of Banach spaces
    Autorzy:
    Marciszewski, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/1289924.pdf
    Data publikacji:
    1995
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    Banach space
    weakly compact set
    uniform Eberlein compact space
    bisequential space
    Opis:
    We construct an example of a Banach space E such that every weakly compact subset of E is bisequential and E contains a weakly compact subset which cannot be embedded in a Hilbert space equipped with the weak topology. This answers a question of Nyikos.
    Źródło:
    Studia Mathematica; 1994-1995, 112, 2; 189-194
    0039-3223
    Pojawia się w:
    Studia Mathematica
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A function space Cp(X) not linearly homeomorphic to Cp(X) × ℝ
    Autorzy:
    Marciszewski, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/1205429.pdf
    Data publikacji:
    1997
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    function space
    pointwise convergence topology
    $c_p(X)$
    linear homeomorphism
    Opis:
    We construct two examples of infinite spaces X such that there is no continuous linear surjection from the space of continuous functions $c_p(X)$ onto $c_p(X)$ × ℝ$. In particular, $c_p(X)$ is not linearly homeomorphic to $c_p(X)$ × ℝ$. One of these examples is compact. This answers some questions of Arkhangel'skiĭ.
    Źródło:
    Fundamenta Mathematicae; 1997, 153, 2; 125-40
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Nierozstrzygalność i algorytmiczna niedostępność w naukach społecznych
    Undecidability and Algorithmic Intractability in Social Sciences
    Autorzy:
    Marciszewski, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/968830.pdf
    Data publikacji:
    2004-09-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Opis:
    The paper is meant as a survey of issues in computational complexity from the standpoint of its relevance to social research. Moreover, the threads are hinted at that lead to computer science from mathematical logic and from philosophical questions about the limits and the power both of mathematics and the human mind. Especially, the paper addresses Turing's idea of oracle, considering its impact on computational (i.e., relying on simulations) economy, sociology etc. Oracle is meant as a device capable of finding the values of uncomputable functions. Such an idealized entity is exemplified by the human mind's procedure of recognizing the truth of the Gödelian sentence, of identifying uncomputable numbers through Turing's diagonal procedure, etc. Since such procedures are strictly defined and are as reliable as any calculations, they are worth to be called computation as well. From the computation in the strict sense, that defined as purely algorithmic (mechanical) process, one distinguishes them with the term "hipercomputation". Now the following questions arise. - Are there undecidable problems (ie. not decidable with appropriate algorithms) in social research as are (according to what is reported esp. By S. Wolfram) in natural sciences? The answer in the negative would impose limitations on computer simulations (as entirely relying on algorithms). - If there are, then we have the next question: can such problems be addressed with hipercomputational procedures? - How such hipercomputational procedures would be related to analog computation (coextensive, everlappiing, etc.)? Another set of issues is stated in terms of tractability of decidable problems, that is, the efficiency of algorithms needed for solutions. As inefficient are regarded those which require more resources (time, memory, etc.) than is available in a foreseeable future. In this context, one discusses methods of such an efficient organizing computational processes to overcome the scarcity of resources; thus parallel, distributive, interactive, etc. computing are used as remedies. The paper claims, hinting at F.Hayek's ideas, that in some social systems (e.g., stock exchange, and free market in general) such an efficient organization of their computational activities spontaneously evolves. And this is the main source of its advantages over the central economic planning (as defended by O. Lange). This noticing (in terms of complexity theory) of analogy between Hayek's point and the current discussion of efficiency of algorithms is what may count as an original contribution of the present paper.
    Źródło:
    Filozofia Nauki; 2004, 12, 3-4; 5-31
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Formalizm syntaktyczny Jana Łukasiewicza jako model inteligentnego działania
    Lukasiewiczs Syntactical Formalism as a Model for Intelligent Action
    Autorzy:
    Marciszewski, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/965025.pdf
    Data publikacji:
    1997-09-01
    Wydawca:
    Uniwersytet Warszawski. Wydział Filozofii
    Źródło:
    Filozofia Nauki; 1997, 5, 3; 89-100
    1230-6894
    2657-5868
    Pojawia się w:
    Filozofia Nauki
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Ajdukiewicz alternatywny: pragmatysta i platonik
    Autorzy:
    Marciszewski, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/705798.pdf
    Data publikacji:
    2013
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    asercja
    definicja realna
    empiryzm
    fallibilizm
    fundamentalizm
    intersubiektywność
    matematyka obiektywna
    metodologia empiryczno-historyczna
    nauka dedukcyjna
    nauka empiryczna
    niewyczerpywalność matematyki
    obiekt abstrakcyjny
    platonizm
    pragmatyzm
    Opis:
    Ajdukiewicza postrzega się jako myśliciela, który przeszedł ewolucję od radykalnego konwencjonalizmu do empiryzmu. W proponowanym tu ujęciu alternatywnym, ewolucja prowadzi do empiryzmu, ale typu pragmatycznego i z pewnym elementem platonizmu. Wyrazem pragmatyzmu jest m.in. arty-kuł Logika a doświadczenie (1947), gdzie twierdzenia logiki uważa autor za pokrewne metodologicznie zdaniom nauk przyrodniczych. Różni je stopień zależności od doświadczenia, nie zaś pełna zależność w jednym przypadku, a niezależność w drugim. Taka wizja stopniowalności cechuje też Quine'a w jego manifeście pragmatyzmu Two dogmas of empiricism. Orientacja pla-tońska pojawia się w studium Trzy pojęcia definicji (1958), gdzie Ajdukiewicz przyznaje obywatelstwo w nauce definicjom realnym, świadom, iż dotyczą one powszechników, czyli idei w sensie platońskim. Jak pogodzić empiryzm, pragmatyzm i platonizm? Tego problemu Ajdukiewicz nie podjął, staje się to więc zadaniem jego interpretatorów. W artykule proponuje się interpretację po myśli Gödla, czołowego platonika XX w. Dystansował się on od klasycznie platońskiego pogłdu, że wszystkie twierdzenia matematyki cieszą się tym samym, najwyższym stopniem konieczności. Dostrzegał między nimi, podob-nie jak Quine, róznice zależne od stopnia odległości od doświadczenia. Jest ona szczególnie duża np. w hipotezie continuum, a minimalna w przypadku elementarnych twierdzeń o liczbach naturalnych. Te drugie sprawdzają się wciąz doświadczalnie w praktyce obliczeniowej, co jest na rzecz ich prawdzi-wości argumentem pragmatycznym. A skoro dotyczą obiektów nie-fizycznych i nie-psychicznych, odnoszą się do świata platońskiego5.
    Źródło:
    Przegląd Filozoficzny. Nowa Seria; 2013, 4; 239-253
    1230-1493
    Pojawia się w:
    Przegląd Filozoficzny. Nowa Seria
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Computational and Pragmatic Approach to the Dynamics of Science
    Autorzy:
    Marciszewski, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/41310393.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
    Tematy:
    algorithm
    behavioral (vs declarative) knowledge
    computability
    corroboration
    innate knowledge
    intuition
    invention
    logic gates
    oracle
    pragmatic (vs classical) rationalism
    problem-solving
    reasoning
    symbolic logic
    Turing machine
    Opis:
    Science means here mathematics and those empirical disciplines which avail themselves of mathematical models. The pragmatic approach is conceived in Karl R. Popper’s The Logic of Scientific Discovery (p. 276) sense: a logical appraisal of the success of a theory amounts to the appraisal of its corroboration. This kind of appraisal is exemplified in section 6 by a case study—on how Isaac Newton justified his theory of gravitation. The computational approach in problem-solving processes consists in considering them in terms of computability: either as being performed according to a model of computation in a narrower sense, e.g., the Turing machine, or in a wider perspective—of machines associated with a non-mechanical device called “oracle” by Alan Turing (1939). Oracle can be interpreted as computertheoretic representation of intuition or invention. Computational approach in another sense means considering problem-solving processes in terms of logical gates, supposed to be a physical basis for solving problems with a reasoning. Pragmatic rationalism about science, seen at the background of classical rationalism (Descartes, Gottfried Leibniz etc.), claims that any scientific idea, either in empirical theories or in mathematics, should be checked through applications to problem-solving processes. Both the versions claim the existence of abstract objects, available to intellectual intuition. The difference concerns the dynamics of science: (i) the classical rationalism regards science as a stationary system that does not need improvements after having reached an optimal state, while (ii) the pragmatical version conceives science as evolving dynamically due to fertile interactions between creative intuitions, or inventions, with mechanical procedures. The dynamics of science is featured with various models, like Derek J. de Solla Price’s exponential and Thomas Kuhn’s paradigm model (the most familiar instances). This essay suggests considering Turing’s idea of oracle as a complementary model to explain most adequately, in terms of exceptional inventiveness, the dynamics of mathematics and mathematizable empirical sciences.
    Źródło:
    Filozofia i Nauka; 2020, 8, 1; 31-67
    2300-4711
    2545-1936
    Pojawia się w:
    Filozofia i Nauka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    A contribution to the topological classification of the spaces Ср(X)
    Autorzy:
    Cauty, Robert
    Dobrowolski, Tadeusz
    Marciszewski, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/1208632.pdf
    Data publikacji:
    1993
    Wydawca:
    Polska Akademia Nauk. Instytut Matematyczny PAN
    Tematy:
    function space
    pointwise convergence topology
    absorbing sets
    Borel and projective filters
    Opis:
    We prove that for each countably infinite, regular space X such that $C_p(X)$ is a $Z_σ$-space, the topology of $C_p(X)$ is determined by the class $F_0(C_p(X))$ of spaces embeddable onto closed subsets of $C_p(X)$. We show that $C_p(X)$, whenever Borel, is of an exact multiplicative class; it is homeomorphic to the absorbing set $Ω_α$ for the multiplicative Borel class $M_α$ if $F_0(C_p(X)) = M_α$. For each ordinal α ≥ 2, we provide an example $X_α$ such that $C_p(X_α)$ is homeomorphic to $Ω_α$.
    Źródło:
    Fundamenta Mathematicae; 1993, 142, 3; 269-301
    0016-2736
    Pojawia się w:
    Fundamenta Mathematicae
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-14 z 14

      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