Idealizácie v logike

Keďže logika nehovorí (sama) nič o vzťahoch medzi časopriestorovými objektmi, zdalo by sa prirodzené predpokladať, že nebude mať nič dočinenia ani s idealizáciami, ktoré sú štandardne súčasťou modelovania empirického sveta. No opak je pravdou. Na stránkach Quarku sme sa v čísle 12/2025 venovali niektorým základným charakteristikám a funkciám idealizácií… pokračuj

Čaro kráľovskej hry

Šach (z perzského slova šáh, kráľ alebo prenesene kráľovská hra) je strategická hra pre dvoch hráčov, v ktorej o výsledku rozhodujú taktické a strategické schopnosti hráčov, ich pozornosť a sústredenie. Šach v sebe spája prvky športu, umenia aj vedy. Hovorí sa, že je to aktivita,… pokračuj

Alfred Tarski

Matematika mu bola vedou i umením Sémantika je súhrn úvah týkajúcich sa tých pojmov, ktoré vyjadrujú určité súvislosti medzi výrazmi jazyka a objektmi, stavmi alebo dejmi, na ktoré sa tieto výrazy vzťahujú. Takto ozrejmil nový smer logických výskumov poľský matematik a logik Alfred Tarski, ktorý… pokračuj