Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "formal reasoning" wg kryterium: Temat


Wyświetlanie 1-6 z 6
Tytuł:
Jak ludzie dorośli myślą o problemach związanych z gotowością szkolną dzieci?
How do adults think about problems related to children’s readiness for starting school?
Autorzy:
Michalska, Paulina
Powiązania:
https://bibliotekanauki.pl/articles/29970952.pdf
Data publikacji:
2023
Wydawca:
Uniwersytet Wrocławski. Wydział Nauk Historycznych i Pedagogicznych. Instytut Pedagogiki. Zakład Historii Edukacji
Tematy:
gotowość szkolna dzieci
rozumowanie postformalne
dylematy
rozwiązywanie problemów
doświadczenie życiowe
children’s school readiness
post-formal reasoning
dilemmas
problem-solving
life-experience
Opis:
Wprowadzenie. W okresie dorosłości znaczenia nabierają postformalne sposoby rozumowania, ponieważ te formalno-logiczne nie pomagają rozwiązaniu problemów o treści życiowej (Gurba, 1993). Problemy te są powiązane głównie z funkcjonowaniem życia rodzinnego i dotyczą doświadczania kryzysów rozwojowych związanych ze zmianami zachodzącymi w rodzinie. Jednym z takich ważnych dla życia rodziny momentów jest czas, kiedy dziecko zaczyna edukację szkolną (Chojak, 2019), ponieważ modyfikacji ulega dotychczasowy rytm dnia (Czub, Matejczuk, 2014) i zmienia się cały system rodzinny (Skrzetuska, 2016). Cel. Głównym celem badań było określenie postformalnych sposobów rozumowania, wykorzystywanych przez osoby dorosłe podczas rozwiązywania problemów związanych z gotowością szkolną dzieci. Materiały i metody. W badaniu wykorzystano 8 z 18 problemów pochodzących z Kwestionariusza Sposobów Rozwiązywania Problemów Życiowych (autorzy: Paulina Michalska, Anna Szymanik-Kostrzewska), które dotyczą sytuacji rodziców dzieci rozpoczynających naukę szkolną. Wyniki. Osoby badane preferowały w największym stopniu rozwiązania problemów z poziomu metasystemowego. Dla uzyskanych rezultatów znaczenie miały takie zmienne, jak: wiek, wykształcenie i posiadanie dzieci. Potwierdzono znaczenie treści dylematów dla preferowanych rozwiązań. Wnioski. Najciekawszym wnioskiem płynącym z badań jest to, że osoby posiadające dzieci preferowały rozwiązania metasystemowe rzadziej niż osoby nieposiadające dzieci. Nie jest to zgodne z założeniem, że doświadczenie życiowe w danym obszarze przyczynia się do bardziej autonomicznych rozwiązań (m.in. Sebby, Papini, 1994; Michalska, 2015a). Może to wynikać z tego, że rodzice w sytuacji dylematu są nastawieni na konkretne rozwiązania problemu, a sposoby bardziej ogólne, o szerokim zasięgu są przez nich rzadziej brane pod uwagę.
Introduction. In adulthood, post-formal ways of reasoning become more important, because the formal-logical ones do not provide adaptation in solving life-related problems (Gurba, 1993). These problems are mainly related to the functioning of family life and relate to experiencing developmental crises related to changes taking place in the family. One of such important moments in the life of a family is the time when a child starts school education (Chojak, 2019) because the current rhythm of the day is modified (Czub, Matejczuk, 2014) and the entire family system changes (Skrzetuska, 2016). Aim. The main aim of the research was to determine the post-formal ways of reasoning used by adults when solving problems related to children’s preparedness for school. Materials and methods. The study used 8 out of 18 problems from the Questionnaire of Ways of Solving Life Problems (authors: Paulina Michalska, Anna Szymanik-Kostrzewska), which concern the situation of parents of children starting school. Results. The respondents preferred solutions to problems from the meta-system level to the greatest extent. Variables such as age, education and having children were significant for the obtained results. The importance of the content of the dilemmas for the preferred solutions was confirmed. Conclusions. The most interesting conclusion from the research is that people with children preferred meta-system solutions less often than people without children. This is not consistent with the assumption that life experience in a given area contributes to more autonomous solutions (e.g., Sebby, Papini, 1994; Michalska, 2015a). This may be because parents, in the situation of solving a dilemma, are more focused on specific solutions to the problem, and more general methods with a wide range are less often taken into account by them.
Źródło:
Wychowanie w Rodzinie; 2023, XXX, (2/2023); 161-181
2082-9019
Pojawia się w:
Wychowanie w Rodzinie
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Wyznaczanie SM - pokrycia bezpiecznej sieci Petriego metodą komputerowego wnioskowania
Calculation of State Machine cover of safe Petri net by means of computer based reasoning
Autorzy:
Tkacz, J.
Adamski, M.
Powiązania:
https://bibliotekanauki.pl/articles/153764.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
przestrzeń stanów lokalnych i globalnych sieci Petriego
transwersale
podsieci automatowe SM
logika sekwentów Gentzena
Petri net state space
transversal
formal reasoning
State Machine subnets
configurable logic controllers
Opis:
W artykule przedstawiono nowy sposób pokrywania bezpiecznej sieci Petriego minimalną liczbą podsieci automatowych. Metoda symboliczna polega na wczesnej selekcji odpowiednich transwersali, stopniowo wyznaczanych dla rodziny maksymalnych podzbiorów współbieżnych miejsc sieci. W przypadku bezpiecznej sterującej sieci Petriego, miejsca traktowane są jako stany lokalne, natomiast ich dopuszczalne konfiguracje określają jej stany globalne. Transwersale wyróżniają podzbiory miejsc niewspółbieżnych, przypisanych do odpowiednich SM-podsieci. Komputerowe wnioskowanie odbywa się w monotonicznym rachunku sekwentów Gentzena. Rezultaty wykorzystywane są podczas syntezy cyfrowych, konfigurowanych sterowników logicznych z zastosowaniem komercjalnego oprogramowania i języków opisu sprzętu.
The paper presents a way of finding a suitable Petri net cover by means of a minimal number of maximal State Machine subnets (SM-components). A new symbolic method of Petri net parallel decomposition is based on early selection of proper minimal transversals, taken from family of all global Petri net states. Global states are given in advance as maximal subsets, formed from mutually concurrent places. They can be found as reachable global states of Petri net. During digital design of a logic controller, the places of the safe Petri net are treated as local internal states of Concurrent State Machine, implemented in a reconfigurable logic device (FPGA). The minimal number of selected transversals, which characterizes subsets of sequentially related places, is assigned to separate State Machine subnets. The computer based reasoning is searching a logic expression describing transversals in Gentzen sequent logic. The obtained decomposition (or cover) is used for state encoding of configurable array based embedded logic controllers, implemented as microsystems.
Źródło:
Pomiary Automatyka Kontrola; 2011, R. 57, nr 11, 11; 1397-1400
0032-4140
Pojawia się w:
Pomiary Automatyka Kontrola
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Różne znaczenia definicji w logice. O krytyce Ajdukiewicza wobec klasyfikacji rozumowań Łukasiewicza, uwag kilka
Different meanings of logical definition. About Ajdukiewicz criticism against classifi-cation of Łukasiewicz considerations, some comments
Autorzy:
Tomza, Anna
Powiązania:
https://bibliotekanauki.pl/articles/595977.pdf
Data publikacji:
2020
Wydawca:
Łódzkie Towarzystwo Naukowe
Tematy:
classification of reasoning, formal logic, two and three-valued logic, definitions
klasyfikacja rozumowań, logika formalna, logika dwu- i trójwartościowa, definicje
Opis:
Background: The article analyzes the rarely raised issue of Kazimierz Ajdukiewicz, Polish logician, supporter of two-valued logic, and critic of the classification of reasoning by Jan Łukasiewicz, creator of trivalent logical calculus. Research purpose: The purpose of the article is an attempt to elucidate how Ajdukiewicz’s cri-ticism of Łukasiewicz’s reasoning system concerns the issue of the role and place of definition in logic. Ajudkiwicz was a student of Łukasiewicz, who was a world-renowned genius of logic, and did not get into a scientific dispute with his master. While using the cover of criticizing a fragment of Łukasiewicz’s research, he expresses a contradictory stance towards, in his opinion, the erroneous ways of defining by the terms used by Łukasiewicz in his classification of reasoning. Ajdukiewicz considered the issues related to the definition important. In his work, he emphasizes, as contemporary researchers of Ajdukiewicz’s thinking point out, that certain aspects of definition theory go beyond formalized definition procedures. An analysis of his views shows that he himself aspired to create a new science of definitions in logic. In the criticism he makes about Jan Łukasiewicz’s classification of reasoning, he emphasizes that it concerns the definition, not the process of reasoning. According to Ajdukiewicz, the definitions of alogical system must be meaningful and expressed in the sentence of the given logic language L, while to Łukasiewicz definitions presented in the classification are meaningless and contain an equivocation error. Fragmentary criticism of the problem of defining by Łukasiewicz is the beginning of in-depth research on understanding and the role of definition in logic. Methods: In the article, analytical methods demonstrate different approaches of logicians to the role of definitions in logic. The juxtaposition of Kazimierz Ajdukiewicz’s views on the classification of reasoning, with the views of the author of the classification – Jan Łukasiewicz, reveal differences in logic’s positions within the methodology of logical systems. In this way, Ajdukiewicz’s opinion, rarely raised in science and didactics, is presented about how Łukasiewicz’s methodology is incorrect, as it was created based on definitions bearing the equivocation error. According to Ajdukiewicz, Łukasiewicz, contrary to the principles of classical logic methodo- logy, gave existing definitions a new meaning, thus creating an incorrect logic system. Conclusions: The issue of how to define is often taken up, both in science and in the teaching process. The classification of reasoning by Jan Łukasiewicz in didactics is given today. It is different than the criticism by Kazimierz Ajdukiewicz, which is rarely undertaken in literature. The analysis of the views of the leading Polish logicians presented in the article regarding the classification of reasoning is a valuable contribution to the development of the subject of reasoning in logic. The analysis of Ajdukiewicz’s criticism presented in the article indicates a new face of his views regarding the dispute over definitions in logic. This new perspective may result in the extension of research on the meaning of definitions in two- and three-valued logic.
Przedmiot badań: Artykuł analizuje rzadko poruszaną kwestię wyrażanej przez Kazimierza Ajdukiewicza, polskiego logika, zwolennika logiki dwuwartościowej, krytyki klasyfikacji rozumowań autorstwa Jana Łukasiewicza, twórcy trójwartościowego rachunku logicznego. Cel badawczy: Celem artykułu jest próba wykazania, że podjęta przez Ajdukiewicza krytyka systemu rozumowań Łukasiewicza dotyczy problematyki roli i miejsca definicji w logice. Ajdukiewicz, który był uczniem Łukasiewicza, uznawanego na całym świcie za geniusza logiki, nie wdawał się w naukowy spór ze swoim mistrzem. Korzystając z płaszcza krytyki pewnego fragmentu badań Łukasiewicza, wyraża jednak odmienne stanowisko wobec, jego zdaniem, błędnych sposobów definiowania przez Łukasiewicza terminów użytych w klasyfikacji rozumowań. Ajdukiewicz problematykę dotyczącą definicji uważał za bardzo ważną. W swoich pracach podkreśla, co zauważają współcześni badacze myśli Ajdukiewicza, że pewne aspekty teorii definicji wykraczają poza sformalizowane procedury definicyjne. Analiza jego poglądów świadczy o tym, że on sam aspirował do utworzenia nowej nauki o definicjach w logice. W krytyce, której się podejmuje wobec klasyfikacji rozumowań Jana Łukasiewicza, sam podkreśla, że dotyczy ona definicji, nie zaś procesu rozumowań. Zdaniem Ajdukiewicza definicje systemu logicznego muszą być sensowne i wyrażone w zdaniu danego języka logiki L, natomiast definicje Łukasiewicza prezentowane w klasyfikacji są sensu pozbawione oraz zawierają błąd ekwiwokacji. Fragmentaryczne ujęcie w krytyce problemu definiowania stanowi początek jego pogłębionych badań nad rozumieniem i rolą definicji w logice. Metoda badawcza: W artykule metodą analityczną wykazuje się odmienne podejścia logików do roli definicji w logice. Zestawienie poglądów Kazimierza Ajdukiewicza na temat klasyfikacji rozumowań z poglądami autora klasyfikacji – Jana Łukasiewicza wykazuje różnice w stanowiskach logików, co do metodologii systemów logicznych. W ten sposób prezentowane jest rzadko podnoszone w nauce i dydaktyce zdanie Ajdukiewicza, iż metodologia Łukasiewicza jest nieprawidłowa, gdyż utworzona została w oparciu o definicje opatrzone błędem ekwiwokacji. Zdaniem Ajdukiewicza Łukasiewicz, wbrew zasadom metodologii logiki klasycznej, nadał definicjom istniejącym nowe znaczenie, tworząc przez to nieprawidłowy system logiki. Wyniki: Problematyka definicji podejmowana jest często zarówno w nauce, jak i procesie dydaktycznym. Klasyfikacja rozumowań autorstwa Jana Łukasiewicza w dydaktyce podawana jest do dziś. Inaczej z jej krytyką autorstwa Kazimierza Ajdukiewicza, która jest podejmowana w literaturze niezwykle rzadko. Prezentowana w artykule analiza poglądów czołowych polskich logików wobec klasyfikacji rozumowań stanowi cenny wkład w rozwój tematyki o rozumowaniach w logice. Prezentowana w artykule analiza krytyki Ajdukiewicza wskazuje na nowe oblicze jego poglądów dotyczące sporu o definicje w logice. Ta nowa perspektywa może zaowocować rozszerzeniem badań dotyczących znaczenia definicji w logice dwu- i trójwartościowej.
Źródło:
Studia Prawno-Ekonomiczne; 2020, 115; 133-148
0081-6841
Pojawia się w:
Studia Prawno-Ekonomiczne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Application of deontic logic in role-based access control
Autorzy:
Kołaczek, G.
Powiązania:
https://bibliotekanauki.pl/articles/907988.pdf
Data publikacji:
2002
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
informatyka
formal logic
access control
RBAC
system security
reasoning automation
Opis:
The paper presents a short overview of the foundations of the Role-Based Access Control Modal Model and its properties. In particular, the translation of these model formulae to the first-order logic formulae in a form of Horn's clauses is analysed. The automation of processes and mechanisms related to access control on the basis of logical automated reasoning and the PROLOG language are described.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2002, 12, 2; 269-275
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Kształtowanie umiejętności wnioskowania sylogistycznego
Forming the Ability of Syllogistic Inference
Autorzy:
Smolak, Maciej
Powiązania:
https://bibliotekanauki.pl/articles/950121.pdf
Data publikacji:
2015-06-15
Wydawca:
Uniwersytet im. Adama Mickiewicza w Poznaniu
Tematy:
syllogistic reasoning
syllogistic modes and figures
premise
conclusion
formal error
material erro
ad rem argument
ad personam argument
Opis:
The article consists of two parts. In the first part the author presents the characteristics of syllogistic reasoning, in the second part describes a set of exercises that are useful in teaching and developing the skill of syllogistic reasoning. The exercises belong to the teaching tools called interactive teaching methods and are of varying level of difficulty.
Źródło:
Filozofia Publiczna i Edukacja Demokratyczna; 2015, 4, 1; 102-130
2299-1875
Pojawia się w:
Filozofia Publiczna i Edukacja Demokratyczna
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A system for deduction-based formal verification of workflow-oriented software models
Autorzy:
Klimek, R.
Powiązania:
https://bibliotekanauki.pl/articles/330429.pdf
Data publikacji:
2014
Wydawca:
Uniwersytet Zielonogórski. Oficyna Wydawnicza
Tematy:
formal verification
deductive reasoning
temporal logic
semantic tableaux
workflow pattern
logical primitive
generating logical specification
business model
BPMN
formalna weryfikacja
wnioskowanie dedukcyjne
logika temporalna
tablica semantyczna
wzorzec przepływu pracy
generowanie specyfikacji logicznej
model biznesowy
Opis:
The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered. Manually building logical specifications, which are regarded as a set of temporal logic formulas, seems to be a significant obstacle for an inexperienced user when applying the deductive approach. A system, along with its architecture, for deduction-based verification of workflow-oriented models is proposed. The process inference is based on the semantic tableaux method, which has some advantages when compared with traditional deduction strategies. The algorithm for automatic generation of logical specifications is proposed. The generation procedure is based on predefined workflow patterns for BPMN, which is a standard and dominant notation for the modeling of business processes. The main idea behind the approach is to consider patterns, defined in terms of temporal logic, as a kind of (logical) primitives which enable the transformation of models to temporal logic formulas constituting a logical specification. Automation of the generation process is crucial for bridging the gap between the intuitiveness of deductive reasoning and the difficulty of its practical application when logical specifications are built manually. This approach has gone some way towards supporting, hopefully enhancing, our understanding of deduction-based formal verification of workflow-oriented models.
Źródło:
International Journal of Applied Mathematics and Computer Science; 2014, 24, 4; 941-956
1641-876X
2083-8492
Pojawia się w:
International Journal of Applied Mathematics and Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-6 z 6

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies