Temat: Intuitionism - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: What is a Genuine Intuitionistic Notion of Falsity?
Autorzy:: Yaroslav Shramko
Data publikacji:: 2012-03-01
Tematy:: Intuitionism
truth
falsity
negation; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Three Doctrines of the Nature of Mathematics (Some Comments of a Knowledge Theorist)
Autorzy:: Wójcicki, Ryszard
Data publikacji:: 2017
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: mathematics
formalism
realism
intuitionism
truth; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
Autorzy:: Niki, Satoru
Data publikacji:: 2020-12-30
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: empirical negation
co-negation
labelled sequent calculus
intuitionism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Stanisław Zakrzewski (1873-1936). Studium z historii historiografii polskiej
Stanisław Zakrzewski (1873- 1936). A study of history of historiography.
Autorzy:: Bielecki, Paweł
Słowa kluczowe:: intuitionism methodology historicism historian
intuicjonizm metodologia średniowiecze historyk sanacja; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations
Autorzy:: Niki, Satoru
Data publikacji:: 2020-11-04
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: empirical negation
co-negation
Beth semantics
Kripke semantics
intuitionism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: The emotivist trend in meta-ethics : the theories of G. E. Moore, Ch. L. Stevenson and R. M. Hare and the British ethical theorizing at the age of Enlightenment
Nurt emotywistyczny w metaetyce : teorie G. E. Moore'a, Ch. L. Stevensona i R. M. Hare'a a filozofia moralna angielskiego Oświecenia
Autorzy:: Cebula, Adam
Współwytwórcy:: Legutko, Ryszard
Data publikacji:: 2010-11-19
Słowa kluczowe:: emotivism
ethics
intuicjonizm
intuitionism
metaethics
preskryptywizm
etyka
metaetyka
emotywizm
prescriptivism; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Justice before expediency : robust intuitive concern for rights protection in criminalization decisions
Autorzy:: Bystranowski, Piotr
Hannikainen, Ivar Rodríguez
Data publikacji:: 2024
Słowa kluczowe:: psychology of punishment
criminalization
experimental jurisprudence
proxy crimes
social intuitionism; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Death as the extinction of the source of value : the constructivist theory of death as an irreversible loss of moral status
Autorzy:: Nowak, Piotr
Data publikacji:: 2024
Słowa kluczowe:: definition of death
moral status
brain death
utilitarianism
intuitionism
constructivism; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Z dyskusji o naturze życia – Bohdan Rutkiewicz
ON THE DISCUSSION ABOUT THE NATURE OF LIFE – BOHDAN RUTKIEWICZ
Autorzy:: Zhuravskyy Vladyslav
Tematy:: LIFE
VITALISM
MECHANICAL PHILOSOPHY
INTUITIONISM
METHODOLOGICAL PLURALISM
SUBSTANTIALISM
HYLEMORPHISM
FINALITY
ABSOLUT; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Pragmatic and dialogic interpretations of bi-intuitionism. Part I
Autorzy:: Bellin Gianluigi
Carrara Massimiliano
Chiffi Daniele
Menti Alessandro
Data publikacji:: 2014-06-03
Tematy:: bi-intuitionism
categorical proof theory
justificationism
meaning-asuse
speech-acts theory; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: All the mathematics in the world: logical validity and classical set theory
Autorzy:: David Charles McCarty
Data publikacji:: 2017
Tematy:: ustification of deduction
set validity
class validity
general validity
intuitionism
topological models; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: Errata Corrige to “Pragmatic and dialogic interpretation of bi-intuitionism. Part I”
Autorzy:: Bellin Gianluigi
Carrara Massimiliano
Chiffi Daniele
Menti Alessandro
Data publikacji:: 2015-04-18
Tematy:: bi-intuitionism
categorical proof theory
justificationism
meaning-as-use
speech-acts theory; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: O poglądach Floriana Bochwica. Rozdział z dziejów myśli polskiej
On the Views of Florian Bochwic (a Chapter from the history of Polish Thought)
Autorzy:: Jadacki, Jacek Juliusz
Data publikacji:: 2004
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: absolutyzm aksjologiczny
dualizm ontologiczny
intuicjonizm
kreacjonizm
axiological absolutism
ontological dualism
intuitionism
creationism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 14.

Tytuł:: All the mathematics in the world: logical validity and classical set theory
Autorzy:: McCarty, David Charles
Data publikacji:: 2017
Wydawca:: Copernicus Center Press
Tematy:: ustification of deduction
set validity
class validity
general validity
intuitionism
topological models; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 15.

Tytuł:: Kryzys podstaw matematyki przełomu XIX i XX wieku
Autorzy:: Marlena Fila
Data publikacji:: 2014-11-30
Tematy:: set theory
logicism
intuitionism
formalism
crisis of the basis of mathematics
finitary methods; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 16.

Tytuł:: Wokół intuicjonizmu metaetycznego Mariana Przełęckiego
Reflections on Marian Przełęcki’s Metaethical Intuitionism
Autorzy:: Jedynak Anna
Tematy:: indukcjonizm
intuicjonizm
metaetyka
naturalizm
Przełęcki
zasada etyczna
inductionism
intuitionism
metaethics
moral principle
naturalism; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 17.

Tytuł:: Kryzys podstaw matematyki przełomu XIX i XX wieku
Autorzy:: Fila, Marlena
Data publikacji:: 2014
Wydawca:: Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:: set theory
logicism
intuitionism
formalism
crisis of the basis of mathematics
finitary methods; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: O kształtowaniu się intuicyjnej koncepcji zbioru Stanisława Leśniewskiego
Autorzy:: Miszczyński, R.
Data publikacji:: 2013
Słowa kluczowe:: Leśniewski Stanisław
intuicjonizm
teoria mnogości
teoria zbiorów
mereologia
Lesniewski Stanislaw
intuitionism
set theory
mereology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Kilka uwag o przedmiocie logiki intuicjonistycznej
A few remarks on the subject of intuitionist logic
Einige Anmerkungen zum Gegenstand des intuitionistischen Aussagenkalküls
Autorzy:: Czernecka, Bożena
Data publikacji:: 2001
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika
filozofia logiki
filozofia matematyki
intuicjonizm
Heyting
logic
philosophy of logic
philosophy of mathematics
intuitionism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 20.

Tytuł:: Special Issue on point-free geometry and topology. An introduction
Autorzy:: Cristina Coppola
Giangiacomo Gerla
Data publikacji:: 2013-06-01
Tematy:: mereology
Boolean algebras
point-free geometry
point-free topology
intuitionism
category theory
multi-valued logic
decidability; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 21.

Tytuł:: O platonizmie w teorii mnogości
On Platonism in Set Theory
Autorzy:: Król, Zbigniew
Data publikacji:: 2003
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: platonizm
teoria mnogości
hermeneutyka matematyki
fenomenologia
Heidegger
konstruktywizm
intuicjonizm
platonism
set theory
hermeneutics of mathematics
phenomenology
constructivism
intuitionism; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 22.

Tytuł:: Filozofia i logika intuicjonizmu
Autorzy:: Fila, Marlena
Data publikacji:: 2015
Wydawca:: Uniwersytet Papieski Jana Pawła II w Krakowie
Tematy:: intuitionism
axioms
matrices truth-
Heyting system
Gödel theorem about the inadequacy of finite dimensional matrices for Heyting system
infinite sequence of matrices; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 23.

Tytuł:: Filozofia i logika intuicjonizmu
Autorzy:: Marlena Fila
Data publikacji:: 2015-09-01
Tematy:: intuitionism
axioms
matrices truth-
Heyting system
Gödel theorem about the inadequacy of finite dimensional matrices for Heyting system
infinite sequence of matrices; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 24.

Tytuł:: Filozofowie personalistycznego przebudzenia: Karol Wojtyła i Tadeusz Styczeń
Philosophers of the Personalist Awakening: Karol Wojtyła and Tadeusz Styczeń
Autorzy:: Wierzbicki, Alfred Marek
Data publikacji:: 2020
Wydawca:: Karpacka Państwowa Uczelnia w Krośnie
Tematy:: osoba
moralność
personalizm
norma personalistyczna
doświadczenie moralne
intuicjonizm etyczny
etyka niezależna
person
morality
personalism
personalist norm
moral experience
ethical intuitionism
autonomous ethics; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 25.

Tytuł:: What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
Autorzy:: David Charles McCarty
Piotr Urbańczyk
Data publikacji:: 2016
Tematy:: mathematics
logic
mathematical explanation
limits of explanation
mathematical proof
proof-core
intuitionism
constructivsim
Gödel’s Incompleteness Theorems
intuitionistics mathematics
classical mathematics
Axiom of Choice; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Intuitionism" wg kryterium: Temat