Marciszewski, Witold, 1930-
Marciszewski, Witold
Witold Marciszewski Polish logician and philosopher
VIAF ID: 64049013 ( Personal )
Permalink: http://viaf.org/viaf/64049013
Preferred Forms
- 200 _ | ‡a Marciszewski ‡b Witold
-
- 100 1 _ ‡a Marciszewski, Witold
-
-
-
- 100 1 _ ‡a Marciszewski, Witold
-
- 100 1 _ ‡a Marciszewski, Witold
-
-
- 100 1 _ ‡a Marciszewski, Witold ‡d 1930-
-
- 100 0 _ ‡a Witold Marciszewski ‡c Polish logician and philosopher
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Analiza systematyczna pytań jako podstawa reguł heurystycznych | |
The axiom of comprehension as Cantor's contribution to mathesis universalis | |
Baśń o Internecie | |
Categorial grammar | |
Challenges for the logic of social research : to grasp rationality, to deal with complexity | |
Concept of mind | |
Concepts-processing as a procedure of analog-digital conversion and digital-analog approximation | |
Conceptualizing and defining "Giving the thing the matching word" | |
Cywilizacja liberalna a świat zachodni : analiza krytyczna pojęć | |
Czy inteligencji potrzebne jest ciało? | |
Czy maszyny zastąpią człowieka? | |
Czym jest umysł? | |
Definicja a definiowalność | |
Dictionary of logic as applied in the study of language concepts, methods, theories | |
Dobre praktyki w procedurach recenzyjnych w nauce | |
Dzieła sztuki jako znaki | |
Economics and the idea of information : why socialism must have collapsed? | |
Elementy teorii poznania, logiki formalnej i metodologii nauk | |
The "Entscheidungsproblem" in Leibniz and in Descartes | |
Etyka kontrprzykładu a dążenie do wielkich syntez w naukach społecznych | |
From the mechanization of reasoning to a study of human intelligence | |
A Function space C(K) not weakly homeomorphic to C(K) x C(K) | |
Gdzie ta nasza filozofia? | |
Historyczne role nominalizmu | |
How to express modality in MIZAR MSE and similar systems | |
Hypercomputational vs. computational complexity : a challenge for methodology of the social sciences | |
Idee filozoficzne a osiągnięcia nauki z problematyki integracji nauk | |
Intuicja matematyczna w ujęciu nowoczesnego racjonalizmu | |
Issues of decidability and tractability | |
Jak filozofia analityczna łączy jasność i głębię dzięki więzi z nauką i analizie logicznej pojęć | |
Jak się znalazłem w kręgu Szkoły Lwowsko-Warszawskiej za sprawą Kazimierza Ajdukiewicza, Katedry Logiki UW i środowiska filozoficznego KUL | |
O jednomyślności filozoficznej i atrakcyjności filozofii | |
Logic from a rhetorical point of view | |
Logical systems and algorithms for computerized proof testing : research project RPBP III, 24 of Ministry of Science and Higher Education, Poland : report on project design and first results | |
Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki | |
Mała encyklopedia logiki | |
"Mathesis Universalis" na nasze czasy : wykład Fregego, Cantora i Gödla | |
Mechanization of reasoning in a historical perspective | |
O metodę filozofii : rozważania na tle problemu substancji i przypadłości | |
Metody analizy tekstu naukowego | |
The modes of philosophical involvement with a categorial framework | |
Nierozstrzygalność i algorytmiczna niedostępność w naukach społecznych | |
Nowoczesny racjonalizm i jego adwersarze | |
On a classification of pointwise compact sets of the firet Baire classe functions | |
On accelerations in science driven by daring ideas: Good messages from fallibilistic rationalism | |
On advancing frontiers of science : a pragmatist approach | |
On Banach spaces C(K) isomorphic to c0(Γ) | |
On genuine steps toward the formalization of arguments in the Middle Ages and on the legend of Ramon Lullus | |
On Lindelöf property in function spaces and a related selection theorem | |
On mechanization of reasoning, decidability of logic, and uncomputable numbers | |
On properties of metrizable spaces X preserved by t-equivalence | |
On the development of the idea of extensional logic : a case study | |
On the power and glory of deductivism | |
On the stylistics of a formalized mathematical language for the communication with computer | |
On topological classification of function spaces C~(px of low Borel complexity | |
On universal Borel and projective filters | |
Pascal a nieskończoność | |
O pewnym pojęciu uznawania : (analiza logiczna w terminach rachunku zdań) | |
Platonian rationalism as expressed in Leibniz's program for science | |
Podstawy logicznej teorii przekonań | |
Poradnik dla niezdecydowanych | |
Post's problem of creativity and 'nature as infinite intelligence' | |
The problem of mechanization of arguments against the background of 17th century logic | |
Problem reprezentacji arytmetycznej rozumowań zapisywanych w kodzie neuronowym : uwagi w stulecie programu Hilberta i półwiecze projektu SI | |
Racjonalizm Platoński a Cantorowski pewnik abstrakcji | |
A rationalistic interpretation of "Reasons of the heart" : a study in Pascal | |
Ratione et studio : Profesorowi Witoldowi Marciszewskiemu w darze | |
Realizm aksjologiczny : rzecz o wartości logicznej sądów wartościujących | |
Rola dyskusji w nauczaniu i wychowaniu | |
Rules of inference for English based on the method of set-theoretical representation | |
Schematy i człowiek : szkice filozoficzne | |
Słowo "wierzę" w poczwórnej roli : (w związku z artykułem G. E. Meyersa "Justifying belief-assertions") | |
Some remarks of universality properties of l∞/c0 | |
Spójność strukturalna a spójność semantyczna | |
O społecznej roli filozofii mówią uczestnicy posiedzenia KNF | |
Sposoby streszczania i odmiany streszczeń | |
Sprawozdanie z konferencji "Moc obliczeniowa dla badań społecznych. Idee von Neumanna" | |
Studies in Logic, Grammar and Rhetoric | |
Syntaktische Konnexität und Textkonnexität | |
Sztuczna inteligencja | |
Sztuka dyskutowania | |
Sztuka rozumowania w świetle logiki | |
Tajniki internetu | |
Teorio-kratowe ujęcie struktury tekstu | |
Three essays in the modern mathesis universalis | |
Umysł, komputer, świat : o zagadce umysłu z informatycznego punktu widzenia | |
Why is the western civilization developing towards universality | |
Why Leibniz should not have believed in 'filum cogitationis' | |
Wiara contra fideizm | |
Wielcy matematycy światowi związani z Białymstokiem | |
[Wörterbuch der Logik | |
Wybrane zagadnienia metodologii nauk i logicznej teorii języka | |
Wzajemne oddziaływania informatyki i logiki | |
Zarys logiki dla bibliotekoznawców. | |
O zjawisku światopoglądu |