|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: 8 osób - zwycięzców Mistrzostw Polski w Grach Matematycznych i Logicznych w poszczególnych kategoriach wiekowych - będzie reprezentować Polskę na międzynarodowym finale mistrzostw, który odbędzie się pod koniec sierpnia w Paryżu.IX Mistrzostwa Polski w Grach Matematycznych i Logicznych odbyły się 2... 12 lipca w Krakowie, w wieku 91 lat, zmarł wybitny fizyk, prof. Roman Stanisław Ingarden z Uniwersytetu Mikołaja Kopernika - poinformował w środę rzecznik uczelni dr Marcin Czyżniewski.Roman Ingarden urodził się 1 października 1920 r. w... W sobotę, 28 stycznia w szpitalu im. Św. Anny w Piasecznie po długiej i ciężkiej chorobie zmarł prof. Roman Juszkiewicz - jeden z najwybitniejszych polskich astrofizyków i kosmologów - poinformowała Astronomia.pl. Naukowiec zajmował się m.in. teorią pows... 27 osób liczyć będzie polska reprezentacja na XXIV Międzynarodowe Mistrzostwa w Grach Matematycznych i Logicznych w Paryżu. Mistrzostwa rozpoczną się 25 sierpnia i trwać będą jak zawsze dwa dni. Wezmą w nich udział reprezentacje 10 krajów.Faworytami - jak informuje doc. dr inż. Janusz Górni... Ponad 5 tys. uczniów i 70 nauczycieli z Lubuskiego, Dolnośląskiego i Wielkopolskiego - ze szkół gdzie procent zdawalności matury z fizyki jest najniższy w Polsce - bierze udział w projekcie "Fizyka jest ciekawa". 25 listopada na Politechnice Poznańskiej odbędzie ...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 Logika niefregowskaTo hasło encyklopedii posiada podstrony: 1 [2],[3] Czy wiesz że...? Roman Suszko (ur. 9 listopada 1919 w Podobrze, zm. 3 czerwca 1979 w Warszawie) – polski logik, zajmujący się między innymi teorią mnogości, semantyką i lingwistyką matematyczną. Syn chemika Jerzego Suszki. Twórca logiki niefregowskiej. Rachunek zdań to dział logiki matematycznej badający związki między zdaniami (zmiennymi zdaniowymi) lub funkcjami zdaniowymi utworzonymi za pomocą spójników zdaniowych ze zdań lub funkcji zdaniowych prostszych. Rachunek zdań określa sposoby stosowania spójników zdaniowych w poprawnym wnioskowaniu. Logika niefregowska jest rachunkiem logicznym, który różni się od klasycznych „fregowskich” rachunków logicznych, tym że zdania nie są w nim nazwami przedmiotów logicznych (prawdy lub fałszu), lecz są nazwami sytuacji. Logika ta jest przykładem logiki filozoficznej. Jej twórcą był Roman Suszko. Ekstensjonalność to własność języka lub pewnych jego struktur, polegająca na tym, że w języku tym bądź w otoczeniu owych struktur językowych podstawienia terminów mających ten sam zbiór desygnatów nie zmieniają prawdziwości zdań. W językach ekstensjonalnych zbiór desygnatów danego terminu można więc utożsamiać z jego znaczeniem. Mieczysław Omyła (ur. 19 grudnia 1941 w Soblówce) - prof. dr hab., logik, filozof. Od 1991 pełni funkcję Kierownika Zakładu Logiki w Instytucie Filozofii Uniwersytetu Warszawskiego. Wykładowca logiki na Uniwersytecie Warszawskim i Uniwersytecie Kardynała Stefana Wyszyńskiego w Warszawie. czytaj dalej: [2], [3]
Czy wiesz że...? beta Friedrich Ludwig Gottlob Frege (ur. 8 listopada 1848 w Wismarze, zm. 26 lipca 1925 w Bad Kleinen) – niemiecki matematyk, logik i filozof, profesor matematyki w Jenie.
Henryk Józef Maria Elzenberg (18 września 1887 – 6 kwietnia 1967) – polski filozof. Zajmował się głównie etyką, estetyką, aksjologią i historią filozofii.
Rachunek predykatów pierwszego rzędu – (ang. first order predicate calculus) to system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów. Tak więc nie mogą występować kwantyfikatory typu "dla każdej funkcji z X na Y ..." (gdyż funkcja jest podzbiorem X × Y), "istnieje własność p, taka że ..." czy "dla każdego podzbioru X zbioru Z ...". Rachunek ten nazywa się też krótko rachunkiem kwantyfikatorów, ale często używa się też nazwy logika pierwszego rzędu (szczególnie wśród matematyków zajmujących się logiką matematyczną).
Bogusław Wolniewicz (ur. 22 września 1927 w Toruniu) – profesor filozofii i logik, twórca ontologii sytuacji, tłumacz i komentator Ludwiga Wittgensteina. Powyższa treść oraz zamieszczone w niej powiązane definicje/pojęcia - udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Zobacz szczegółowe informacje o warunkach korzystania
Wszystkie hasła znajdujące się w naszym mirrorze Wikipedii mają znaczenie informacyjne i edukacyjne. Nie mogą być traktowane jako porady. |
