Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  software discourse
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
EN
The article highlights the new dimensions for the integral interaction between linguistics and philosophy in the 21st century. Starting from the philosophical conceptions of B. Russel and L Wittgenstein the question of how to acquire the linguistic knowledge – by experience or reasoning – still brings about scientific debate. In the present paper we give reasons to the idea that philosophy based on language analysis is one thing; the basing of language analysis on philosophy is quite another. Modern applications of the linguistic analysis based on the use of philosophical methods and categories are suggested; the choice of language means for the effective human-computer interaction via graphical user interfaces of computer software is one of them. The main focus of the article is explaining the mechanisms of formal inductive modeling and deductive reasoning that are involved in selecting appropriate language means for the software discourse. Special attention is given to linguistic categorization that serves as a bridge between deductive reasoning and formal inductive modeling.
PL
Artykuł przedstawia nowe kierunki zintegrowanego badania nad językiem w filozofii XXI wieku. Poczynając od filozoficznych koncepcji Russela i Wittgensteina, do dziś kontynuuje się debatę naukową poświęconą problematyce determinacji znaczenia lingwistycznego – przez doświadczenie lub myślenie. W artykule podjęto próbę wykazania, że filozofia oparta na analizie językowej - to jedno, zaś analiza językowa wywodząca się z filozofii – to zupełnie coś innego. Artykuł proponuje nowoczesną analizę opartą na wykorzystaniu filozoficznych metod i kategorii; jedną z kwestii jest wybór narzędzi językowych w celu skutecznej komunikacji człowiek-komputer za pomocą interfejsu graficznego. Badanie koncentruje się na wyjaśnieniu metod formalnego modelowania indukcyjnego i wnioskowania dedukcyjnego. Powyżej wspomniane metody są wykorzystane w procesie wyboru odpowiednich narzędzi językowych dla oprogramowania komputerowego. Szczególną uwagę zwraca się na kategoryzację językową, która służy jako pomost między wnioskowaniem dedukcyjnym a formalnym modelowaniem indukcyjnym.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.