Sintaxa în logica predicatelor (logica de ordinul întâi)

|

Există două părți-cheie ale logicii de ordinul întâi. Sintaxa determină ce colecții de simboluri sunt expresii legale, în timp ce semantica determină semnificațiile din spatele acestor expresii. Alfabetul Spre deosebire de limbile naturale, cum ar fi limba engleză, limba logicii … Citeşte mai mult

Euristica teoriei corzilor în gravitația cuantică

|

Pozitivițtii logici ar fi considerat teoria corzilor ca o metafizică speculativă. Aspectul instrumentalist al pozitivismului logic nu corespunde cu opiniile teoreticienilor corzilor. Din punctul de vedere al falsificaționismului lui Popper,[1] distingem clar între contextul descoperirii și contextul de justificare. În … Citeşte mai mult

Avem datoria morală de a participa la cercetarea biomedicală prin voluntariat?

|

În lucrarea sa, „Cercetarea științifică este o datorie morală”, John Harris susține că indivizii au datoria morală de a participa la cercetarea biomedicală prin voluntariat ca subiecți de cercetare, argumentând că susținerea cercetării biomedicale este o obligație morală atât pentru … Citeşte mai mult

Eefectele încălzirii globale asupra hranei și sănătății

|

Impactul schimbărilor climatice poate fi gândit în ceea ce privește sensibilitatea și vulnerabilitatea. Sensibilitatea este gradul în care un anumit sistem sau sector ar putea fi afectat, pozitiv sau negativ, de schimbările climatice și / sau de variația climatului. „Vulnerabilitatea” … Citeşte mai mult

Concepte de bază în logica propozițională

|

Este prezentat un calcul standard propozițional. Există multe formulări diferite care sunt mai mult sau mai puțin echivalente, dar diferă în detalii: limba lor, respectiv colecția specială de simboluri primitive și simboluri ale operatorilor, setul de axiome sau formule distincte; … Citeşte mai mult

Temnița siberiană

|

Imaginea de mai sus reprezintă un plan de al unei anumite închisori ruse din Siberia. Toate celulele sunt numerotate, iar prizonierii sunt numerotați la fel ca celulele pe care le ocupă. Mâncarea din închisoare predispune atât de mult la îngrășare … Citeşte mai mult

Concepte în logică

|

Semantică Valabilitatea unui argument depinde de semnificația sau semantica propozițiilor care o compun. Organon a lui Aristotel, în special Despre interpretare, oferă o scurtă prezentare a semanticii pe care logicienii scolastici, în special în secolele 13 și14, s-a dezvoltat într-o … Citeşte mai mult

Epistemologia teoriei corzilor în gravitația cuantică

|

În teoria câmpului cuantic, principalul obstacol este apariția infinităților netratabile în interacțiunile particulelor datorită posibilității unor distanțe arbitrare între particulele punctuale. Corzile, ca obiecte extinse, oferă un cadru mai bun, care permite calcule finite.[1] Teoria corzilor face parte dintr-un un … Citeşte mai mult

Gottlob Frege despre sens și referință în filosofia limbajului

|

Investigațiile privind modul în care limbajul interacționează cu lumea sunt numite teorii de referință. Distincția dintre sens și referință a fost o inovație a filosofului și matematicianului german Gottlob Frege în 1892 (în lucrarea sa „On Sense and Reference„, germană: … Citeşte mai mult

Antropocentrismul în contextul încălzirii globale

|

Antropocentrismul este poziția că oamenii sunt elementul cel mai important sau critic în orice situație dată; că rasa umană trebuie să fie întotdeauna preocuparea sa principală. Detractorii antropocentrismului susțin că tradiția occidentală prejudiciază homo sapiens atunci când evaluează etica mediului … Citeşte mai mult

Logica modală

|

Logica modală este un tip de logică formală dezvoltată în primul rând în anii 1960, care extinde logica clasică propozițională și a predicatelor la operatorii care exprimă modalitatea. Un modal – un cuvânt care exprimă o modalitate – califică o … Citeşte mai mult

Trabucul

|

Odată am prezentat următorul puzzle într-un club din București care, pentru o perioadă considerabilă, a absorbit atenția membrilor. Nu reușeau să îl rezolve și au ajuns chiar să creadă că este imposibil de rezolvat. Și totuși, așa cum voi arăta, … Citeşte mai mult

1 … 482 483 484 485 486 487 488 … 1.010