Acta Universitatis Lodziensis. Folia Philosophica 09/1993
http://hdl.handle.net/11089/8808
2024-03-28T22:49:55ZSome Troubles with Defining Pedagogical Notions
http://hdl.handle.net/11089/8885
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:00ZLes aspects pragmatiques de ľanalyse logique des questions
http://hdl.handle.net/11089/8845
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:00ZA la recherche d'un (impossible) démonstrateur intelligent
http://hdl.handle.net/11089/8844
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:00ZAn Algebraic Approach to a Concept of Proposition
http://hdl.handle.net/11089/8843
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