We consider a syntax and semantics of modal logics based on parametrized modal connectives with \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\exists \forall $$\end{document}-satisfaction definitions, we axiomatically introduce different parametrized modal logics, we prove their completeness with respect to appropriate classes of parametrized relational structures and we show the decidability of some related satisfiability problems.

This paper describes the admissible classes of parametric distribution functions of return portfolios and analyzes their consistency with the maximization of the expected utility. In particular, we present a general theory and a unifying framework with the following aims: (1) studying the implications of the classical market restrictions on the portfolio distributions; (2) establishing general rules of ordering, when the uncertain prospect depends by a finite number of parameters; (3) understanding how a dispersion measure has to be used, (...) in order to obtain the investors' optimal portfolios. (shrink)

We provide an economic interpretation of the practice consisting in incorporating risk measures as constraints in an expected prospect maximization problem. For what we call the infimum of expectations class of risk measures, we show that if the decision maker (DM) maximizes the expectation of a random prospect under constraint that the risk measure is bounded above, he then behaves as a “generalized expected utility maximizer” in the following sense. The DM exhibits ambiguity with respect to a family of utility (...) functions defined on a larger set of decisions than the original one; he adopts pessimism and performs first a minimization of expected utility over this family, then performs a maximization over a new decisions set. This economic behaviour is called “maxmin under risk” and studied by Maccheroni (Econ Theory 19:823–831, 2002). As an application, we make the link between an expected prospect maximization problem, subject to conditional value-at-risk being less than a threshold value, and a non-expected utility economic formulation involving “loss aversion”-type utility functions. (shrink)

This study employs Bayesian inference to explore class-based differences in moral judgment. Based on the dual-process perspective in interdisciplinary action theory, we estimate in a first step a process model which differentiates parametrically between emotionally driven deontological, deliberatively driven utilitarian, and residual judgmental inclinations. In a second step, our estimates of these parameters are correlated via beta regressions with indicators of social class and thinking dispositions. We find a considerable association between social class, specifically income, and deontological inclinations, whereas consequentialist (...) inclinations correlate with thinking dispositions but not with social class. This research underscores the utility of Bayesian estimation in closing the gap between theoretical and statistical modelling. Employing this approach enhances our understanding of the nuanced interplay between intuitive and deliberative processes in moral judgment and, more generally, offers a promising direction for advancing sociological action theory. (shrink)

For an ordinal \, I introduce a variant of the notion of subcompleteness of a forcing poset, which I call \-subcompleteness, and show that this class of forcings enjoys some closure properties that the original class of subcomplete forcings does not seem to have: factors of \-subcomplete forcings are \-subcomplete, and if \ and \ are forcing-equivalent notions, then \ is \-subcomplete iff \ is. I formulate a Two Step Theorem for \-subcompleteness and prove an RCS iteration theorem for \-subcompleteness (...) which is slightly less restrictive than the original one, in that its formulation is more careful about the amount of collapsing necessary. Finally, I show that an adequate degree of \-subcompleteness follows from the \-distributivity of a forcing, for \. (shrink)

We investigate the index sets associated with the degree structures of computable sets under the parameterized reducibilities introduced by the authors. We solve a question of Peter Cholakand the first author by proving the fundamental index sets associated with a computable set A, {e : W e ≤ q u A} for q∈ {m, T} are Σ4 0 complete. We also show hat FPT(≤ q n ), that is {e : W e computable and ≡ q n ?}, is Σ4 (...) 0 complete. We also look at computable presentability of these classes. (shrink)

A robust adaptive fuzzy nonlinear controller based on dynamic surface and integral sliding mode control strategy is proposed to realize trajectory tracking for a class of quadrotor UAVs. In this study, the composite factors including parametric uncertainties and external disturbances are added to controller design, which make it more realistic. The quadrotor model is divided into two subsystems of attitude and position that make the control design become feasible. The main contributions of the proposed ADSISMC strategy are as follows: (...) The combination of dynamic surface and integral sliding mode makes the system always in sliding stage by finding the appropriate initial position compared with the common sliding mode, and the complexity of explosion in backstepping method is eliminated. By introducing the fuzzy system, the unknown functions and uncertainties can be approximated which significantly improves the robustness and the tracking performance. The switching control strategy is utilized to compensate for the errors between estimated and ideal inputs; the tracking performance of the whole system has been significantly improved. The simulation results show the effectiveness of the proposed control method. (shrink)

We describe a decidable class of formulas in a first order timed logic that covers a good amount of properties of real-time distributed systems. Earlier we described a decidable class based on some finiteness properties, and sketched a decidable class in a weaker logic that captures periodicity properties, though without complete proof. The new feature of the decidable class presented here is to be able to treat parametric properties, in particular, properties that concern an arbitrary number of processes as (...) compared to the just mentioned class that could express only properties for a fixed, explicitly given number of processes. As before the properties may use non-trivial arithmetics. We also state another important feature of the class: if a verification formula is not true then our algorithm gives a quantifier-free description of all its counter-models of the complexity involved in the definition of the decidable class and that is quite representative. In conclusion we discuss theoretical and practical issues of the complexity and some open questions. (shrink)

This paper exploits the modified simple equation and dynamical system schemes to integrate the Klein–Gordon model amid quadratic nonlinearity arising in nonlinear optics, quantum theories, and solid state physics. By implementing the modified simple equation technique, we develop some disguise adaptation of analytical solutions in terms of hyperbolic, exponential, and trigonometric functions with some special parameters. We apply the dynamical system to bifurcate the model and draw distinct phase portraits on unlike parametric constraints. Following each orbit of all phase (...) portraits, we originate bounded and unbounded solitary, periodic, and periodic rogue-type wave solutions of the KG model. These two schemes extract widespread classes of solitary, periodic, and periodic rogue-type wave solutions for the KG model jointly due to restrictions on parameters. We also analyze the effect of parameters on the obtained wave solutions and discuss why and when it changes its nature. We illustrate some dynamical features of the acquired solutions via the 3D, 2D, and contour graphics. (shrink)

We study those relational structures S with the property that each partition of S contains a block isomorphic to S. We show that the Fraïsse limits of parametric classes K. have property ; over a binary language, every countable structure in K satisfying along with a condition on 1-extensions must be isomorphic to this limit.

We prove a 0-1 law for the fragment of second order logic SO over parametric classes of finite structures which allow only one unary atomic type. This completes the investigation of 0-1 laws for fragments of second order logic defined in terms of first order quantifier prefixes over, e.g., simple graphs and tournaments. We also prove a low oscillation law, and establish the 0-1 law for Σ14 without any restriction on the number of unary types.

We obtain an almost everywhere quantifier elimination for (the noncritical fragment of) the logic with probability quantifiers, introduced by the first author in [10]. This logic has quantifiers like $\exists ^{ \ge 3/4} y$ which says that "for at least 3/4 of all y". These results improve upon the 0-1 law for a fragment of this logic obtained by Knyazev [11]. Our improvements are: 1. We deal with the quantifier $\exists ^{ \ge r} y$ , where y is a tuple (...) of variables. 2. We remove the closedness restriction, which requires that the variables in y occur in all atomic subformulas of the quantifier scope. 3. Instead of the unbiased measure where each model with universe n has the same probability, we work with any measure generated by independent atomic probabilities pR for each predicate symbol R. 4. We extend the results to parametric classes of finite models (for example, the classes of bipartite graphs, undirected graphs, and oriented graphs). 5. We extend the results to a natural (noncritical) fragment of the infinitary logic with probability quantifiers. 6. We allow each pR , as well as each r in the probability quantifier $(\exists ^{ \ge r} y)$ , to depend on the size of the universe. (shrink)

The category of Scott-domains gives a computability theory for possibly uncountable topological spaces, via representations. In particular, every separable Banach-space is representable over a separable domain. A large class of topological spaces, including all Banach-spaces, is representable by domains, and in domain theory, there is a well-understood notion of parametrizations over a domain. We explore the link with parameter-dependent collections of spaces in e. g. functional analysis through a case study of "Lp" -spaces. We show that a well-known domain representation (...) of "Lp" as a metric space can be made uniform in the sense of parametrizations of domains. The uniform representations admit lifting of continuous functions and are effective in p. Dependent type constructions apply, and through the study of the sum and product spaces, we clarify the notions of uniformity and uniform computability. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim). (shrink)

We consider a confidence parametrization of binary information sources in terms of appropriate likelihood ratios. This parametrization is used for Bayesian belief updates and for the equivalent comparison of binary experiments. In contrast to the standard parametrization of a binary information source in terms of its specificity and its sensitivity, one of the two confidence parameters is sufficient for a Bayesian belief update conditional on a signal realization. We introduce a confidence-augmented receiver operating characteristic for comparisons of binary experiments for (...) a class of “balanced” decision problems, relative to which the confidence order offers a higher resolution than Blackwell’s informativeness order. Where observation is concerned, Chance favors only the prepared mind.—Louis Pasteur (1822–1895). (shrink)

We study the Full Bayesian Updating rule for convex capacities. Following a route suggested by Jaffray (IEEE Transactions on Systems, Man and Cybernetics 22(5):1144–1152, 1992), we define some properties one may want to impose on the updating process, and identify the classes of (convex and strictly positive) capacities that satisfy these properties for the Full Bayesian Updating rule. This allows us to characterize two parametric families of convex capacities: ${(\varepsilon,\delta)}$ -contaminations (which were introduced, in a slightly different form, (...) by Huber (Robust Statistics, Wiley, New York, 1981)) and ${\varepsilon}$ -contaminations. (shrink)

In searching for an appropriate utility function in the expected utility framework, we formulate four properties that we want the utility function to satisfy. We conduct a search for such a function, and we identify Pareto utility as a function satisfying all four desired properties. Pareto utility is a flexible yet simple and parsimonious two-parameter family. It exhibits decreasing absolute risk aversion and increasing but bounded relative risk aversion. It is applicable irrespective of the probability distribution relevant to the prospect (...) to be evaluated. Pareto utility is therefore particularly suited for catastrophic risk analysis. A new and related class of generalized exponential (gexpo) utility functions is also studied. This class is particularly relevant in situations where absolute risk tolerance is thought to be concave rather than linear. (shrink)

Der Beschreibung der zeitlichen Entwicklung lebender Systeme kann eine reine Differentialanalyse nicht genügen. In solchen Fällen muss man sich an Stelle der gewöhnlichen Differentialgleichungen der integraldifferentiellen, bezw. der Integralgleichungen bedienen. Zur leichteren Veranschaulichung der mathematischen Darstellung betrachtet Verfasser zuerst diejenigen Systeme, deren innerer Zustand sich durch ein einziges Parameterc bestimmen lässt. Die zeitliche Entwicklung eines leblosen Systems dieser Klasse werde durch die Differentialgleichung $$\frac{{dc}}{{dt}} = kf...$$ dargestellt, wot=Zeit, undk eine Funktion der äusseren Parameterα, Β, γ. ist. Im Falle eines jeden (...) Systems sind die äusseren Parameterα, Β, γ. charakteristische individuelle Funktionen der Zeit. Misst manc am. Zeitpunktt, so lässt sich die Zukunft des Systems vermittelst der Gleichung berechnen, wenn die zukünftigen Werte der äusseren Parameter gegeben sind. Solche Systeme nennt Verfasser nicht-historische Systeme. Im Falle der lebenden Systeme werde die zeitliche Entwicklung durch die Integral-differentialgleichung $$\frac{{dc}}{{dt}} = k_1 f_1 + \mathop \smallint \limits_{t - \lambda }^t k_2 f_2 dt........$$ dargestellt, wof 1 undf 2 Funktionen des Zustandsparametersc, undk 1 undk 2 Funktionen der äusseren Parameter sind. Das Zeitintegral erstreckt sich auf das vergangene Zeitintervalt-λ →t, woλ einen positiven endlichen konstanten Wert besitzt. Diese Systeme nennt Verfasser historische Systeme. Setzt manH für das darin enthaltene Integralglied, so verwandelt sich die Gleichung in: $$\frac{{dc}}{{dt}} = k_1 f_1 + H..........$$ Misst man nunc am Zeitpunktt, so kann man in diesem Fall die Zukunft des Systems ohne Kenntnis des historischen GliedsH nicht berechnen. Das Vorkommen des historischen IntegralgliedsH nennt Verfasser Chronoholismus. Man kann deshalb die historischen Systeme auch chronoholistische Systeme nennen. Die biologische Interpretation dieser Betrachtungsweise wird vom Verfasser diskutiert, und die Gleichung auf Systeme mit erblichen Eigenschaften ausgedehnt. Es werden zuletzt Systeme mit vielen Zustandsparametern in gewissen einfachen Fällen kurz behandelt. L'analyse différentielle ne suffit pas, selon l'avis de de l'auteur, pour la description de l'évolution des systèmes vivants au cours des temps. Il faut utiliser dans ces cas les équations intégro-différentielles ou intégrales. Pour faciliter le traÎtement mathématique, on peut considérer d'abord les systèmes dont l'état intérieur est défini par un seul paramètrec. L'évolution d'un système inanimé de cette classe se laisse décrire par l'équation différentielle $$\frac{{dc}}{{dt}} = k f,...........$$ oùt=temps, etk est une fonction déterminée des paramètres extérieurs α,Β, γ. Si l'on connaÎtc à un temps donnét, l'état du système à un temps futurt′ se laisse prévoir au moyen de l'équation, quand les valeurs des paramètres extérieurs dans l'intervallet → t∼' sont fixées. L'auteur appelle les systèmes de cette classe des systèmes non-historiques. Pour les systèmes vivants, il faut se servir, selon l'avis de l'auteur, des équations intégro-différentielles. Pour les systèmes définis par un seul paramètrec, on peut se servir, par exemple, de l'équation $$\frac{{dc}}{{dt}} = k_1 f_1 + \mathop \smallint \limits_{t - \lambda }^t k_2 f_2 dt........$$ où k1 et k2 sont des fonctions déterminées des paramètres extérieurs. L'intégrale s'étend sur l'intervallet-λ→ t où λ est positif et constant. En indiquant le terme intégral par le symboleH, on peut écrire $$\frac{{dc}}{{dt}} = k_1 f_1 + H..........$$ La connaissance de c à un temps donnét ne laisse pas prévoir l'état du système à un temps futurt′ sans connaissance du terme historiqueH, quand mÊme les paramètres α, Β, γ,..., seraient des fonctions déterminées du temps dans l'intervallet→t′. L'auteur appelle l'existence du terme intégral historiqueH le chronoholisme. On peut appeler les systèmes de cette classe des systèmes historiques ou chronoholistiques. L'interprétation biologique de cette faÇon de traÎter les systèmes vivants est discutée par l'auteur, qui étend l'équation pour le faire représenter aussi les propriétés héréditaires des Êtres vivants. Quelques cas de systèmes dont l'état intérieur est défini par plusieurs paramètres et plusieurs phases sont traités brièvement. (shrink)

Change and local spatial variation are missing in Hamiltonian general relativity according to the most common definition of observables as having 0 Poisson bracket with all first-class constraints. But other definitions of observables have been proposed. In pursuit of Hamiltonian–Lagrangian equivalence, Pons, Salisbury and Sundermeyer use the Anderson–Bergmann–Castellani gauge generator G, a tuned sum of first-class constraints. Kuchař waived the 0 Poisson bracket condition for the Hamiltonian constraint to achieve changing observables. A systematic combination of the two reforms might use (...) the gauge generator but permit non-zero Lie derivative Poisson brackets for the external gauge symmetry of General Relativity. Fortunately one can test definitions of observables by calculation using two formulations of a theory, one without gauge freedom and one with gauge freedom. The formulations, being empirically equivalent, must have equivalent observables. For de Broglie-Proca non-gauge massive electromagnetism, all constraints are second-class, so everything is observable. Demanding equivalent observables from gauge Stueckelberg–Utiyama electromagnetism, one finds that the usual definition fails while the Pons–Salisbury–Sundermeyer definition with G succeeds. This definition does not readily yield change in GR, however. Should GR’s external gauge freedom of general relativity share with internal gauge symmetries the 0 Poisson bracket, or is covariance sufficient? A graviton mass breaks the gauge symmetry, but it can be restored by parametrization with clock fields. By requiring equivalent observables, one can test whether observables should have 0 or the Lie derivative as the Poisson bracket with the gauge generator G. The latter definition is vindicated by calculation. While this conclusion has been reported previously, here the calculation is given in some detail. (shrink)

Spirtes, Glymour and Scheines [Causation, Prediction, and Search Springer] described a pointwise consistent estimator of the Markov equivalence class of any causal structure that can be represented by a directed acyclic graph for any parametric family with a uniformly consistent test of conditional independence, under the Causal Markov and Causal Faithfulness assumptions. Robins et al. [Biometrika 90 491–515], however, proved that there are no uniformly consistent estimators of Markov equivalence classes of causal structures under those assumptions. Subsequently, Kalisch (...) and B¨uhlmann [J. Mach. Learn. Res. 8 613–636] described a uniformly consistent estimator of the Markov equivalence class of a linear Gaussian causal structure under the Causal Markov and Strong Causal Faithfulness assumptions. However, the Strong Faithfulness assumption may be false with high probability in many domains. We describe a uniformly consistent estimator of both the Markov equivalence class of a linear Gaussian causal structure and the identifiable structural coefficients in the Markov equivalence class under the Causal Markov assumption and the considerably weaker k-Triangle-Faithfulness assumption. (shrink)

Cet article comporte, outre l'élaboration d'un système de notation des gestes, un inventaire descriptif des gestes et des mimiques utilisés par les artistes lyriques, une définition des différents paramètres gestuels ainsi qu'une étude des rapports geste/parole et geste/mimique. Les gestes et les mimiques sont classés selon leurs fonctions. On distingue deux catégories de gestes : les gestes à valeur de signal, autrement dit les gestes faits avec intention de communiquer et qui ne sont pas spécifiques aux chanteurs d'opéra puisqu'on les (...) retrouve dans le théâtre parlé, et les gestes à valeur d'indice, c.à.d. des gestes faits sans intention de communiquer : ce sont les gestes idiolectaux, (c.à.d. des gestes spécifiques au chanteur et qui sont conditionnés par de multiples facteurs : origine sociale ou géographique, sexe, morphologie, psychologie, etc...), les gestes esthétiques qui sont des accompagnements purement plastiques du texte chanté, les gestes imposés par les contraintes théâtrales (costumes, accessoires) et les gestes inhérents à la technique vocale. En ce qui concerne les mimiques, on peut les classer également en deux catégories : les mimiques à valeur expressive, qui ne présentent pas d'intérêt particulier et les mimiques sans valeur expressive regroupant les mimiques d'accompagnement (crispations musculaires, grimaces ou rides qui correspondent à un effort vocal et n'ont aucune raison d'être particulière) et les mimiques fonctionnelles, c.à.d. les mimiques liées à la technique vocale. L'application des méthodes linguistiques et notamment de la commutation, permet de dégager des traits pertinents aussi bien au niveau des gestes qu'à celui des mimiques. (shrink)

Einstein considered general covariance to characterize the novelty of his General Theory of Relativity (GTR), but Kretschmann thought it merely a formal feature that any theory could have. The claim that GTR is ``already parametrized'' suggests analyzing substantive general covariance as formal general covariance achieved without hiding preferred coordinates as scalar ``clock fields,'' much as Einstein construed general covariance as the lack of preferred coordinates. Physicists often install gauge symmetries artificially with additional fields, as in the transition from Proca's to (...) Stueckelberg's electromagnetism. Some post-positivist philosophers, due to realist sympathies, are committed to judging Stueckelberg's electromagnetism distinct from and inferior to Proca's. By contrast, physicists identify them, the differences being gauge-dependent and hence unreal. It is often useful to install gauge freedom in theories with broken gauge symmetries (second-class constraints) using a modified Batalin-Fradkin-Tyutin (BFT) procedure. Massive GTR, for which parametrization and a Lagrangian BFT-like procedure appear to coincide, mimics GTR's general covariance apart from telltale clock fields. A generalized procedure for installing artificial gauge freedom subsumes parametrization and BFT, while being more Lagrangian-friendly than BFT, leaving any primary constraints unchanged and using a non-BFT boundary condition. Artificial gauge freedom licenses a generalized Kretschmann objection. However, features of paradigm cases of artificial gauge freedom might help to demonstrate a principled distinction between substantive and merely formal gauge symmetry. (shrink)

The skewness of a distribution, a poorly-defined term, is conventionally deemed to be invariant under linear transformations. A comparison is made of three criteria of it: the sign of odd central moments; the several relationships of the mean, the median and the mode; and asymmetry proper which is the set of ratios of the probability densities of all pairs of points equidistant above and below some arbitrary point, usually the principal mode. Some useful general relationships are discussed. The skeness of (...) convolutions is briefly discussed. A class of distributions is identified for which the skewness of the minimum ofk competing processes is independent ofk. It has importance in the parametric study of survivorship. (shrink)

Besides their ordinary cardinal and proportional meanings, many and few have been argued to allow for a ‘reverse proportional’ reading. This reading has later been characterised in two opposite directions: Cohen’s reading where the proportion \ matters and Herburger’s where it does not. We develop a compositional analysis that derives the correct truth conditions for both characterisations of Westerståhl-style sentences while maintaining conservativity, assuming a standard syntax/semantics mapping and reducing their context-dependence to mechanisms independently needed for degree constructions in general. (...) In a nutshell, mirroring the decomposition of other degree expressions like tall, many is decomposed into the parametrized determiner many and the operator POS, where POS combines with a contextually salient comparison class C matching the alternatives triggered by some element X\ in the sentence. Non-reverse readings obtain when X\ is external to the original host NP and reverse readings when X\ is internal to the host NP. Cohen’s truth conditions for Westerståhl-style sentences are derived as a reverse proportional reading and Herburger’s interpretation as a sub-case of the non-reverse cardinal reading. (shrink)

Alternative theories to quantum mechanics motivate important fundamental tests of our understanding and descriptions of the smallest physical systems. Here, using spontaneous parametric downconversion as a heralded single-photon source, we place experimental limits on a class of alternative theories, consisting of classical field theories which result in power-dependent normalized correlation functions. In addition, we compare our results with standard quantum mechanical interpretations of our spontaneous parametric downconversion source over an order of magnitude in intensity. Our data match the (...) quantum mechanical expectations, and do not show a statistically significant dependence on power, limiting quantum mechanics alternatives which require power-dependent autocorrelation functions. (shrink)

Change and local spatial variation are missing in canonical General Relativity's observables as usually defined, an aspect of the problem of time. Definitions can be tested using equivalent formulations of a theory, non-gauge and gauge, because they must have equivalent observables and everything is observable in the non-gauge formulation. Taking an observable from the non-gauge formulation and finding the equivalent in the gauge formulation, one requires that the equivalent be an observable, thus constraining definitions. For massive photons, the de Broglie-Proca (...) non-gauge formulation observable A_{\mu} is equivalent to the Stueckelberg-Utiyama gauge formulation quantity A_{\mu} + \partial_{\mu} \phi, which must therefore be an observable. To achieve that result, observables must have 0 Poisson bracket not with each first-class constraint, but with the Rosenfeld-Anderson-Bergmann-Castellani gauge generator G, a tuned sum of first-class constraints, in accord with the Pons-Salisbury-Sundermeyer definition of observables. The definition for external gauge symmetries can be tested using massive gravity, where one can install gauge freedom by parametrization with clock fields X^A. The non-gauge observable g^{\mu\nu} has the gauge equivalent X^A,_{\mu} g^{\mu\nu} X^B,_{\nu}. The Poisson bracket of X^A,_{\mu} g^{\mu\nu} X^B,_{\nu} with G turns out to be not 0 but a Lie derivative. This non-zero Poisson bracket refines and systematizes Kuchař's proposal to relax the 0 Poisson bracket condition with the Hamiltonian constraint. Thus observables need covariance, not invariance, in relation to external gauge symmetries. The Lagrangian and Hamiltonian for massive gravity are those of General Relativity + \Lambda + 4 scalars, so the same definition of observables applies to General Relativity. Local fields such as g_{\mu\nu} are observables. Thus observables change. Requiring equivalent observables for equivalent theories also recovers Hamiltonian-Lagrangian equivalence. (shrink)

A uniform upper bound on a class of Turing degrees is the Turing degree of a function which parametrizes the collection of all functions whose degree is in the given class. I prove that if a is a uniform upper bound on an ideal of degrees then a is the jump of a degree c with this additional property: there is a uniform bound b<a so that b V c < a.

By means of an Ehrenfeucht-Mostowski construction we obtain an automorphism theorem for a syntactically characterized class of Laa-theories comprising in particular the finitely determinate ones. Examples of Laa-theories with only rigid models show this result to be optimal with respect to a classification in terms of prenex quantifier type: Rigidity is seen to hinge on quantification of type $\ldots\forall\ldots\mathbf{\operatorname{stat}}\ldots$ permitting of the parametrization of families of disjoint stationary systems by the elements of the universe.

The impetus for this volume developed from the 1982 University of Western Ontario Learnability Workshop, which was organized by the editors and sponsored by that University's Department of Philosophy and the Centre for Cognitive Science. The volume e~plores the import of learnability theory for contemporary linguistic theory, focusing on foundational learning-theoretic issues associated with the parametrized Government-Binding framework. Written by prominent re searchers in the field, all but two of the eight contributions are pre viously unpublished. The editor's introduction provides (...) an overview that interrelates the separate papers and elucidates the foundational issues addressed by the volume. Osherson, Stob, and Weinstein's "Learning Theory and Natural Language" first appeared in Cognition ; Matthews's "The Plausi bility of Rationalism" was published in the Journal of Philosophy. The editors would like to thank the publishers for permission to reprint these papers. Mr. Marin Marinov assisted with the preparation of the indices for the volume. VB ROBERT 1. MATTHEWS INTRODUCTION: LEARNABILITY AND LINGUISTIC THEORY 1. INTRODUCTION Formal learning theory, as the name suggests, studies the learnability of different classes of formal objects under different formal models of learning. The specification of such a model, which specifies a learning environment, a learn ing strategy, and a criterion for successful learning, determines a class of formal objects, namely, the class that can be acquired to the level of the specified success criterion by a learner implementing the specified strategy in the specified enviroment. (shrink)

Objective: Tangent Space Mapping using the geometric structure of the covariance matrices is an effective method to recognize multiclass motor imagery. Compared with the traditional CSP method, the Riemann geometric method based on TSM takes into account the nonlinear information contained in the covariance matrix, and can extract more abundant and effective features. Moreover, the method is an unsupervised operation, which can reduce the time of feature extraction. However, EEG features induced by MI mental activities of different subjects are not (...) the same, so selection of subject-specific discriminative EEG frequency components play a vital role in the recognition of multiclass MI. In order to solve the problem, a discriminative and multi-scale filter bank tangent space mapping algorithm is proposed in this article to design the subject-specific Filter Bank so as to effectively recognize multiclass MI tasks. Methods: On the 4-class BCI competition IV-2a dataset, first, a non-parametric method of multivariate analysis of variance based on the sum of squared distances is used to select discriminative frequency bands for a subject; next, a multi-scale FB is generated according to the range of these frequency bands, and then decompose multi-channel EEG of the subject into multiple sub-bands combined with several time windows. Then TSM algorithm is used to estimate Riemannian tangent space features in each sub-band and finally a liner Support Vector Machines is used for classification. Main Results: The analysis results show that the proposed discriminative FB enhances the multi-scale TSM algorithm, improves the classification accuracy and reduces the execution time during training and testing. On the 4-class BCI competition IV-2a dataset, the average session to session classification accuracy of nine subjects reached 77.33 ± 12.3%. When the training time and the test time are similar, the average classification accuracy is 2.56% higher than the latest TSM method based on multi-scale filter bank analysis technology. When the classification accuracy is similar, the training speed is increased by more than three times, and the test speed is increased two times more. Compared with Supervised Fisher Geodesic Minimum Distance to the Mean, another new variant based on Riemann geometry classifier, the average accuracy is 3.36% higher, we also compared with the latest Deep Learning method, and the average accuracy of 10-fold cross validation improved by 2.58%. Conclusion: Research shows that the proposed DMFBTSM algorithm can improve the classification accuracy of MI tasks. Significance: Compared with the MFBTSM algorithm, the algorithm proposed in this article is expected to select frequency bands with good separability for specific subject to improve the classification accuracy of multiclass MI tasks and reduce the feature dimension to reduce training time and testing time. (shrink)

Plotkin suggested using a polymorphic dual intuitionistic/linear type theory as a metalanguage for parametric polymorphism and recursion. In recent work the first two authors and R.L. Petersen have defined a notion of parametric LAPL-structure, which are models of image, in which one can reason using parametricity and, for example, solve a large class of domain equations, as suggested by Plotkin.In this paper, we show how an interpretation of a strict version of Bierman, Pitts and Russo’s language image into (...) synthetic domain theory presented by Simpson and Rosolini gives rise to a parametric LAPL-structure. This adds to the evidence that the notion of LAPL-structure is a general notion, suitable for treating many different parametric models, and it provides formal proofs of consequences of parametricity expected to hold for the interpretation. Finally, we show how these results, in combination with Rosolini and Simpson’s computational adequacy result, can be used to prove consequences of parametricity for image. In particular, we show that one can solve domain equations in image up to ground contextual equivalence. (shrink)

We describe a case of indeterminacy in general relativity for homogeneous and isotropic cosmologies for a class of dark energy fluids. The cosmologies are parametrized by an equation of state variable, with one instance giving the same solution as Norton’s mechanical dome. Our example goes beyond previously studied cases in that indeterminacy lies in the evolution of spacetime itself: the onset of the Big Bang is indeterminate. We show further that the indeterminacy is resolved if the dynamics is viewed relationally.

In a mathematical perspective, neighborhood models for modal logic are generalized quantifiers, parametrized to points in the domain of objects/worlds. We explore this analogy further, connecting generalized quantifier theory and modal neighborhood logic. In particular, we find interesting analogies between conservativity for linguistic quantifiers and the locality of modal logic, and between the role of invariances in both fields. Moreover, we present some new completeness results for modal neighborhood logics of linguistically motivated classes of generalized quantifiers, and raise new (...) types of open problem. With the bridges established here, many further analogies might be explored between the two fields to mutual benefit. (shrink)

This study aims to understand the relationship between religion and identity in adolescents and to determine the level of religious identity of adolescents; to reveal the predictive effects of the independent variables of gender, class level, type of school, mother’s educational status, father's educational status, socio-economic level, level of family religiosity and worship rate (praying) status on adolescents' religious identity levels; how adolescents define themselves as identities and determine the distribution of the findings about the identity definitions of adolescents according (...) to their religious identity levels. The research is in the relational survey model and the study group consists of 1000 high school students studying in the high schools of Konya Provincial Directorate of National Education. In this study, a “Religion-Identity Relationship Scale” was used to determine the religious identity levels. In order to determine the relationship between dependent variables and independent variables, non-parametric tests were used and cross-table, descriptive statistics, Chi-square, Mann Whitney U, Kruskal Wallis-H analysis method was used in the analysis of the data. As a result of the research, it was determined that the religious identity levels of adolescents differed significantly according to gender, class level (age), school type, mother education status, father education status, socio-economic level, level of family religiosity and worship rate (praying); 51.9% of the adolescents have their own identity “Religious Identity”; 25.6% of “T.C. Citizens”; It was found that 9.5% of the participants defined the “Ethnic Identity”. It was found that adolescents' identity definitions differ significantly depending on their religious identity levels. Adolescents with a high level of religious identity score identified their own identity as religious identity with 49.2%. (shrink)

In the presence of heterogeneity between the randomized controlled trial (RCT) participants and the target population, evaluating the treatment effect solely based on the RCT often leads to biased quantification of the real-world treatment effect. To address the problem of lack of generalizability for the treatment effect estimated by the RCT sample, we leverage observational studies with large samples that are representative of the target population. This article concerns evaluating treatment effects on survival outcomes for a target population and considers (...) a broad class of estimands that are functionals of treatment-specific survival functions, including differences in survival probability and restricted mean survival times. Motivated by two intuitive but distinct approaches, i.e., imputation based on survival outcome regression and weighting based on inverse probability of sampling, censoring, and treatment assignment, we propose a semiparametric estimator through the guidance of the efficient influence function. The proposed estimator is doubly robust in the sense that it is consistent for the target population estimands if either the survival model or the weighting model is correctly specified and is locally efficient when both are correct. In addition, as an alternative to parametric estimation, we employ the nonparametric method of sieves for flexible and robust estimation of the nuisance functions and show that the resulting estimator retains the root- n n consistency and efficiency, the so-called rate-double robustness. Simulation studies confirm the theoretical properties of the proposed estimator and show that it outperforms competitors. We apply the proposed method to estimate the effect of adjuvant chemotherapy on survival in patients with early-stage resected non-small cell lung cancer. (shrink)

Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...) of mind needs to adopt an antimentalist stance to achieve this aim. Antimentalism not only definitively rejects the idea that mind is a substance separated from the body, it also denies that mental phenomena radically differ from physical phenomena by virtue of several unique features. Most problematically, mental phenomena have a conscious character (mental states are related to specific qualitative feelings) and are accessible only to the first-person (only the subject knows directly what s/he is experiencing inside his/her mind). Ryle takes a strong stance on antimentalism going so far as to maintain that an approach to mind which aims to meet the criteria of scientificity set by the natural sciences must avoid any reference to internal, unobservable mental states. In his view (which is considered a specifically philosophical version of psychological behaviorism and also addresses questions put forward in psychological research), mental states can be redescribed in terms of behavioral dispositions. In this chapter, we address the historical roots of the antimentalist view and analyze its relation to the later tradition of research on mind. We show that, compared to the antimentalist stance, functionalism and cognitivism take a step back when they maintain that direct reference to mental states is necessary since mental states cause and therefore explain human behavior. This step backwards is often interpreted as a return to mentalism. However, this is only partially true. Indeed, we suggest that these later traditions retain one important element of Ryle’s antimentalism, i.e. the idea that mental states must be uniquely identified using external and publicly observable criteria, while excluding any reference to introspection and those qualitative dimensions of a mental state, which are accessible only to the first-person. According to the perspective we put forward, this epistemological stance has continued to influence contemporary research on mind and current philosophical and psychological theories which both tend to exclude the subjective qualities of human experience from their accounts of how the mind works. The issue we raise here is whether this is legitimate or whether subjective qualities do play a role with respect to the way our mind works. The conclusion of this chapter anticipates the argument the book makes in in favor of this latter position, starting from a particular angle, i.e. the problem of how we categorize concepts related to our internal states. -/- Chapter 2 The Misleading Aspects of the Mind/Computer Analogy. The Grounding Problem and the Thorny Issue of Propriosensitive Information -/- Abstract. After the crisis of behaviorism, cognitivism and functionalism became the predominant models in the field of psychology and of philosophy, respectively. Their success is mainly due to the new key they use for interpreting mental processes: the mind/computer analogy. On the basis of this analogy, mental operations are seen as cognitive processes based on computations, i.e. on manipulations of abstract symbols which are in turn understood as informational unities (representations). This chapter identifies two main problems with this model. The first is how these symbols can relate to and communicate with perception and thus allow us to identify and classify what we perceive through the senses. Here we limit ourselves to presenting this issue in relation to the classical symbol grounding problem originally put forward by Harnad on the basis of Searle’s Chinese room argument. An attempt to address the problem raised here will be made in chap. 3. The second point we discuss in relation to the mind/computer analogy concerns the idea of information it fosters. Indeed, following this analogy, information is something available in the external world which can be captured by the senses and transmitted to the central system without being influenced or modified by the procedures of transmission. This perspective does not take into account that – unlike computers – in living beings information is acquired by means of the body. As Ulric Neisser has already pointed out, the body is itself an informational source that provides us with additional sensory experience that influences (modifies or complements) the information extracted from the external world by the senses. To develop this line of analysis and to determine exactly what information is provided by the body and how this might influence cognition, we examine Sherrington’s and Gibson’s positions. Moving on from their views, we qualify bodily information in terms of ‘proprioception’. We use ‘proprioception’ in a broad sense to describe any kind of experience we have of our internal states (including postural information as well as sensations related to the general state of the body and its parts). Following Damasio’s and Craig’s studies, we further elaborate this position, arguing that living beings are equipped with an internal propriosensitive monitoring system which maps all the changes that constantly occur in our body and that give us perceptual (‘proprioceptive’ or propriosensitive) information about what happens inside us. Moreover, relying on Goldie’s and Ratcliffe’s view, we show that emotional information can also be considered as a form of ‘proprioception’ which contributes to determining everything we perceive. This analysis leads us to the second main thesis of this book: ‘proprioception’ is a form of internal perception and it is an essential component of the sensory information we can access and use for all cognitive purposes. -/- Chapter 3 Semantic Competence from the Inside: Conceptual Architecture and Composition -/- Abstract. Concepts are essential constituents of thought: they are the instruments we use to categorize our experience, i.e. to classify things and group them together in homogeneous sets. Here we define concepts as the internal mental information (representations) that allows us, among other things, to master words in natural language. By analyzing the way in which individuals master word meanings we explore a number of hypotheses regarding the nature of concepts. Following Diego Marconi’s research, we differentiate between two kind of abilities that underpin lexical competence – so-called ‘referential’ and ‘inferential competence’ – and we suggest that, in order to support these abilities, concepts must also include two corresponding kinds of information, i.e. inferential and referential information. We point out that the most widely used and acknowledged theories of concepts do not make this distinction, instead broadly characterizing the information used for categorization in terms of propositionally described feature lists. However, we show that while feature lists can explain inferential competence, they do not account for referential competence. To address the issue of referential competence we examine Ray Jackendoff’s hypothesis that to account for the possibility of linking perceptual and conceptual information we need to assume the existence of a (visual) representation that encodes the geometric and topological properties of objects and bridges the gap between the percept and the concept. Furthermore, we analyze the extension of this work by Jesse Prinz who introduced the notion of a proxytype, a perceptual representation of a class of objects that incorporates structural and parametric information related to their appearance. However, as we point out, proxytypes can only explain the relationship between perception and concepts with respect to instances that can be perceived through the senses and that belong to the same class by virtue of their physical similarity. We suggest that this notion be extended to include larger conceptual classes. To accomplish this, we further develop Mark Johnson, George Lakoff and Jean Mandler’s idea of a schematic image and argue that conceptual representations include a perceptual schema. Perceptual schemata are non-linguistic, structured experiential gestalts (patterns or maps) that make use of information taken from all sensory modalities, including body perception. They accomplish a quasi-conceptual function: they allow us to recognize and to classify different instances. In this work, we hypothesize that perceptual schemata are an essential component of concepts, but not identical to them. Instead, we suggest that concepts include both perceptual and propositional information with perceptual schemata providing the ‘perceptual core concept’ that grounds related propositional information. -/- Chapter 4 In the Beginning There Were Categories. The Bodily Origin of Prelinguistic Categorical Organization: The Example of Folkbiological Taxonomies -/- Abstract. Studies of categorization in psychology and the cognitive sciences have made use of the notions of ‘category’ and ‘concept’ without precisely defining what is meant by either; in fact, often these terms have been used as synonyms, making it difficult to address specific issues related to conceptual development. This chapter begins by discussing the definitions of, as well as the distinctions between, ‘categories’ and ‘concepts’ in the classical philosophical tradition (Aristotle, Kant and Husserl). We introduce our view of categories with reference to Husserl. Categorization is defined as the way in which our experience is originally (pre-linguistically) organized in a passive and fully unconscious manner on the basis of universal structuring principles. Conceptualization is explained as a later process in which the earlier categorical macro-classes are further subdivided into more specific and detailed sets; this later process also relies on linguistic learning and exposure to culture. On the basis of Ray Jackendoff, Jean Mandler, George Lakoff and Mark Johnson’s work, we hypothesize that categorization is a two-step process that begins with the formation of homogeneous sets of entities partitioned into regions that describe the ontological boundaries of the objects that humans perceive (categories) and continues at a later stage with the development of more specific classifications (concepts). In this chapter, we mainly address three related issues: Why should we assume that there is categorical organization which precedes the development of a conceptual system? How do categories and concepts relate to each other? Shall we hypothesize that categories are innate or that they are formed before concepts on the basis of information and organizational structure available at a very early developmental stage? We show that categorical partitions are necessary for categorization and, following Mandler, that the general categories we form at an early age do not match our adult superordinate concepts. As for the third issue, we argue that there might be no need to assume that categories are innately present in the human mind, since their formation can be explained – at least in certain cases – by basic mechanisms that work on body (propriosensitive) information. This hypothesis will not be discussed in general, but in relation to a particularly relevant example of categorical partition, i.e. the folk-biological dichotomy between ANIMATE/INANIMATE. This is compared with other dichotomies that derive from it, but are not directly categorical such as LIVING/NON-LIVING and BIOLOGICAL/NON-BIOLOGICAL. -/- Chapter 5 Internal States: From Headache to Anger. Conceptualization and Semantic Mastery -/- Abstract. Here we ask if we can also apply the distinction between referential and inferential competence we introduced in Chapter 3 to words that do not refer to things that are perceived using the external senses, especially to words/concepts that denote bodily experiences (such as pain, thirst, hunger, etc.) or emotions. We introduce and discuss the hypothesis that – even though such words/concepts do not refer to intersubjectively identifiable entities in the external world – they do have a kind of referent that can be accessed via direct perception, more specifically ‘proprioception’, as we have defined it in terms of all propriosensitive information we can consciously access. In the first part of the chapter, we specifically consider terms denoting bodily experiences such as ‘pain’ or ‘hunger’ and argue that their referents are identified and classified from a first-personal point of view on the basis of four main characteristics: their specific intensity, their localization in the body, their co-occurrence with other signals and above all their specific qualitative sensations. Emotions are addressed in the second part of the chapter. We suggest that there is a continuity between bodily experiences and emotions. In particular, we argue for a perceptual theory of emotions in line with that proposed by James and Lange at the end of the 19th century and developed more recently by authors such as Damasio (see also chap. 2§5, §6). The hypothesis we put forward is that the referential information that supports the categorization of emotions and therefore also our mastery of terms referring to emotions consists in the perception (i.e. the ‘proprioception’) of those bodily states and changes in bodily states which constitute our emotional experience. In the context of this discussion we examine some objections to this line of reasoning that arise from a cognitivist perspective and following authors such as Oatley, Johnson-Laird and Frijda, we distinguish between basic emotions that can be identified and classified solely on the basis on how they feel and complex emotions whose identification and classification additionally depends on cognitive factors. To describe how emotions are identified and classified on the basis of how they feel, we rely on Marcel and Lambie’s distinction between an ‘emotion state’ and an ‘emotion experience’. Both notions indicate kinds of feelings that we consciously experience. However, they describe first-order and second order emotion awareness respectively. The emotion state is the feeling we have of the bodily states and changes that occur when we are experiencing an emotion, while the emotion experience is the fully developed and integrated emotion we both experience and are, with reflection, aware of experiencing. On the basis of this differentiation, we also show that the same characteristics that aid in the identification and classification of bodily experiences (specific qualitative sensations; somatic localization; specific intensity; presence/absence of specific concomitant sensations) can also be used for the identification and classification of emotions – at least basic emotions. In the last two sections of the chapter we present some clinical evidence on the semantic competence of people who suffer from Alexithymia and Autism Spectrum Disorder which supports the conclusions of our preceding analyses. -/- Chapter 6 The ‘Proprioceptive’ Component of Abstract Concepts -/- Abstract. In this chapter, we address the issue of whether the mastery of abstract words requires only inferential knowledge and thus, if the concepts that support the mastery of abstract words include only linguistic information. We start by differentiating the notions of ‘abstract’ and ‘general’ which are often erroneously confused. We then identify a strict definition of abstract, as contrasted with ‘concrete’, that applies to words or concepts whose referent cannot be experienced by the senses. We argue that abstract words/concepts would be better described as theoretical, because they are usually conceived as structured sets of inferential knowledge expressed linguistically; that is, as small theories. Pointing out parallels with Carnap’s analysis of this issue in philosophy of science, we hypothesize that words/concepts denoting non-observable entities are not all ‘equally theoretical’, because their link to sensory experience can be stronger or weaker. We revive the distinction, inspired by Quine, between theoretical and intertheoretical concepts/words. This distinction relies on the fact that the former – unlike the latter – retains a strong, although indirect, connection with perception. In Quine’s discussion, perception is understood uniquely in terms of observability, i.e. of external sensory experience. Here we argue, however, that bodily, ‘proprioceptive’ (i.e. propriosensitive) experience can also serve to referentially ground theoretical (i.e. abstract) concepts/words. We frame this issue using the example of the theoretical concept ‘freedom’ and Lakoff’s hypothesis that this concept is developed on the basis of bodily information. We contrast this with the example of ‘democracy’ which more closely resembles an intertheoretical concept/word. Furthermore, we show that one of the classical views put forward in psycholinguistic research to explain how abstract concepts are mentally represented – i.e. Paivio’s Dual Coding Theory – points in the same direction as our analysis. The same is true of Barsalou’s work suggesting that we use internal information to understand at least some abstract words. To sustain this position, we put forward two lines of evidence: the first comes from psycholinguistic studies while the second examines deficits of semantic competence exhibited by people with Autism Spectrum Disorder. On the basis of our analysis, we put forward a classification that distinguishes between different kinds of concreteness and different degrees of abstraction: concepts/words referring to body experiences and basic emotions are described as analogous to concrete concepts/words because they are grounded in perceptual (i.e. propriosensitive) experience, while abstract concepts/words are considered more or less abstract depending on whether they are intratheoretical (and rely entirely on inferential information) or theoretical (and are partially grounded in perceptual – or more often in propriosensitive perceptual – information). In the last section of the chapter we consider two scales that have been used in psycholinguistic research to measure the degree of concreteness vs. abstractness of words and we show that – used conjointly – they can provide a measure of the internal vs. external grounding of specific words. (shrink)

Computational systems are traditionally approached from control-oriented perspectives; however, as soon as we move from centralized to decentralized computational infrastructures, direct control needs to be replaced by distributed coordination mechanisms that are on par with institutional constructs observable in human societies (contracts, agreements, enforcement mechanisms, etc.). This paper presents a formalization of Hohfeld's framework building upon a logic whose language includes primitive operators of ability and parametric deontic operators. The proposal is meant to highlight the fundamental interaction between deontic (...) and potestative concepts and contains proofs of soundness and completeness with respect to a class of relational models. (shrink)

The 21st century, in which science and technology developed with great acceleration, made the physical and social distances between people more permeable with the effect of globalization inherited from the previous century. In such an age where everybody is aware of everything, not only positive developments but also all kinds of information, beliefs and actions that may be considered negative for humanity can instantly spread and become widespread all over the world. For example, the adoption of attitudes and behaviors that (...) do not correspond to human values such as consumption, selfishness, narcissism, vanity, arrogance, humiliation, mockery, especially among young people, is worrisome. It is a fact that the generation Z, who was born in the lap of technology, is vulnerable to technology and more susceptible to its damages. In today's world, which is also defined as the age of technology and information, young people can be exposed to all kinds of written and visual information pollution via the internet. Moreover, this situation paves the way for negative attitudes and behaviors such as waste of time and energy, consumption habits, addiction, estrangement from values, alienation, problem of belonging, dissatisfaction among young people. For this reason, this age is polluting the young people not only mentally but also spiritually. Not only the individual themself but also societies have to pay the bill for the inability to satisfy the material and spiritual dimension of the human in a healthy and appropriate manner. For this reason, the education of the new generation is a duty on the family, educators, non-governmental organizations and society as a whole. One of the first and most important steps to be taken in order to protect young people from all these adverse developments and to ensure their participation in the society as a healthy individual is undoubtedly their upbringing with moral values. Because values are the preconditions for a young person to exist as an adult with personality, morality, responsibility, sensitivity to the other and their environment, and who has discovered their own meaning and importance in the world. Therefore, knowing the spiritual-humanistic values of young people, who are the guarantors of the future, will give adults an idea about predicting today and the future and taking necessary measures. The aim of this study is; to determine the spiritual-humanistic value tendencies of high school students. The research was conducted on a total of 450 students studying at different types of high schools in the province of Sinop in the 2019-2020 academic year. The research data was collected through questionnaires and scales from quantitative research methods were analyzed according to age, gender, class, economic status, perception of success, family structure, family attitude perception, duration of social media use and social media usage purpose variables. According to the results of the research, the students got the highest average score (4.28) from moral values and the lowest average score (3.19) from respect value. There is a positive correlation between all dimensions of the spiritual-humanistic values disposition scale. Mann Witney U-Test and Kruskal Wallis H-Test, which are non-parametric tests, were used in the analysis of the scale that did not show normal distribution. According to the test results, there was no relationship between the sub-dimensions of the scale; moral values, love, respect and sensitivity mean scale score and gender, age, perception of success, family attitude perception, duration of social media use and social media use purpose variables, because p> 0.05. However, there was a significant correlation between the point average of moral tendency of the sample group and school type, mother education and father education; between the average score of love value and the school type variable; respect value average score and class, school type, perceived economic situation and mother education; between the mean score of sensitivity value and the variable of family structure (p <0.05). (shrink)

This paper focuses on modeling and control of a class of serial variable stiffness actuators based on level mechanisms for robotic applications. A multi-input multi-output complex nonlinear dynamic model is derived to fully describe SVSAs and the relative degree of the model is determined accordingly. Due to nonlinearity, high coupling, and parametric uncertainty of SVSAs, a neural network-based adaptive control strategy based on feedback linearization is proposed to handle system uncertainties. The feasibility of the proposed approach for position and (...) stiffness tracking of SVSAs is verified by simulation results. (shrink)

We describe new results in parametrized complexity theory. In particular, we prove a number of concrete hardness results for W[P], the top level of the hardness hierarchy introduced by Downey and Fellows in a series of earlier papers. We also study the parametrized complexity of analogues of PSPACE via certain natural problems concerning k-move games. Finally, we examine several aspects of the structural complexity of W [P] and related classes. For instance, we show that W[P] can be characterized in (...) terms of the DTIME ) and NP. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can be (...) also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

In this paper, we propose a method for acquiring shape models of 3D objects from range data of objects in a class. Since objects in a class have various kinds of structures, a shape model is generated for every structure. First, a range image is segmented into parts based on the curvature of a surface, and the part is approximated as superquadrics. Superquadrics are parametric representation for a 3D shape; their parameters can be criterion for similarity between 3D shapes. (...) Next, integration of parts is required because the segmentation based on curvature makes excessive parts. For this purpose, ``Part agent'' is assigned to the part, and integrates parts by interaction based on a fitting error. From the results, input objects are clustered into groups. This clustering method is based on interaction by ``Object agent'', which is assigned to the object. First, the object agents in charge of same structured objects make a group. An object agent evaluates groups based on an evaluation function, then move to the group with highest evaluation. The evaluation function is based on the fitting error in the case of belonging to the group, the distance from the average shape of the group, the scale of the group, and the number of parts. A clustering result is obtained when the agents do not move. Since each cluster includes only same structured objects, the object in the cluster can be represented as the same number of parameters. Therefore, a shape model is generated by manipulating parameters. Finally, the experimental results show that the proposed method can acquired valid shape models and can improve segmentation results. (shrink)

We prove the preservation theorems for NATP; many of them extend the previously established preservation results for other model-theoretic tree properties. Using them, we also furnish proper examples of NATP theories which are simultaneously TP2 and SOP. First, we show that NATP is preserved by the parametrization and sum of the theories of Fraïssé limits of Fraïssé classes satisfying strong amalgamation property. Second, the preservation of NATP for two kinds of dense/co-dense expansions, i.e. the theories of lovely pairs and (...) of [Formula: see text]-structures for geometric theories, and dense/co-dense expansion on vector spaces is proved. Next, we prove the preservation of NATP for the generic predicate expansion and the pair of an algebraically closed field and its distinguished subfield; for the latter, not only NATP, but also the preservation of NTP1 and NTP2 is considered. Finally, we present some proper examples of NATP theories using the results proved in this paper, including the parametrization of DLO and the expansion of an algebraically closed field by adding a generic linear order. In particular, we show that the model companion of the theory of algebraically closed fields with circular orders (ACFO) is NATP. (shrink)

This contribution presents two perspectives: one based on AI expertise and the other on the importance of knowledge as human knowledge. The later focuses on the purpose of education by revisiting Alexander von Humboldt’s concept of Bildung as the main purpose of education. Resisting the shifting to radically pragmatic models of education, without Bildung, in recent decades, in the Global North which develops a system of disposable education that focuses on training a workforce for the market. Concerned by the production (...) of disposable knowledge and assessments, with the sole goal of achieving good grades and securing employment, we see Generative AI, as mirroring this functionalist and economist vision of society, revealing strongly the limits of this paradigm. This article first explains how automatic learning, the foundation of generative AI, works. Second, we shall discuss human deep learning, as opposed to surface learning showing how it is required to develop as a person in the Bildung perspective. Third, we highlight this first intuition that AI reveals the functioning of our societies and move beyond, with an art of questioning in philosophy. (shrink)

When a professor from Middle Europe teaches Computer Ethics in the Middle East using a textbook from the US, cultural differences become apparent. A main challenge lies in avoiding cultural imperialism during teaching. In order to meet this challenge, personal portfolios have been used for course work. The course design as well as portfolio tasks are presented and experiences are discussed. Based on our experiences we recommend applying this approach to equally overcome effects of group dynamics in similar courses as (...) well as to bridge the generational gap that normally exists between students and professors. (shrink)

With the third volume, it is invited to enter the intellectual environment of Aristotle. The most relevant sources are given in full (with English translation), so that the commentary is also a reader documenting the disputationes metaphysicae of the 4th century BC. For the undeniable contradictions in the Metaphysics, a new genetic explanation is offered.