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 inference" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Wnioskowanie materialne z perspektywy inferencjalizmu znaczeniowego Roberta B. Brandoma
Material Inference from the Perspective of Robert B. Brandom’s Meaning Inferentialism
Autorzy:
Kublikowski, Robert
Powiązania:
https://bibliotekanauki.pl/articles/1046404.pdf
Data publikacji:
2020-10-09
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:
wnioskowanie materialne
wnioskowanie formalne
wynikanie, prawda
material inference
formal inference
consequence
truth
Opis:
W języku naturalnym występują wnioskowania trudne do wyrażenia przy użyciu aparatury formalnej (logicznej). Celem artykułu jest odpowiedź na pytanie, czym są takie wnioskowania, a dokładniej: czym są rozumowania – zwane niekiedy „wnioskowaniami materialnymi” – których poprawność zależy nie tylko od ich logicznej formy, ale przede wszystkim od treści (znaczenia) użytych stałych pozalogicznych. Wnioskowania formalne natomiast są poprawne (niezawodne) na podstawie tylko formy logicznej. W artykule są przedstawione i przeanalizowane kontrowersje związane z różnymi przykładami takich wnioskowań, między innymi podanymi przez Roberta B. Brandoma w inferencjalizmie znaczeniowym, który nawiązuje do poglądów Wilfrida Sellarsa. Brandom kwestionuje dotychczasową teorię wnioskowań, w której forma logiczna jest uznawana za podstawę ich poprawności. Akcentuje on, że wymogiem przeprowadzenia wnioskowania materialnego jest rozumienie treści wyrażeń informujących nie tylko o związkach formalnych, ale przede wszystkim o związkach pozaformalnych (treściowych). Wnioskowania formalne i materialne są normowane przez formalne i materialne warunki poprawności. Formalny warunek poprawności wnioskowania formalnego zależy od relacji wynikania logicznego zachodzącego między przesłankami i wnioskiem. Z kolei we wnioskowaniu materialnym warunek formalny jest spełniony, gdy między przesłankami a wnioskiem zachodzi relacja wynikania, której nie można przedstawić przy użyciu samego tylko słownika logicznego. Oba typy wnioskowań są również normowane przez materialny warunek poprawności (wymóg prawdziwości przesłanek i stąd wniosku).
In a natural language there are inferences which are difficult to express by means of a formal language. The goal of this article is to answer the question: what are such inferences, sometimes called “material inferences”? Material inferences are correct not only by means of their logical form but mainly on the basis of the content (meaning) of nonlogical vocabulary which is used in such inferences. Formal inferences are correct only on the basis of their logical form. Various, sometimes controversial examples of such inferences are presented and analysed in the article. Some of them were given by Robert B. Brandom in his meaning inferentialism inspired by the ideas of Wilfrid Sellars. Brandom challenges the existing theory of inference in which a logical form is acknowledged as a basis of correctness of inference. He emphasises that the essential condition of a material inference is an understanding of a content of expressions which inform not only about formal relations but mainly about informal (material) relations. Formal and material inferences are governed by formal and material conditions of correctness. A formal condition of correctness of a formal inference relies on a logical consequence which relates premises and a conclusion. In the case of a material inference such a condition is fulfilled if premises and a conclusion are connected by a consequence which cannot be expressed only by logical vocabulary. A material condition is obligatory for both types of inferences and it requires premises and a conclusion to be true.
Źródło:
Zeszyty Naukowe KUL; 2018, 61, 3; 153-168
0044-4405
2543-9715
Pojawia się w:
Zeszyty Naukowe KUL
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Stosowalność niektórych systemów logicznych do analizy formalnej poprawności wnioskowań dotyczących prawa kanonicznego
Applicability of some logical systems to analyse formal correctness of inferences concerning canon law
Autorzy:
Kozanecka-Dymek, Anna Maria
Powiązania:
https://bibliotekanauki.pl/articles/1395752.pdf
Data publikacji:
2021-07-12
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II
Tematy:
logika formalna
stosowalność
prawo kanoniczne
formalna poprawność
wnioskowanie
formal logic
applicability
canon law
formal correctness
inference
Opis:
Przykłady zaprezentowane w artykule pozwalają wyrazić przekonanie, że znajomość logiki formalnej może być przydatna w pracy myślowej prawnika kanonisty, zwłaszcza wtedy, gdy nie ma on pewności, czy wyprowadzony przez niego wniosek wynika logicznie z przesłanek. Przeanalizowano formalną poprawność kilku wnioskowań przeprowadzonych w oparciu o kanony, przy użyciu aparatury klasycznego rachunku zdań i sylogistyki, a także wybranych logik nieklasycznych, takich jak np. logika tensalna, logika chronologiczna i logika miejsca  
In the article, concrete examples acknowledge that formal logic can be useful in the work of a lawyer-canonist. Formal correctness is also analysed with several inferences conducted on a basis of canons, using an apparatus of classical propositional calculus and syllogistic, and also selected non-classical logics such as, for example, tense logic, chronological logic, and place logic  
Źródło:
Studia Prawnicze KUL; 2021, 2; 121-132
1897-7146
2719-4264
Pojawia się w:
Studia Prawnicze KUL
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    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