|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: Dnia 27 marca 2011 r. w Saarbrucken, Niemcy, odbędzie się konferencja pt. "Semantyka, weryfikacja, analiza i transformacja kodu bajtowego".
Kod bajtowy, taki jak ten generowany przez kompilatory Java czy .NET, stał się ważnym tematem zainteresowania przedsiębiorców i naukowców. Za... W dniach 22-25 kwietnia 2010 r. w Lizbonie, Portugalia, odbędzie się trzydniowy kongres nt. logiki uniwersalnej.
Wydarzenie posłuży za platformę do dyskusji nad przyszłością badań naukowych w dziedzinie logiki. Wezmą w nim udział logicy, matematycy, ... W dniach od 9 do 20 sierpnia 2010 r. w Kopenhadze, Dania, odbywać się będą 22. europejskie letnie warsztaty nt. logiki, języka i informacji (ESSLLI).
Warsztaty organizowane są co roku przez Stowarzyszenie Logiki, Języka i Informacji (FOLLI) w różnych miejscach w Europie. Głów... W dniach 21-22 sierpnia 2010 r. w Brnie, Czechy, odbędą się trzecie, międzynarodowe warsztaty nt. logiki klasycznej i obliczeń.
Wydarzenie skoncentruje się na wzajemnych zależnościach między ekstrakcją programu z konstruktywnych dowodów a informatyką. Inne powiązane wydarzenie... Od kilku lat media coraz głośniej lansują przepowiednie zagłady cywilizacji, a wśród nich - tę, spowodowaną przebiegunowieniem Ziemi. Według medialnych "proroków" ma to nastąpić w 2012 roku, na co ma wskazywać malejące pole magnetyczne Ziemi oraz większa sz...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 Semiotyka - logika Czy wiesz że...? Logika (gr. λόγος, logos - rozum) nauka normatywna, analizująca źródła poznania pod względem prawomocności czynności poznawczych z nimi związanych. Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika, jako dyscyplina normatywna, nie tylko opisuje jak faktycznie przebiegają rozumowania, ale także formułuje twierdzenia normatywne, mówiące o tym, jak rozumowania powinny przebiegać. Wyrażeniem nazywamy łańcuch znaków składający się z ciągu symboli oraz liter alfabetu, który definiuje pewien język formalny. Każdy język definiowany przez wyrażenie regularne jest regularny. Funkcje semiotyczne - relacje wyrażenia językowego do elementu rzeczywistości pozajęzykowej (funkcja semantyczna), do użytkownika tego wyrażenia (funkcja pragmatyczna) lub do innego wyrażenia językowego (funkcja syntaktyczna). Podział funkcji semiotycznych odpowiada więc podstawowemu podzialowi semiotyki na semantykę, pragmatykę i syntaktykę - dla każdej z tych dziedzin wiedzy odpwiednie funkcje semiotyczne są podstawowym przedmiotem badań. Podstawowe funkcje semantyczne to np. konotowanie, oznaczanie i denotowanie. Podstawowe funkcje pragmatyczne to np. wyrażanie, komunikowanie, rozumienie, uznawanie. Podstawowe funkcje syntaktyczne to np. wynikanie, reprezentowanie stałych przez zmienne. Semiotyka (rzadziej używa się terminów "semiotyka logiczna", "semiologia" i "semantyka", z których dwa ostatnie mają też inne znaczenia) - jeden z trzech głównych (obok logiki formalnej i metodologii nauk) działów logiki, sam dzielący się na semantykę, pragmatykę i syntaktykę. Podział semiotyki na trzy główne działy pochodzi od Charlesa W. Morrisa. Semiotyka logiczna stanowi ogólną teorię znaków, zwłaszcza znaków językowych - wyrażeń. Zbliżony charakter ma semiotyka językoznawcza, która nie bada języków sformalizowanych, a jedynie języki naturalne (sama semiotyka logiczna, poza językami sformalizowanymi, bada także język naturalny). Zbliżony do syntaktyki logicznej charakter ma syntaktyka językoznawcza, semantyka logiczna ma swój odpowiednik w postaci semantyki językoznawczej. Syntaktyka - jeden z trzech głównych (obok semantyki i pragmatyki) działów semiotyki logicznej. Syntaktyka bada funkcje syntaktyczne - relacje, które zachodzą między wyrażeniami (znakami językowymi) wewnątrz języka i które mają charakter formalny. Podstawowe relacje syntaktyczne to np. wynikanie, reprezentowanie stałych przez zmienne itp.
Logika (gr. λόγος, logos - rozum) nauka normatywna, analizująca źródła poznania pod względem prawomocności czynności poznawczych z nimi związanych. Zajmuje się badaniem ogólnych praw, według których przebiegają wszelkie poprawne rozumowania, w szczególności wnioskowania. Logika, jako dyscyplina normatywna, nie tylko opisuje jak faktycznie przebiegają rozumowania, ale także formułuje twierdzenia normatywne, mówiące o tym, jak rozumowania powinny przebiegać. Poszczególne działy semiotyki zajmują się różnymi funkcjami semiotycznymi. Semantyka bada relacje semantyczne, tj. związki między znakami, a rzeczywistością, tym, do czego odnoszą się znaki. Syntaktyka bada relacje syntaktyczne, tj. relacje zachodzące między samymi znakami. Nie są to jednak wszystkie relacje zachodzące wewnątrz języka, ale jedynie te, które mają charakter formalny - a więc niezależne od znaczenia wyrażeń, między którymi zachodzą. Pragmatyka, która bada relacje pragmatyczne, zachodzące między znakiem a jego użytkownikami (nadawcami i odbiorcami), ma częściowo nieuregulowany status - istnieje wiele prób uczynienia z niej nauki formalnej na wzór semantyki i syntaktyki, może ona jednak być uprawiana również jako nauka empiryczna mówiąca o ludzkim zachowaniu i łącząca w sobie elementy psychologii, socjologii i wiedzy o kulturze. Metodologia nauk - jedna z dziedzin filozofii nauk, zajmuje się metodami stosowanymi przy formułowaniu twierdzeń i teorii naukowych. Z reguły metody są wspólne dla wszystkich nauk przyrodniczych. Metodologia nauk analizuje nie tylko procedury badawcze, lecz także jej wytwory: pojęcia, hipotezy, prawa, twierdzenia.
Pragmatyka – jeden z trzech działów semiotyki (obok semantyki i syntaktyki). Wg Charlesa W. Morrisa, autora wspomnianego podziału, pragmatyka traktować ma o relacji między znakiem a odbiorcą (interpretatorem). BibliografiaLinki zewnętrzneSemiotyka (od greckiego semeiotikòs, czyli dotyczący znaku) albo semiologia, zwana jest także ogólną teorią znaków. Ogólna, formalna czyli logiczna teoria języka rozumianego jako system znakowy, zajmująca się językiem w aspekcie jego racjonalności i sprawności w aktach poznania i komunikowania.
Znak jest to obserwowalny (postrzegalny) układ rzeczy czy zjawisk spowodowany przez kogoś (nadawcę) ze względu na to, że istnieją zwyczajowo ukształtowane określone reguły nakazujące wiązać z danym układem rzeczy lub zjawisk myśli określonego typu, oraz na to, że nadawca znaku postanowił wywołać tę myśl u odbiorcy znaku.
Czy wiesz że...? beta Jerzy Pelc (ur. 30 września 1924 w Warszawie) - filozof, semiotyk i logik, od 1971 profesor Uniwersytetu Warszawskiego i Instytutu Filozofii i Socjologii Polskiej Akademii Nauk.
Semantyka - dział językoznawstwa, zajmujący się znaczeniem w języku, a także relacją formy znaku językowego do treści oznaczanej w ujęciu synchronicznym i diachronicznym. Semantyka bada ponadto relacje między znaczeniem podstawowym wyrazu, a jego znaczeniem w konkretnym wypowiedzeniu. 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. |
