Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "corroboration" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-4 z 4
    Tytuł:
    Dlaczego Popper nie był kryptoindukcjonistą
    Autorzy:
    Sajdek, Zofia
    Powiązania:
    https://bibliotekanauki.pl/articles/429115.pdf
    Data publikacji:
    2012
    Wydawca:
    Uniwersytet Papieski Jana Pawła II w Krakowie
    Tematy:
    Karl Popper
    David Hume
    Rudolf Carnap
    John Watkins
    induction
    verisimilitude
    truthlikeness
    probability
    corroboration
    confirmation
    scepticism
    Opis:
    The article is an attempt to answer the question whether the result of the connection between corroboration and verisimilitude is an inductive element in the Popperian methodology. For this purpose the essay collates Karl Popper’s view with David Hume’s scepticism and inductionism of Rudolf Carnap. Further on the paper analizes the compromising”(for inductionism and critical falsificationism) proposition of Evaldas Nekraˇsas. The article also contains a presentation of Imre Lakatos’ allegation of Popper’s scepticism and the accusation of inductionism as formulated by John Watkins. The study of the disputes between the philosophers leads to the conclusion that the critical views are baseless. The final hypothesis is that these are not the right ways of proving the allegations of crypto-inductionism.
    Źródło:
    Semina Scientiarum; 2012, 11
    1644-3365
    Pojawia się w:
    Semina Scientiarum
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Próba falsyfikacji podstawowego twierdzenia Target Costing w modelu dyskontowym
    An attempt to falsify basic theorem of Target Costing in discount model
    Autorzy:
    Mielcarek, Jarosław
    Powiązania:
    https://bibliotekanauki.pl/articles/581283.pdf
    Data publikacji:
    2019
    Wydawca:
    Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu
    Tematy:
    minimalna stopa rentowności
    jednostkowy koszt dopuszczalny
    EBITDA
    modus tollendo tolens
    koroboracja
    konfirmacja
    symulacja
    mimimum profit rate
    unit allowable cost
    corroboration
    confirmation
    symulation
    Opis:
    Celem opracowania jest sfalsyfikowanie podstawowego twierdzenia Target Costing (TC) w modelu dyskontowym, aby uchronić inwestorów przed podejmowaniem błędnych decyzji o wdrożeniu inwencji, jak to może mieć miejsce w tradycyjnym modelu TC. Model finansowo-matematyczny przedsięwzięcia innowacyjnego zastosowano jako model symulacyjny, żeby znaleźć minimalną stopę zysku i jednostkowy koszt dopuszczalny, który jest punktem krytycznym dzielącym przedsięwzięcia innowacyjne na spełniające warunki odniesienia sukcesu finansowego i ich niespełniające. Próba falsyfikacji podstawowego twierdzenia za pomocą modus tollendo tolens logiki klasycznej polegała na wykazaniu, że istnieje taki jednostkowy koszt dopuszczalny równy jednostkowemu kosztowi planowanemu, dla którego wartość NPV i IRR nie spełniają warunków odniesienia sukcesu finansowego. Podjęta próba falsyfikacji podstawowego twierdzenia TC nie powiodła się. Oznacza to, że doszło do koroboracji TC. Inwestorzy stosujący dyskontowy model TC jako narzędzie wspomagające podejmowanie decyzji o wdrożeniu inwencji mogą to robić bez obawy podjęcia błędnej decyzji.
    The purpose of this paper is to falsify the basic Target Costing (TC) theorem in the discount model to protect investors from making wrong decisions about implementing inventions, as can be the case with the traditional TC model. The financial and mathematical model of an innovative undertaking was used as a simulation model to find the minimum profit rate and unit allowable cost, which is a critical point dividing innovative ventures into meeting and failing to meet financial success conditions. An attempt to falsify a basic theorem using modus tollendo tolens of classical logic was to demonstrate that there is such a unit allowable cost equal to the unit planned cost for which NPV and IRR do not meet the conditions of financial success. An attempt to falsify basic TC theorem failed. This means that TC has corroborated. Investors using the discount TC model as a tool to support the decision to implement an invention can do so without fear of making the wrong decision.
    Źródło:
    Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu; 2019, 63, 11; 81-95
    1899-3192
    Pojawia się w:
    Prace Naukowe Uniwersytetu Ekonomicznego we Wrocławiu
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Computational and Pragmatic Approach to the Dynamics of Science
    Autorzy:
    Marciszewski, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/41310393.pdf
    Data publikacji:
    2020
    Wydawca:
    Polska Akademia Nauk. Instytut Filozofii i Socjologii PAN
    Tematy:
    algorithm
    behavioral (vs declarative) knowledge
    computability
    corroboration
    innate knowledge
    intuition
    invention
    logic gates
    oracle
    pragmatic (vs classical) rationalism
    problem-solving
    reasoning
    symbolic logic
    Turing machine
    Opis:
    Science means here mathematics and those empirical disciplines which avail themselves of mathematical models. The pragmatic approach is conceived in Karl R. Popper’s The Logic of Scientific Discovery (p. 276) sense: a logical appraisal of the success of a theory amounts to the appraisal of its corroboration. This kind of appraisal is exemplified in section 6 by a case study—on how Isaac Newton justified his theory of gravitation. The computational approach in problem-solving processes consists in considering them in terms of computability: either as being performed according to a model of computation in a narrower sense, e.g., the Turing machine, or in a wider perspective—of machines associated with a non-mechanical device called “oracle” by Alan Turing (1939). Oracle can be interpreted as computertheoretic representation of intuition or invention. Computational approach in another sense means considering problem-solving processes in terms of logical gates, supposed to be a physical basis for solving problems with a reasoning. Pragmatic rationalism about science, seen at the background of classical rationalism (Descartes, Gottfried Leibniz etc.), claims that any scientific idea, either in empirical theories or in mathematics, should be checked through applications to problem-solving processes. Both the versions claim the existence of abstract objects, available to intellectual intuition. The difference concerns the dynamics of science: (i) the classical rationalism regards science as a stationary system that does not need improvements after having reached an optimal state, while (ii) the pragmatical version conceives science as evolving dynamically due to fertile interactions between creative intuitions, or inventions, with mechanical procedures. The dynamics of science is featured with various models, like Derek J. de Solla Price’s exponential and Thomas Kuhn’s paradigm model (the most familiar instances). This essay suggests considering Turing’s idea of oracle as a complementary model to explain most adequately, in terms of exceptional inventiveness, the dynamics of mathematics and mathematizable empirical sciences.
    Źródło:
    Filozofia i Nauka; 2020, 8, 1; 31-67
    2300-4711
    2545-1936
    Pojawia się w:
    Filozofia i Nauka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Bayesian Propositional Logic
    Autorzy:
    Jarmużek, Tomasz
    Klonowski, Mateusz
    Malinowski, Jacek
    Powiązania:
    https://bibliotekanauki.pl/articles/750026.pdf
    Data publikacji:
    2017
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    logical entailment
    statistical inference
    Bayesian inference
    corroboration
    confirmation
    Opis:
    We define and investigate from a logical point of view a family of consequence relations defined in probabilistic terms. We call them relations of supporting, and write: |≈w where w is a probability function on a Boolean language. A |≈w B iff the fact that A is the case does not decrease a probability of being B the case. Finally, we examine the intersection of |≈w , for all w, and give some formal properties of it.
    Źródło:
    Bulletin of the Section of Logic; 2017, 46, 3/4
    0138-0680
    2449-836X
    Pojawia się w:
    Bulletin of the Section of Logic
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-4 z 4

      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