http://hdl.handle.net/11089/8808 2026-04-06T19:02:50Z 2026-04-06T19:02:50Z Horbaczewska, Dorota http://hdl.handle.net/11089/8885 2018-02-01T11:18:07Z 1993-01-01T00:00:00Z

Some Troubles with Defining Pedagogical Notions Horbaczewska, Dorota Język nauk pedagogicznych wielokrotnie poddawany był krytyce. Jego porządkowanie należy rozpocząć od sprecyzowania pojęć: „wychowanie” , „kształcenie” i „nauczanie” , uważanych za podstawowe pojęcia pedagogiczne, a dotąd nieokreślone w sposób zyskujący aprobatę przynajmniej większości pedagogów. Większość kontrowersji i sporów dotyczy przede wszystkim treści i zakresu pojęcia „wychowanie ". Różnorodność ujęć i sposobów użycia tego terminu powoduje trudności w porozumiewaniu się, wieloznaczność i chaos w dyskusjach i rozważaniach pedagogicznych. Analiza literatury ze zwróceniem szczególnej uwagi na definicje omawianego pojęcia i codzienna praktyka pedagogiczna pozwoliły na przeprowadzenie próby uświadomienia wszystkim posługującym się językiem nauk pedagogicznych trudności, z jakimi borykają się pedagodzy teoretycy w precyzowaniu swego języka.

1993-01-01T00:00:00Z Lewandowska, Maria http://hdl.handle.net/11089/8845 2018-02-01T11:18:04Z 1993-01-01T00:00:00Z

Les aspects pragmatiques de ľanalyse logique des questions Lewandowska, Maria Artykuł dotyczy pragmatycznych aspektów badań nad pytaniami. Przedmiot rozważań stanowiły relacje między pytaniami a użytkownikiem języka, posługującym się pytaniami dla realizacji różnych celów. Problematyka zastosowań logicznej teorii pytań została przedstawiona w kontekście użyteczności pragmatycznej. Zwrócono uwagę na możliwości wykorzystania rezultatów analizy logicznej do rozwiązywania problemów w dziedzinach, w których interrogacyjna funkcja języka posiada szczególne znaczenie. Artykuł składa się z następujących części: I) rodzaje problemów należących do zakresu pragmatyki pytań; 2) pragmatyczne aspekty w logice pytań; 3) funkcja pragmatycznego ujęcia zagadnień logicznej teorii pytań.

1993-01-01T00:00:00Z Bailhache, Patrice http://hdl.handle.net/11089/8844 2018-02-01T11:19:02Z 1993-01-01T00:00:00Z

A la recherche d'un (impossible) démonstrateur intelligent Bailhache, Patrice W ostatnich latach wraz z rozwojem nauk komputerowych, pojawiło się wiele programów mających wspomagać nauczanie logiki. Większość z tych programowań sluży do sprawdzania rachunków, a nic do dowodzenia twierdzeń, ponieważ zgodnie ze znanym twierdzeniem Godła, nie istnieje procedura rozstrzygalności twierdzeń rachunku pierwszego rzędu. Kilka metatwierdzeń. w których jednym jest twierdzenie Godła, tłumaczy dlaczego dysponujemy dobrymi systemami dedukcji naturalnej, mimo że tak trudno jest (a faktycznie nie można) znaleźć „inteligentną" procedurę dowodzenia formuł. W artykule przedstawiono drogę uzyskania częściowego systemu dowodzenia twierdzeń za pomocą procedury unifikacji, dla której załączono program komputerowy w języku pascal.

1993-01-01T00:00:00Z Vanderveken, Daniel Nowak, Marek http://hdl.handle.net/11089/8843 2021-07-06T08:08:07Z 1993-01-01T00:00:00Z

An Algebraic Approach to a Concept of Proposition Vanderveken, Daniel; Nowak, Marek W artykule analizuje się pojęcie „proposition" (sądu w sensie logicznym) wprowadzone w pracy D. Vandervekena What is a Proposition, stosując metody algebraiczne. Analiza ta umożliwia głębsze zrozumienie tego pojęcia, prowadzi m.in. do uogólnienia pojęcia „mocnej implikacji" (§5), jej głównym rezultatem jest pewna reprezentacja pojęcia „proposition” (§ 6).

1993-01-01T00:00:00Z