ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Articles  (25)
  • Springer  (25)
  • Alfred Wegener Institute for Polar and Marine Research & German Society of Polar Research
  • Geological Society of America (GSA)
  • 1950-1954  (25)
  • Philosophy  (25)
Collection
  • Articles  (25)
Source
Publisher
  • Springer  (25)
  • Alfred Wegener Institute for Polar and Marine Research & German Society of Polar Research
  • Geological Society of America (GSA)
  • Periodicals Archive Online (PAO)  (419)
Years
Year
Topic
  • 1
    Electronic Resource
    Electronic Resource
    Od readakji (1953)
    Springer
    Studia logica 1 (1953), S. 7-12 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272268
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    O regułach rachunku zdań (1953)
    Springer
    Studia logica 1 (1953), S. 40-41 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Streszczenie Zmienną istotną wyrażenia rachunku zdań nazywam zmienną, której wartość przy pewnym układzie wartości innych zmiennych wpływa na wartość całego wyrażenia.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272273
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Über den auf alternative und negation aufgebauten aussagenkalkul (1953)
    Springer
    Studia logica 1 (1953), S. 13-17 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272269
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    O alternatywno-negatywnym rachunku zdań (1953)
    Springer
    Studia logica 1 (1953), S. 17-18 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272270
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Electronic Resource
    Electronic Resource
    Uber die Regeln des Aussagenkalkuls (1953)
    Springer
    Studia logica 1 (1953), S. 19-40 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272272
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 6
    Electronic Resource
    Electronic Resource
    ОБ Альтернативно-отрицательном исчислении предложений (1953)
    Springer
    Studia logica 1 (1953), S. 18-18 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Резюме В этом труде я излагаю аксиоматику альтернативно-отрицательного исчисления предложений со следующими правилами вывода: а) правило подстановки, б) правило отделения, определенное схемой $$\begin{gathered} A\alpha \beta \hfill \\ \frac{{N\alpha }}{\beta } \hfill \\ \end{gathered} $$ Аксиомами этими являются: I. NNApANpq, II. NNANApqANANqpp, III. NNANApqANANqrApr, IV. ANpp, V. ANApqApNNq. Кроме того я доказываю независимость и полноту данных аксиом.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272271
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 7
    Electronic Resource
    Electronic Resource
    St. Lesniewski's protothetics (1953)
    Springer
    Studia logica 1 (1953), S. 44-111 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272275
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 8
    Electronic Resource
    Electronic Resource
    О правилах исчисления предложе ий (1953)
    Springer
    Studia logica 1 (1953), S. 42-43 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Резюме Существенной переменной выражения исчисления предложений мы называем переме ную, значение которой при некотором сочетании значений других переменных влияет на значение целого выражения.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272274
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 9
    Electronic Resource
    Electronic Resource
    Teoria zdań normatywnych (1953)
    Springer
    Studia logica 1 (1953), S. 113-146 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272278
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 10
    Electronic Resource
    Electronic Resource
    Theorie des propositions normatives (1953)
    Springer
    Studia logica 1 (1953), S. 147-182 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272279
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 11
    Electronic Resource
    Electronic Resource
    Prototetyka St. Lesniewskiego (1953)
    Springer
    Studia logica 1 (1953), S. 111-111 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Streszczenie Prototetyka St. Leśn'ewskiego jest uogólnieniem dwuwartościowego rachunku zdań. Występują w niej obok terminów tego rachunku funktory (zarówno staŀe jak i zmienne) tych wszystkich kategorii semantycznych, jakie mogą być zdefiniowane, gdy punktem wyjścia jest kategor a zdań. W pracy zreferowane są trzy systemy prototetyki. Terminem pierwotnym dwu z nich jest implikacja, terminem pierwotnym systemu trzeciego jest równoważność. Systemy o terminie pierwotnym implikacji różnią s.ę reguŀami wnioskowania. W jednym z nich obowiązuje reguŀa weryfikacji, w drugim reguŀa ekstensjonalności. Pierwsza z tych reguŀ jest uogólnieniem następującej reguŀy rachunku zdań, wzbogaconego o terminy 0 i 1: Wyrażenie ϕ jest tezą systemu, gdy tezami systemu są oba wyrażenia powstaŀe z ϕ przez podstawienie za pewną jego zmienną symboli 0 i 1. W myśl reguŀy ekstensjonalności tezami systemu są prawa ekstensjonalności, sformuŀowane dla funktorów dowolnych kategorii semantycznych wŀaśc-wych prototetyce. W pracy podaję dowody równoważności trzech systemów prototetyki i dowód ich zupeŀności. Znaczna część wyników Leśniewskiego, zreferowanych w pracy, nie byŀa dotąd opublikowana. Opracowując te wyniki opieraŀem się na notatkach z wykŀadów Leśniewskiego, spisanych przez jego uczniów. Oryginalne notatki Leśniewskiego ulegŀy zniszczeniu w czasie powstania warszawskiego.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272276
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 12
    Electronic Resource
    Electronic Resource
    Π⌕оотнка ст. Лесцневского (1953)
    Springer
    Studia logica 1 (1953), S. 112-112 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Резюме Прототетика Ст. Лесневского является обобщением двузначного исчисления предложений. Выступают в ней рядом с терминами этого исчисления функторы (как постоянные так и переменные) всех тех семантических категорий какие могут быть определены, когда точкой исхода является категсрия предложений. В этом труде представлены три системы прототетики. Основным термином двух из них является импликация, ссновным термином третьей системы эквивалентность. Системы с основным термином импликации разнятся гравилами вывода. В одной из них действует так наз. правило проверки, в другой прабило зкстенсиональности. Первое из этих правил является обобщением следующего правила вывода исчисления предложений, обогащенного тєрминами 0 и 1: Вь'ражение ϕ является тезисом системы, когда тезисами системы являются оба выражения возникнувшие из ϕ через подстановку некоторой его переменной символов 0 и 1. На основании правила экстенсиональности тезисами системы являются правила экстенсиональности сформулированные для функторов любых семантических категсрий свойственных грототетике. В этом труде даются доказательства эквивалентности трех систем протстетики и доказательство их полноты. Значительная часть результатов из опытов Лесневского, представленных в этом труде, не была до сих пор опубликована. Обрабатывая эти результаты я пользовался записками составленными по лекциях Лесневского, его учениками. Оригинальные записки Лесневского подвєрглись уничтожению во еремя варшавского восстания.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272277
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 13
    Electronic Resource
    Electronic Resource
    Теория нормативных предлозений (1953)
    Springer
    Studia logica 1 (1953), S. 183-184 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Резюме В языке зтой статьи нормативные предлозения зто предложения, созданные при помощи личных или безличных оборотов: “... он долзен (следует) делать...”, “ ...он долзен (следует) не делать ...”, “...о н имеет право (разрешается) делать ... “, ”... он имеет право (разрешается) не делатя ...”, — или при помощи подобных оборотов. сформулированных в другом каком-либо времени или гисле.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272280
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 14
    Electronic Resource
    Electronic Resource
    Analiza i uogolnienie metody sprawdzania formuł logicznych przy pomocy diagramow venna (1953)
    Springer
    Studia logica 1 (1953), S. 185-213 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272281
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 15
    Electronic Resource
    Electronic Resource
    Анализ и оБоБщение метода лроверки логических формул диаграммами веннч (1953)
    Springer
    Studia logica 1 (1953), S. 214-244 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272282
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 16
    Electronic Resource
    Electronic Resource
    Przyczynek do historii i rachunku zdań (1953)
    Springer
    Studia logica 1 (1953), S. 247-252 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272284
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 17
    Electronic Resource
    Electronic Resource
    An analysis and generalization of Venn's diagrammatic decision procedure (1953)
    Springer
    Studia logica 1 (1953), S. 245-246 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Summary When testing logical formulae for validity by applying Venn's diagrams we are using a kind of picture writing i. e. a writing in which certain facts are represented by drawings rather than sentences. This diagrammatic decision procedure may however be translated into ordinary language. Translating for instance the respective procedure of testing the mood Darii we obtain the following reasoning.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272283
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 18
    Electronic Resource
    Electronic Resource
    O geometrycznej interpretacji wyrażeń logicznych (1953)
    Springer
    Studia logica 1 (1953), S. 254-269 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272287
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 19
    Electronic Resource
    Electronic Resource
    К истории исчисления предложений (1953)
    Springer
    Studia logica 1 (1953), S. 252-252 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Резюме Анонимный схолион под заглавием „О всех формах силлогизма” был переписан из парижского кодекса 2064 в 1884 году Е. Рихтером. Издал его в предисловии к коментарию Аммониуса к Первой АналитикеП ристотеля в 1899 году М. Валлис. В этом, использованном мной. схолионе рядом сложной фигурой Галеноса находятся и иные характєрные формы вывода. Среди этих форм я нашёл пять так наз. Недоказуемых стоических силлогизмов, три варианта закона транспозиции, из котсрых третьего нет в PRINCIPIA MATHEMATICA, а также некоторый вариант формы вывода, известной под названием права Евклида. Этой формой вывода пользовался Евклид в математике а Saccherius в силлогистике. Упоминает о ней впєрвые Кардан в сочинении с 1570 года, а затем Клавиус в 1574 году в коментарии к элементам Эвклида и в 1586 году в коментарии к Sphaerica Теодозиуса. Логический закон Евклида в формулировке Кардана и Клавиуса пробовал опровергнуть впервые Эргард Вейгель в 1658 году, а Яков Бернулли в 1686 году пробовал его обосновать.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272285
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 20
    Electronic Resource
    Electronic Resource
    A contribution to the history of propositional calculus (1953)
    Springer
    Studia logica 1 (1953), S. 253-253 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Summary The anonimous scholiumOn all forms of syllogism was copied in 1884 from the Paris Codex 2064 by E. Richter. In 1899 M. Wallies published it in the preface to Ammonius' commentary on the Prior Analytics of Aristotle. There appear in that scholium, apart from the complex figure of Galenos, other characteristic forms of inference. Among these forms I found five so-called non-demonstrable stoic syllogisms, three modifications of the law of transposition of which the third is not mentioned by the authors of Princ pia Mathematica, and a modification of the form of inference known as Euclid's law. This form of inference was applied by Euclid in mathematics and by Saccherius in syllogistics; it is mentioned for the first time by Cardan in a treatise of 1570 and later by Clavius in his commentary of 1574 on the Elements of Euclid and in the commentary on Theodosius'Sphaerica of the year 1586. In 1658 Erhard Weigel made the first attempt at refuting the logical law of Euclid as formulated by Cardan and Clavius and in 1686 James Bernoulli tried to prove it.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272286
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 21
    Electronic Resource
    Electronic Resource
    О геометрической интерпретации логических выражений (1953)
    Springer
    Studia logica 1 (1953), S. 270-273 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Резюме Целью этой работы есть предложение геометрической интерпретации кванторов для интуиционистского функционального исчисления. Интерпретация эта получается трактуя выражение заключающееn свободных переменных как функцию, областью определения которой является любое абстрактное множество, и значениями которой являются открытые множества соответствующего топологического пространства.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272288
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 22
    Electronic Resource
    Electronic Resource
    A geometric interpretation of logical formulae (1953)
    Springer
    Studia logica 1 (1953), S. 273-275 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Summary The aim of this paper is to give a geometric interpretation of quantifiers in the intutionistic predicate calculus. We obtain it treating formulae withn free variables as functions withn arguments which run over an abstract set whereas the values of functions are open subsets of a suitable topological space.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272289
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 23
    Electronic Resource
    Electronic Resource
    Попытка „омоложения” логического квадрата (1953)
    Springer
    Studia logica 1 (1953), S. 287-296 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272291
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 24
    Electronic Resource
    Electronic Resource
    Proba „odmłodzenia” kwadratu logicznego (1953)
    Springer
    Studia logica 1 (1953), S. 276-286 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272290
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 25
    Electronic Resource
    Electronic Resource
    The square of opposition — A new approach (1953)
    Springer
    Studia logica 1 (1953), S. 297-301 
    Details
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Summary The theory of the square of opposition has been worked out many centuries ago as a part of Aristotelian logic of terms. In spite of its inexactness (for instance it is not possible to decide whether the termsquare of opposition is a logical or a metalogical term) this theory is included without any changes in the usual elementary course of logic. The author defines the square of opposition in the language of the logic of propositions (see Def. 1.000) and derives from this definition the usual laws of the square of opposition and several new theorems.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02272292
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...