Search

Start Over Subject modality

2. O ,,bez''

Creator:
Gahér, František
Format:
bez média and svazek
Type:
model:article and TEXT
Subject:
if not, meaning, modality, operator, variable, without, pokud ne, význam, modalita, operátor, proměnná, and bez
Language:
Slovak
Description:
The paper deals with the word without and its role in those kinds of collocations in which it has a meaning-carrying function. It is assumed that the meaning of without in the kinds of collocations under scrutiny is context independent in that it can be explicated by a singles cheme: For every ξ,ξ ...ξ holds, that Π(ξ,ξ ...ξ) if not Θ(ξ , ξ ... ξ ), where Π, Θ are propositions or propositional functions (predicates) and ξ , ξ ... ξ are relevant variables, whose range is determined by that following after the word without. The scheme varies with the variable type to which without is applied purely as a certain kind of operator. The concatenations without + expression are, typically, equivalent to more prolix without-free collocations; thus, without is a suitable device for text compression., Příspěvek se zabývá slovem bez a jeho úlohou v těch druzích kolokací, ve kterých má významovou funkci. Předpokládá se, že význam bez v druzích zkoumaných kolokací je nezávislý na kontextu v tom, že může být vysvětlen chémií singlů: Pro každý ξ, ξ ... ξ platí, že Π (ξ, ξ ... ξ ) pokud ne Θ (ξ, ξ ... ξ), kde Π, Θ jsou propozice nebo propoziční funkce (predikáty) a ξ, ξ ... ξ jsou relevantní proměnné, jejichž rozsah je určen následujícím po slovu bez . Tento režim se mění s proměnnou typu, který , aniž by se aplikuje brát jako určitý druh subjektu. Zřetězení bez výrazu + jsou typicky ekvivalentní více prolixubez neomezených kolokací; tak, bez je vhodné zařízení pro kompresi textu., and František Gahér
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public

3. Quantificational accounts of logical consequence I: from Aristotle to Bolzano

Creator:
Koreň, Ladislav
Format:
bez média and svazek
Type:
model:article and TEXT
Subject:
Aristotle, Bolzano, form, logical consequence, modality, and validity
Language:
Slovak
Description:
So-called quantificational accounts explicate logical consequence or validity as truth-preservation in all cases, cases being construed as admissible substitutional variants or as admissible interpretations with respect to non-logical terms. In the present study, which is the first from three successive studies devoted to quantification accounts, I focus on the beginning of systematic theorizing of consequence in Aristotle‘s work, which contains the rudiments of both modal and formal accounts of consequence. I argue, inter alia, that there is no evidence for the claim that Aristotle propounded a quantificational account, and that for a full-fledged quantificational approach in a modern style we need to turn to Bolzano’s substitutional approach, whose motivation, structure and problems are explained in the second part of this study., Takzvané kvantifikační účty vysvětlují logický důsledek nebo platnost jako zachování pravdy ve všech případech, případy jsou vykládány jako přípustné substituční varianty nebo jako přípustné interpretace s ohledem na nelogické pojmy. V této studii, která je první ze tří po sobě jdoucích studií věnovaných kvantifikačním účtům, se zaměřuji na začátek systematické teorizace důsledků v Aristotelově díle, která obsahuje základy modálních i formálních popisů důsledků. Mimo jiné tvrdím, že neexistuje žádný důkaz pro tvrzení, že Aristotelés navrhl kvantifikační účet, a že pro plnohodnotný kvantifikační přístup v moderním stylu se musíme obrátit k Bolzanovu substitučnímu přístupu, jehož motivace, struktura a problémy jsou vysvětleno ve druhé části této studie., and Ladislav Koreň
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public

4. Revízia definícií pojmov dostatočná a nutná podmienka

Creator:
Gahér, František
Format:
bez média and svazek
Type:
model:article and TEXT
Subject:
sufficient condition, necessary condition, symmetry (conversion) of relation, if-then, only if, ''if''-clause, ''if''-vector, vector of relevance, vector of time, epistemic vector, and modality
Language:
Slovak
Description:
Analyzing the process of keeping promise we identify its sequence structure and its phase sequences in time. This allows us to arrive at a time order principle forming according to which obligation performance cannot precede in time its sufficient or necessary conditions performance. We further observe that a given promise must always be taken as an element of a certain system of promises. As a result we review definitions of the terms sufficient condition and necessary condition as no more allowing their mutual defining, or symmetry (conversion). We try to discover the compliance rules concerning the condition - the conditioned vector, the course of events vector and the time vector. We conclude that it indicates an incorrect use if, provided the condition - the conditioned vector complies with the course of events vector, the negative time difference in the descriptive use of sentences involving either the if-then connective or the only if connective is obtained. Only when using sentences for abductive explanation with a dominating epistemic vector the negative difference of time does not indicate erroneous use; however, this is possible only for the term of sufficient condition. We further suggest reviewed definition generalization involving the terms of sufficient condition and necessary condition containing always a parameter element denot-ing a given modality type, or a particular system of rules, laws, etc. Such definition satisfies Brennan’s requirement of a ''general formal scheme'' where the notion of sufficient condition and necessary condition symmetry (conversion) does not apply., Analýzou procesu dodržení příslibu identifikujeme jeho sekvenční strukturu a její fázové sekvence v čase. To nám umožňuje dospět k principu tvorby časového řádu, podle něhož plnění závazku nemůže včas předcházet jeho dostatečným nebo nezbytným výkonovým podmínkám. Dále pozorujeme, že daný slib musí být vždy považován za prvek určitého systému slibů. Jako výsledek přezkoumáváme definice pojmů dostatečná podmínka a nezbytná podmínka, protože již neumožňují jejich vzájemné vymezení nebo symetrii (konverzi). Snažíme se zjistit, jaká pravidla se týkají podmínky - podmíněný vektor, průběh vektoru událostí a časový vektor. Došli jsme k závěru, že indikuje nesprávné použití, pokud podmínka splňuje podmínku vektoru událostí, záporný časový rozdíl v popisném použití vět zahrnujících buď spojku if-then, nebo pouze tehdy, pokud je získáno spojení. Pouze pokud použijete věty pro abduktivní vysvětlení s dominantním epistemickým vektorem, negativní časový rozdíl neznamená chybné použití; to je však možné pouze po dostatečnou dobu. Dále navrhujeme zrevidovat definici definic zahrnující podmínky dostatečné podmínky a nezbytnou podmínku obsahující vždy prvek parametru označující daný typ modality nebo určitý systém pravidel, zákonů atd. Tato definice splňuje požadavek Brennanové na ,,obecný formální systém ''.Tam, kde se nepoužije pojem dostatečná podmínka a nezbytná symetrie podmínky (konverze)., and František Gahér
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public

5. Vyraženije modal'nosti v berestjanych gramotach

Creator:
Hansen, Björn
Format:
bez média and svazek
Type:
model:article and TEXT
Subject:
Russian studies, linguistics, and modality
Language:
Czech
Description:
This article deals with the means of expressions of 'possibilty', 'necessity' and 'volition' in Novgorodian Birch Bark Letters. The author fives an overview of the different types of expressions and compares them with the modal inventory of Modern Russian. The analysis is based on a classification of the modal means of expression which takes both semantics and formal properties into account.
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public