Z Wikipedii

Logika modalna – teoria logiczna, która bada pojęcia możliwości, konieczności i ich wariantów.

Logika modalna uprawiana była już przez Arystotelesa jako sylogistyka zdań modalnych. Ten bardzo rozwinięty w logice średniowiecznej system był bardzo zbliżony do sylogistyki zdań asertorycznych, z tą różnicą, że przynajmniej jedna przesłanka każdego sylogizmu musiała być zdaniem modalnym, tj. problematycznym (zawierającym funktor możliwości) lub apodyktycznym (zawierającym funktor konieczności). Ze względu na to, jakimi zdaniami były przesłanki, sylogizmy modalne podzelone były odpowiednio na osiem grup. Tak jak w sylogistyce zdań asertorycznych, sylogizmy dzieliły się na tryby i figury. Nie każdemu poprawnemu modalnemu trybowi sylogistycznemu odpowiadał jednak porawny asertoryczny tryb sylogistyczny. Ponadto sylogistyka modalna była systemem niedokończonym.

Współczesną postacią logiki modalnej jest modalny rachunek zdań. Cechą charakterystyczną modalnych rachunków zdań jest występowanie w nich funktora możliwości, oznaczanego , i funktora konieczności, oznaczanego przez . Twórcą pierwszych systemów modalnego rachunku zdań (nazwanych później S1 i S2) jest C. I. Lewis. Następnie powstało jeszcze kilka innych systemów – Lewisa (S3, S4, S5), Kripkego (K), Feyesa (T), von Wrighta (M). Intencją Lewisa było stworzenie takiej logiki, która lepiej niż implikacja materialna w klasycznym rachunku zdań oddawałaby implikację występującą w języku naturalnym. Lewis nie uświadamiał sobie jeszcze w pełni różnicy między wynikaniem a implikacją ścisłą, współcześnie jednak logiki Lewisa interpretuje się powszechnie jako logiki zdań modalnych, na których gruncie właśnie implikację ścisłą zdefiniować można następująco:

Obecnie systemy rachunku modalnego tworzy się przede wszystkim ze względu na badanie pojęć modalnych, nie ze względu na poszukiwanie bardziej właściwego ujęcia pojęcia implikacji. Występując w nich funktory modalne są funktorami zdaniowymi, co jest główną różnicą między rachunkiem modalnym a sylogistyką modalną – w sylogistyce modalnej występowały one wewnątrz zdań, mówiła więc ona o konieczności/możliwości przysługiwania przedmiotom cech (modalność de re), nie o konieczności/możliwości zachodzenia stanów rzeczy (modalność de dictu).

[edytuj] Zobacz też

• Ab esse ad posse valet, a posse ad esse non valet consequentia

PwC wycenił Paradise Group na 79,0 mln zł na zlecenie Alma Market

PricewaterhouseCoopers Polska oceniła wartość rynkową spółki Paradise Group na 79,0 mln zł, poinformowała Alma Market, która zleciła wycenę. Walne zgromadzenie Alma Market ma dziś podjąć uchwały określające wysokość kapitału zakładowego i liczbę akcji serii F, jaka zostanie skierowana do udziałowców Paradise Group w zamian za 100% udziałów w tej spółce.

DJ Japan Stock Futures End Dn; Dlr/Yen Drop, US Mkt Concerns

Japan stock index futures finished lower Friday as selling accelerated in the afternoon on the dollar's weakening against the yen and on concerns over the next Wall Street session later in the global day.

Wzrost cen ropy w Nowym Jorku

Ceny ropy na giełdzie w Nowym Jorku rosły rano z powodu obaw o możliwe zakłócenia dostaw z Iranu i Nigerii.

Koniec sesji może być na plusie

Zdecydowane pogorszenie klimatu inwestycyjnego, czego konsekwencją była wczorajsza przecena na Wall Street (S&P500 -2,31 proc.; Nasdaq Composite -1,97 proc.), kontynuowana następnie dziś na czołowych azjatyckich parkietach (Nikkei -1,94 proc.), stawia polskich inwestorów pod ścianą.

DM IDM SA obniżył cenę docelową Pol-Aqua

DM IDM SA w raporcie z 17 lipca obniżył o 20 proc. cenę docelową dla akcji firmy Pol-Aqua, do 76,3 zł z 91,7 zł, podtrzymując rekomendację "kupuj".

Linki: Strona g³ówna